forge.cfg
Class AssignStmt

java.lang.Object
  extended by forge.cfg.CFGStmt
      extended by forge.cfg.ReferenceStmt
          extended by forge.cfg.UpdateStmt
              extended by forge.cfg.AssignStmt
All Implemented Interfaces:
CFGElement, ProgramElement

public final class AssignStmt
extends UpdateStmt

A stmt which assigns an expression to a variable (local or field).

AssignStmt ::= ForgeVariable = ForgeExpression

Author:
Greg Dennis (gdennis@mit.edu)

Method Summary
 void accept(CFGVisitor visitor)
          Applies a CFG visitor to this stmt.
 ForgeExpression expr()
           
 java.util.Set<ForgeVariable> modified()
          Returns the set of variables and instance domains that may be modified by the statement.
 java.util.Set<ForgeExpression.Modifiable> referenced()
          Returns the set of variables and instance domains referenced by the statement.
 ForgeVariable var()
           
 
Methods inherited from class forge.cfg.UpdateStmt
getNext, setNext, succs
 
Methods inherited from class forge.cfg.CFGStmt
cfg, id, preds, program, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

var

public ForgeVariable var()

expr

public ForgeExpression expr()

referenced

public java.util.Set<ForgeExpression.Modifiable> referenced()
Description copied from class: ReferenceStmt
Returns the set of variables and instance domains referenced by the statement. The "used" modifiables, in the def-use meaning.

Specified by:
referenced in class ReferenceStmt

modified

public java.util.Set<ForgeVariable> modified()
Description copied from class: UpdateStmt
Returns the set of variables and instance domains that may be modified by the statement. The "defined" modifiables, in the def-use meaning.

Specified by:
modified in class UpdateStmt

accept

public void accept(CFGVisitor visitor)
Description copied from class: CFGStmt
Applies a CFG visitor to this stmt.

Specified by:
accept in class CFGStmt