blob: f8799604075d4c1c5d35b42cdc3487b7b389c89b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
package scala
package reflect
package internal
package tpe
private[internal] trait CommonOwners {
self: SymbolTable =>
/** The most deeply nested owner that contains all the symbols
* of thistype or prefixless typerefs/singletype occurrences in given type.
*/
protected[internal] def commonOwner(t: Type): Symbol = commonOwner(t :: Nil)
/** The most deeply nested owner that contains all the symbols
* of thistype or prefixless typerefs/singletype occurrences in given list
* of types.
*/
protected[internal] def commonOwner(tps: List[Type]): Symbol = {
if (tps.isEmpty) NoSymbol
else {
commonOwnerMap.clear()
tps foreach (commonOwnerMap traverse _)
if (commonOwnerMap.result ne null) commonOwnerMap.result else NoSymbol
}
}
protected def commonOwnerMap: CommonOwnerMap = commonOwnerMapObj
protected class CommonOwnerMap extends TypeTraverserWithResult[Symbol] {
var result: Symbol = _
def clear() { result = null }
private def register(sym: Symbol) {
// First considered type is the trivial result.
if ((result eq null) || (sym eq NoSymbol))
result = sym
else
while ((result ne NoSymbol) && (result ne sym) && !(sym isNestedIn result))
result = result.owner
}
def traverse(tp: Type) = tp.normalize match {
case ThisType(sym) => register(sym)
case TypeRef(NoPrefix, sym, args) => register(sym.owner) ; args foreach traverse
case SingleType(NoPrefix, sym) => register(sym.owner)
case _ => mapOver(tp)
}
}
private lazy val commonOwnerMapObj = new CommonOwnerMap
}
|