Package gnu.expr
Class VarValueTracker
- java.lang.Object
-
- gnu.expr.VarValueTracker
-
public class VarValueTracker extends Object
Used for SSA (Static Single Assignment) analysis.
-
-
Constructor Summary
Constructors Constructor Description VarValueTracker(InlineCalls visitor)
VarValueTracker(VarValueTracker outer)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description void
forkNext()
Called when switching to a new branch of fork, for example theelse
clause of a newIfExp
.static void
forkPop(InlineCalls visitor)
static void
forkPush(InlineCalls visitor)
Called when starting a new fork, for example a newIfExp
.void
noteSet(Declaration decl, IntNum source)
void
noteUnitialized(Declaration decl)
Note that decl is uninitialized.void
noteUnitialized(ScopeExp scope)
-
-
-
Constructor Detail
-
VarValueTracker
public VarValueTracker(InlineCalls visitor)
-
VarValueTracker
public VarValueTracker(VarValueTracker outer)
-
-
Method Detail
-
forkPush
public static void forkPush(InlineCalls visitor)
Called when starting a new fork, for example a newIfExp
.
-
forkNext
public void forkNext()
Called when switching to a new branch of fork, for example theelse
clause of a newIfExp
.
-
forkPop
public static void forkPop(InlineCalls visitor)
-
noteUnitialized
public void noteUnitialized(Declaration decl)
Note that decl is uninitialized.
-
noteUnitialized
public void noteUnitialized(ScopeExp scope)
-
noteSet
public void noteSet(Declaration decl, IntNum source)
-
-