1 19 20 package soot.dava.internal.SET; 21 22 import java.util.*; 23 import soot.util.*; 24 import soot.dava.internal.asg.*; 25 import soot.dava.internal.AST.*; 26 27 public class SETLabeledBlockNode extends SETNode 28 { 29 public SETLabeledBlockNode( IterableSet body) 30 { 31 super( body); 32 add_SubBody( body); 33 } 34 35 public IterableSet get_NaturalExits() 36 { 37 return ((SETNode) ((IterableSet) body2childChain.get( subBodies.get(0))).getLast()).get_NaturalExits(); 38 } 39 40 public ASTNode emit_AST() 41 { 42 return new ASTLabeledBlockNode( get_Label(), emit_ASTBody( (IterableSet) body2childChain.get( subBodies.get(0)))); 43 } 44 45 public AugmentedStmt get_EntryStmt() 46 { 47 return ((SETNode) ((IterableSet) body2childChain.get( subBodies.get(0))).getFirst()).get_EntryStmt(); 48 } 49 50 protected boolean resolve( SETNode parent) 51 { 52 throw new RuntimeException ( "Attempting auto-nest a SETLabeledBlockNode."); 53 } 54 } 55 | Popular Tags |