01: /*
02: * Created on 21.05.2005
03: *
04: * TODO To change the template for this generated file go to
05: * Window - Preferences - Java - Code Style - Code Templates
06: */
07: package proofVisualization.views;
08:
09: import org.eclipse.jface.text.source.Annotation;
10:
11: import de.uka.ilkd.key.visualization.TraceElement;
12: import de.uka.ilkd.key.visualization.ContextTraceElement;
13:
14: /**
15: * @author baum
16: *
17: * TODO To change the template for this generated type comment go to
18: * Window - Preferences - Java - Code Style - Code Templates
19: */
20: public class PVAnnotation extends Annotation {
21: TraceElement te;
22:
23: public PVAnnotation(String type, boolean isPersistent,
24: TraceElement he, String message) {
25: super (type, isPersistent, message);
26: this .te = he;
27: }
28:
29: public static String getHoverMessage(ContextTraceElement he,
30: String t) {
31: String s = "";//="SerialNr: "+he.serialNr()+"\n";
32: s += "Executed: " + he.getNumberOfExecutions() + "\n";
33: //if (t.equals("ProofVisualization.PVAnnotationType3"))
34: //s += "Renamings: TODO";
35: return s;
36:
37: }
38:
39: public TraceElement getTraceElement() {
40: return te;
41: }
42:
43: public void setTraceElement(TraceElement he) {
44: this.te = he;
45: }
46:
47: }
|