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 voidforkNext()Called when switching to a new branch of fork, for example theelseclause of a newIfExp.static voidforkPop(InlineCalls visitor)static voidforkPush(InlineCalls visitor)Called when starting a new fork, for example a newIfExp.voidnoteSet(Declaration decl, IntNum source)voidnoteUnitialized(Declaration decl)Note that decl is uninitialized.voidnoteUnitialized(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 theelseclause 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)
-
-