forge.cfg
Class CreateStmt

java.lang.Object
  forge.cfg.CFGStmt
      forge.cfg.ReferenceStmt
          forge.cfg.UpdateStmt
              forge.cfg.CreateStmt

All Implemented Interfaces:

CFGElement, ProgramElement

public final class CreateStmt
extends UpdateStmt

A stmt which constructs a new instance of a class and assigns that instance to a local variable.

CreateStmt ::= ForgeVariable = new InstanceDomain

Author:

Greg Dennis (gdennis@mit.edu)

Method Summary

void	accept(CFGVisitor visitor) Applies a CFG visitor to this stmt.
java.util.Set<ForgeExpression.Modifiable>	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.
InstanceDomain	type()
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()

type

public InstanceDomain type()

modified

public java.util.Set<ForgeExpression.Modifiable> 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

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

accept

public void accept(CFGVisitor visitor)

Description copied from class: CFGStmt

Applies a CFG visitor to this stmt.

Specified by:

accept in class CFGStmt