|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectescjava.translate.GCSanity
Constructor Summary | |
GCSanity()
|
Method Summary | |
static void |
check(GuardedCmd g)
|
private static void |
checkDeclsAndUses(GuardedCmd g,
Set edci,
Set cdni,
Set euei,
Set uuei,
java.lang.String inflection,
Set sp)
Checks that there are no duplicate definitions of local variables, including implicit outermost declarations and considering dynamic inflections. |
private static void |
checkUses(Expr e,
Set cdni,
Set euei,
Set uuei)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public GCSanity()
Method Detail |
public static void check(GuardedCmd g)
private static void checkDeclsAndUses(GuardedCmd g, Set edci, Set cdni, Set euei, Set uuei, java.lang.String inflection, Set sp)
edci
- ever declared with current inflectioncdni
- currently declared with nonempty inflectioneuei
- ever used with empty inflectionuuei
- unusable with empty inflectioninflection
- current inflectionsp
- seen prefixes (except "")private static void checkUses(Expr e, Set cdni, Set euei, Set uuei)
|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |