public class SETTryNode extends SETNode
body2childChain, entryStmt, parent, predecessors, subBodies, successors
Constructor and Description |
---|
SETTryNode(IterableSet body,
ExceptionNode en,
AugmentedStmtGraph asg,
DavaBody davaBody) |
Modifier and Type | Method and Description |
---|---|
ASTNode |
emit_AST() |
AugmentedStmt |
get_EntryStmt() |
IterableSet |
get_NaturalExits() |
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, verify
public SETTryNode(IterableSet body, ExceptionNode en, AugmentedStmtGraph asg, DavaBody davaBody)
public AugmentedStmt get_EntryStmt()
get_EntryStmt
in class SETNode
public IterableSet get_NaturalExits()
get_NaturalExits
in class SETNode