blob: b00de8762652ebe7a54b21ef6efe8f9cd215daf8 (
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
|
/* ____ ____ ____ ____ ______ *\
** / __// __ \/ __// __ \/ ____/ SOcos COmpiles Scala **
** __\_ \/ /_/ / /__/ /_/ /\_ \ (c) 2002, LAMP/EPFL **
** /_____/\____/\___/\____/____/ **
** **
** $Id$
\* */
package scalac.transformer.matching;
import scalac.Global;
import scalac.ast._;
import scalac.util._;
import scalac.symtab._;
import java.util.{Set,HashSet};
object TestRegTraverser extends Traverser {
var result:boolean = false;
var variables:Set = null:Set;
override def traverse( tree:Tree ):Unit = {
tree.match {
case Tree$Alternative(_) =>
result = true;
case Tree$Bind(_, pat) =>
variables.add(tree.symbol());
traverse(pat);
case Tree$Ident( name ) =>
val symbol = tree.symbol();
result = ((symbol != Global.instance.definitions.PATTERN_WILDCARD)
&& variables.contains(symbol))
case Tree$CaseDef(pat, _, _) =>
traverse(pat);
case _ =>
super.traverse( tree );
}
}
def apply(t:Tree):boolean = {
variables = new HashSet();
traverse(t);
result
}
}
|