public class SETStatementSequenceNode extends SETNode
body2childChain, entryStmt, parent, predecessors, subBodies, successors| Constructor and Description |
|---|
SETStatementSequenceNode(IterableSet body) |
SETStatementSequenceNode(IterableSet body,
DavaBody davaBody) |
| Modifier and Type | Method and Description |
|---|---|
ASTNode |
emit_AST() |
AugmentedStmt |
get_EntryStmt() |
IterableSet |
get_NaturalExits() |
boolean |
has_Continue() |
void |
insert_AbruptStmt(DAbruptStmt stmt) |
protected boolean |
resolve(SETNode parent) |
add_Child, add_SubBody, contains, dump, dump, emit_ASTBody, equals, find_AbruptEdges, find_LabeledBlocks, find_SmallestSETNode, find_StatementSequences, get_Body, get_Body2ChildChain, get_IntersectionWith, get_Label, get_Parent, get_Predecessors, get_SubBodies, get_Successors, has_IntersectionWith, hashCode, insert_ChildBefore, is_StrictSupersetOf, is_SupersetOf, nest, remove_AugmentedStmt, remove_Child, verifypublic SETStatementSequenceNode(IterableSet body, DavaBody davaBody)
public SETStatementSequenceNode(IterableSet body)
public boolean has_Continue()
public IterableSet get_NaturalExits()
get_NaturalExits in class SETNodepublic AugmentedStmt get_EntryStmt()
get_EntryStmt in class SETNodepublic void insert_AbruptStmt(DAbruptStmt stmt)