public abstract class SETNode extends Object
Modifier and Type | Field and Description |
---|---|
protected Map<IterableSet,IterableSet> |
body2childChain |
protected AugmentedStmt |
entryStmt |
protected SETNode |
parent |
protected IterableSet |
predecessors |
protected LinkedList<IterableSet> |
subBodies |
protected IterableSet |
successors |
Constructor and Description |
---|
SETNode(IterableSet<AugmentedStmt> body) |
protected SETNode parent
protected AugmentedStmt entryStmt
protected IterableSet predecessors
protected IterableSet successors
protected LinkedList<IterableSet> subBodies
protected Map<IterableSet,IterableSet> body2childChain
public SETNode(IterableSet<AugmentedStmt> body)
public abstract IterableSet get_NaturalExits()
public abstract ASTNode emit_AST()
public abstract AugmentedStmt get_EntryStmt()
protected abstract boolean resolve(SETNode parent)
public void add_SubBody(IterableSet body)
public Map<IterableSet,IterableSet> get_Body2ChildChain()
public List<IterableSet> get_SubBodies()
public IterableSet<AugmentedStmt> get_Body()
public SETNodeLabel get_Label()
public SETNode get_Parent()
public boolean contains(Object o)
public IterableSet get_Successors()
public IterableSet get_Predecessors()
public boolean add_Child(SETNode child, IterableSet children)
public boolean remove_Child(SETNode child, IterableSet children)
public boolean insert_ChildBefore(SETNode child, SETNode point, IterableSet children)
public List<Object> emit_ASTBody(IterableSet children)
public IterableSet<AugmentedStmt> get_IntersectionWith(SETNode other)
public boolean has_IntersectionWith(SETNode other)
public boolean is_SupersetOf(SETNode other)
public boolean is_StrictSupersetOf(SETNode other)
public void find_SmallestSETNode(AugmentedStmt as)
public void find_LabeledBlocks(LabeledBlockFinder lbf)
public void find_StatementSequences(SequenceFinder sf, DavaBody davaBody)
public void find_AbruptEdges(AbruptEdgeFinder aef)
protected void remove_AugmentedStmt(AugmentedStmt as)
public boolean nest(SETNode other)
public void dump()
public void dump(PrintStream out)
public void verify()