|
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.Targets
Provides methods for computing various kinds of syntactic targets
Constructor Summary | |
Targets()
|
Method Summary | |
static Set |
direct(GuardedCmd gc)
Returns the set of variables that are direct normal targets in gc , that is, that are modified in some assignment
statement, not call statement, in gc . |
static Set |
normal(GuardedCmd gc)
Returns the set of normal targets of gc .
|
private static void |
simpleTargets(GuardedCmd gc,
Set set,
boolean includeCallTargets)
Adds SimpleTargets[[ gc ]] (as defined in ESCJ 16)
to set . |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public Targets()
Method Detail |
public static Set normal(GuardedCmd gc)
gc
.
In ESCJ 16 speak, this method returns NTargets[[ gc, {} ]]
.
public static Set direct(GuardedCmd gc)
gc
, that is, that are modified in some assignment
statement, not call statement, in gc
.
private static void simpleTargets(GuardedCmd gc, Set set, boolean includeCallTargets)
SimpleTargets[[ gc ]]
(as defined in ESCJ 16)
to set
. Assumes that no local variable declared in
gc
is in set
. If
includeCallTargets
is true
, the targets of
calls are included; otherwise, they are not.
|
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 |