blob: cea429eb035a40ad93015a60342639a51b296db8 (
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
|
/* ____ ____ ____ ____ ______ *\
** / __// __ \/ __// __ \/ ____/ SOcos COmpiles Scala **
** __\_ \/ /_/ / /__/ /_/ /\_ \ (c) 2002, LAMP/EPFL **
** /_____/\____/\___/\____/____/ **
** **
** $Id$
\* */
package scalac.transformer.matching;
import scalac.ast.*;
import scalac.util.*;
import scalac.symtab.*;
import java.util.*;
public class TestRegTraverser extends Traverser {
boolean result = false;
Set variables = new HashSet();
public void traverse(Tree tree) {
if (!result)
switch (tree) {
case Alternative(_):
result = true;
break;
case Bind(_, Tree pat):
variables.add(tree.symbol());
traverse(pat);
break;
case Ident(Name name):
if ((name != Names.WILDCARD) &&
variables.contains(tree.symbol()))
result = true;
break;
case CaseDef(Tree pat, _, _):
traverse(pat);
break;
default:
super.traverse( tree );
}
}
public static boolean apply(Tree t) {
TestRegTraverser trt = new TestRegTraverser();
trt.traverse(t);
//System.err.println("TestRegTraverser says "+t+" -> "+trt.result);
return trt.result;
}
}
|
