1 19 20 21 package ca.mcgill.sable.soot.cfg.actions; 22 23 import org.eclipse.gef.ui.actions.EditorPartAction; 24 import org.eclipse.ui.IEditorPart; 25 import ca.mcgill.sable.soot.*; 26 import soot.toolkits.graph.interaction.*; 27 28 import org.eclipse.jface.resource.*; 29 30 public class StopInteractionAction extends EditorPartAction { 31 32 public static final String STOP_INTERACTION = "stop interaction"; 33 36 public StopInteractionAction(IEditorPart editor) { 37 super(editor); 38 setImageDescriptor(SootPlugin.getImageDescriptor("stop_icon.gif")); 39 setToolTipText("Stop Interaction"); 40 } 41 42 43 46 protected boolean calculateEnabled() { 47 return true; 48 } 49 50 56 public void run(){ 57 InteractionHandler.v().stopInteraction(true); 58 InteractionHandler.v().setInteractionCon(); 59 } 60 61 public void setEditorPart(IEditorPart part){ 62 super.setEditorPart(part); 63 } 64 65 protected void init() { 66 super.init(); 67 setId( STOP_INTERACTION); 68 } 69 } 70 | Popular Tags |