KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > ca > mcgill > sable > soot > cfg > actions > StepBackwardAction


1 /* Soot - a J*va Optimization Framework
2  * Copyright (C) 2004 Jennifer Lhotak
3  *
4  * This library is free software; you can redistribute it and/or
5  * modify it under the terms of the GNU Lesser General Public
6  * License as published by the Free Software Foundation; either
7  * version 2.1 of the License, or (at your option) any later version.
8  *
9  * This library is distributed in the hope that it will be useful,
10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12  * Lesser General Public License for more details.
13  *
14  * You should have received a copy of the GNU Lesser General Public
15  * License along with this library; if not, write to the
16  * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
17  * Boston, MA 02111-1307, USA.
18  */

19
20 package ca.mcgill.sable.soot.cfg.actions;
21
22 import org.eclipse.gef.ui.actions.EditorPartAction;
23 import org.eclipse.ui.IEditorPart;
24 import ca.mcgill.sable.soot.*;
25 import soot.toolkits.graph.interaction.*;
26 import org.eclipse.jface.resource.*;
27
28
29 public class StepBackwardAction extends EditorPartAction {
30
31     public static final String JavaDoc STEP_BACKWARD = "step backward";
32     /**
33      * @param editor
34      */

35     public StepBackwardAction(IEditorPart editor) {
36         super(editor);
37         setImageDescriptor(SootPlugin.getImageDescriptor("resume_co_back.gif"));
38         setToolTipText("Step Backward");
39     }
40     
41
42     /* (non-Javadoc)
43      * @see org.eclipse.gef.ui.actions.WorkbenchPartAction#calculateEnabled()
44      */

45     protected boolean calculateEnabled() {
46         return true;
47     }
48
49     /*
50      * (non-Javadoc)
51      * @see org.eclipse.jface.action.IAction#run()
52      * shows flowsets in step backward
53      */

54     public void run(){
55         SootPlugin.getDefault().getDataKeeper().stepBack();
56
57     }
58     
59     public void setEditorPart(IEditorPart part){
60         super.setEditorPart(part);
61     }
62     
63     protected void init() {
64         super.init();
65         setId( STEP_BACKWARD );
66     }
67 }
68
Popular Tags