KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > ca > mcgill > sable > soot > attributes > SootAttributesJimpleHover


1 /* Soot - a J*va Optimization Framework
2  * Copyright (C) 2003 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.attributes;
21
22
23 import java.util.HashMap JavaDoc;
24 import java.util.Iterator JavaDoc;
25
26
27 import org.eclipse.ui.*;
28 import org.eclipse.ui.texteditor.AbstractTextEditor;
29 import org.eclipse.ui.texteditor.MarkerUtilities;
30
31
32
33 import org.eclipse.core.resources.*;
34 import org.eclipse.core.runtime.CoreException;
35 import org.eclipse.core.runtime.IAdaptable;
36 //import org.eclipse.jface.text.TextPresentation;
37

38 import ca.mcgill.sable.soot.*;
39 import ca.mcgill.sable.soot.editors.*;
40
41
42
43 public class SootAttributesJimpleHover extends AbstractSootAttributesHover {//implements ITextHover {
44

45     
46     
47     
48     public SootAttributesJimpleHover(IEditorPart editor) {
49         setEditor(editor);
50     }
51     
52     
53     
54     protected String JavaDoc getAttributes(AbstractTextEditor editor) {
55     
56         
57         JimpleAttributesComputer jac = new JimpleAttributesComputer();
58         SootAttributesHandler handler = jac.getAttributesHandler(editor);
59                 
60         
61         
62         if (handler != null){
63         
64     
65             return handler.getJimpleAttributes(
66             getLineNum());
67             
68         }
69         else {
70             return null;
71         }
72         
73         
74     }
75
76
77 }
78
Popular Tags