public class VarValueTracker
extends java.lang.Object

• Constructor Summary

  Constructors

  Constructor and Description
  VarValueTracker (InlineCalls visitor)
  VarValueTracker (VarValueTracker outer)

• Method Summary

  All Methods

  Modifier and Type	Method and Description
  void	forkNext () Called when switching to a new branch of fork, for example the else clause of a new IfExp.
  static void	forkPop (InlineCalls visitor)
  static void	forkPush (InlineCalls visitor) Called when starting a new fork, for example a new IfExp.
  void	noteSet (Declaration decl, IntNum source)
  void	noteUnitialized (Declaration decl) Note that decl is uninitialized.
  void	noteUnitialized (ScopeExp scope)

  • Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

• 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 new IfExp.

  • forkNext

    public void forkNext()

    Called when switching to a new branch of fork, for example the else clause of a new IfExp.

  • 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)