01: package visualdebugger.views;
02:
03: import org.eclipse.jdt.core.ICompilationUnit;
04: import org.eclipse.jdt.core.IMethod;
05: import org.eclipse.jdt.core.dom.Statement;
06: import org.eclipse.jface.text.TextSelection;
07:
08: import de.uka.ilkd.key.visualdebugger.Breakpoint;
09: import de.uka.ilkd.key.visualdebugger.SourceElementId;
10:
11: public class BreakpointEclipse extends Breakpoint {
12: TextSelection sel;
13: Statement st;
14: ICompilationUnit unit;
15: IMethod method;
16:
17: public BreakpointEclipse(SourceElementId arg0, TextSelection sel,
18: Statement st, ICompilationUnit unit, IMethod method) {
19: super (arg0);
20: this .method = method;
21: this .sel = sel;
22: this .st = st;
23: this .unit = unit;
24: }
25:
26: public TextSelection getSelection() {
27: return sel;
28: }
29:
30: public Statement getStatement() {
31: return st;
32: }
33:
34: public ICompilationUnit getCompilationUnit() {
35: return unit;
36: }
37:
38: public IMethod getMethod() {
39: return method;
40: }
41:
42: public String toString() {
43: return super.toString();
44: }
45:
46: }
|