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 SETUnconditionalWhileNode extends SETCycleNode 28 { 29 public SETUnconditionalWhileNode( IterableSet body) 30 { 31 super( (AugmentedStmt) body.getFirst(), body); 32 add_SubBody( body); 33 } 34 35 public IterableSet get_NaturalExits() 36 { 37 return new IterableSet(); 38 } 39 40 public ASTNode emit_AST() 41 { 42 return new ASTUnconditionalLoopNode( get_Label(), emit_ASTBody( (IterableSet) body2childChain.get( subBodies.get(0)))); 43 } 44 45 public AugmentedStmt get_EntryStmt() 46 { 47 return get_CharacterizingStmt(); 48 } 49 } 50 | Popular Tags |