10
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
1 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
2 |
* Copyright (c) 2007 Nokia Corporation and/or its subsidiary(-ies).
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
3 |
* All rights reserved.
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
4 |
* This component and the accompanying materials are made available
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
5 |
* under the terms of "Eclipse Public License v1.0"
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
6 |
* which accompanies this distribution, and is available
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
7 |
* at the URL "http://www.eclipse.org/legal/epl-v10.html".
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
8 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
9 |
* Initial Contributors:
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
10 |
* Nokia Corporation - initial contribution.
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
11 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
12 |
* Contributors:
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
13 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
14 |
* Description:
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
15 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
16 |
* Wrapper for JFace IDocument
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
17 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
18 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
19 |
package com.nokia.tracebuilder.eclipse;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
20 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
21 |
import java.io.File;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
22 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
23 |
import org.eclipse.jface.text.BadLocationException;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
24 |
import org.eclipse.jface.text.BadPositionCategoryException;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
25 |
import org.eclipse.jface.text.IDocument;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
26 |
import org.eclipse.ui.IEditorInput;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
27 |
import org.eclipse.ui.texteditor.ITextEditor;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
28 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
29 |
import com.nokia.tracebuilder.engine.TraceBuilderConfiguration;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
30 |
import com.nokia.tracebuilder.engine.TraceBuilderGlobals;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
31 |
import com.nokia.tracebuilder.engine.TraceLocation;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
32 |
import com.nokia.tracebuilder.source.SourceDocumentInterface;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
33 |
import com.nokia.tracebuilder.source.SourceErrorCodes;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
34 |
import com.nokia.tracebuilder.source.SourceLocationBase;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
35 |
import com.nokia.tracebuilder.source.SourceLocationInterface;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
36 |
import com.nokia.tracebuilder.source.SourceParserException;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
37 |
import com.nokia.tracebuilder.source.SourcePropertyProvider;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
38 |
import com.nokia.tracebuilder.source.SourceSelector;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
39 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
40 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
41 |
* Wrapper for JFace IDocument and Eclipse ITextEditor
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
42 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
43 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
44 |
final class JFaceDocumentWrapper implements SourceDocumentInterface,
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
45 |
SourceSelector, SourcePropertyProvider {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
46 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
47 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
48 |
* Document position category
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
49 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
50 |
public static final String TRACEBUILDER_POSITION_CATEGORY = "TraceBuilder.positions"; //$NON-NLS-1$
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
51 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
52 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
53 |
* Document
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
54 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
55 |
private IDocument document;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
56 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
57 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
58 |
* Text editor for the document, may be null
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
59 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
60 |
private ITextEditor textEditor;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
61 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
62 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
63 |
* Selection listener for the editor
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
64 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
65 |
private JFaceSelectionListener selectionListener;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
66 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
67 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
68 |
* Change listener for the editor
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
69 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
70 |
private JFaceSourceChangeListener changeListener;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
71 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
72 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
73 |
* Save listener
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
74 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
75 |
private JFaceDirtyStateListener saveListener;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
76 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
77 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
78 |
* Location updater
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
79 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
80 |
private JFaceLocationUpdater locationUpdater;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
81 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
82 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
83 |
* Owner of this source
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
84 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
85 |
private Object owner;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
86 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
87 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
88 |
* Constructor
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
89 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
90 |
* @param document
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
91 |
* the document
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
92 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
93 |
JFaceDocumentWrapper(IDocument document) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
94 |
this.document = document;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
95 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
96 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
97 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
98 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
99 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
100 |
* @see com.nokia.tracebuilder.source.SourceDocumentInterface#get(int, int)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
101 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
102 |
public String get(int start, int length) throws SourceParserException {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
103 |
try {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
104 |
return document.get(start, length);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
105 |
} catch (BadLocationException e) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
106 |
throw new SourceParserException(SourceErrorCodes.BAD_LOCATION);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
107 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
108 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
109 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
110 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
111 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
112 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
113 |
* @see com.nokia.tracebuilder.source.SourceDocumentInterface#getChar(int)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
114 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
115 |
public char getChar(int offset) throws SourceParserException {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
116 |
try {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
117 |
return document.getChar(offset);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
118 |
} catch (BadLocationException e) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
119 |
throw new SourceParserException(SourceErrorCodes.BAD_LOCATION);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
120 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
121 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
122 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
123 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
124 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
125 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
126 |
* @see com.nokia.tracebuilder.source.SourceDocumentInterface#getLength()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
127 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
128 |
public int getLength() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
129 |
return document.getLength();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
130 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
131 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
132 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
133 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
134 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
135 |
* @see com.nokia.tracebuilder.source.SourceDocumentInterface#getLineOfOffset(int)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
136 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
137 |
public int getLineOfOffset(int offset) throws SourceParserException {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
138 |
try {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
139 |
return document.getLineOfOffset(offset);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
140 |
} catch (BadLocationException e) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
141 |
throw new SourceParserException(SourceErrorCodes.BAD_LOCATION);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
142 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
143 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
144 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
145 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
146 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
147 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
148 |
* @see com.nokia.tracebuilder.source.SourceDocumentInterface#replace(int,
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
149 |
* int, java.lang.String)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
150 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
151 |
public void replace(int offset, int length, String newText)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
152 |
throws SourceParserException {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
153 |
try {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
154 |
document.replace(offset, length, newText);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
155 |
} catch (BadLocationException e) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
156 |
throw new SourceParserException(SourceErrorCodes.BAD_LOCATION);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
157 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
158 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
159 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
160 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
161 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
162 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
163 |
* @see com.nokia.tracebuilder.source.SourceDocumentInterface#getPropertyProvider()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
164 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
165 |
public SourcePropertyProvider getPropertyProvider() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
166 |
return this;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
167 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
168 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
169 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
170 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
171 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
172 |
* @see com.nokia.tracebuilder.source.SourceDocumentInterface#getSourceSelector()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
173 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
174 |
public SourceSelector getSourceSelector() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
175 |
return this;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
176 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
177 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
178 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
179 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
180 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
181 |
* @see com.nokia.tracebuilder.source.SourceSelector#setSelection(int, int)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
182 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
183 |
public void setSelection(int offset, int length) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
184 |
if (textEditor != null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
185 |
textEditor.getEditorSite().getPage().bringToTop(textEditor);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
186 |
textEditor.selectAndReveal(offset, length);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
187 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
188 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
189 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
190 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
191 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
192 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
193 |
* @see com.nokia.tracebuilder.source.SourcePropertyProvider#getFileName()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
194 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
195 |
public String getFileName() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
196 |
String retval = null;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
197 |
if (textEditor != null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
198 |
IEditorInput input = textEditor.getEditorInput();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
199 |
String path = WorkbenchUtils.getEditorInputPath(input);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
200 |
if (path != null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
201 |
retval = new File(path).getName();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
202 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
203 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
204 |
return retval;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
205 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
206 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
207 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
208 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
209 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
210 |
* @see com.nokia.tracebuilder.source.SourcePropertyProvider#getFilePath()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
211 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
212 |
public String getFilePath() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
213 |
String retval = null;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
214 |
if (textEditor != null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
215 |
IEditorInput input = textEditor.getEditorInput();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
216 |
String path = WorkbenchUtils.getEditorInputPath(input);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
217 |
if (path != null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
218 |
retval = new File(path).getParent();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
219 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
220 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
221 |
if (retval != null && !retval.endsWith(File.separator)) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
222 |
retval += File.separator;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
223 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
224 |
return retval;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
225 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
226 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
227 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
228 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
229 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
230 |
* @see com.nokia.tracebuilder.source.SourceDocumentInterface#
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
231 |
* addLocation(com.nokia.tracebuilder.source.SourceLocationInterface)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
232 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
233 |
public void addLocation(SourceLocationInterface location) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
234 |
String category = getLocationCategory(((JFaceLocationWrapper) location)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
235 |
.getLocation());
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
236 |
try {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
237 |
if (category == null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
238 |
document.addPosition((JFaceLocationWrapper) location);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
239 |
} else {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
240 |
document.addPosition(category, (JFaceLocationWrapper) location);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
241 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
242 |
} catch (Exception e) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
243 |
if (TraceBuilderConfiguration.ASSERTIONS_ENABLED) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
244 |
TraceBuilderGlobals.getEvents().postCriticalAssertionFailed(
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
245 |
"Failed to add location", e); //$NON-NLS-1$
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
246 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
247 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
248 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
249 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
250 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
251 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
252 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
253 |
* @see com.nokia.tracebuilder.source.SourceDocumentInterface#
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
254 |
* removeLocation(com.nokia.tracebuilder.source.SourceLocationInterface)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
255 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
256 |
public void removeLocation(SourceLocationInterface location) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
257 |
String category = getLocationCategory(((JFaceLocationWrapper) location)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
258 |
.getLocation());
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
259 |
if (category == null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
260 |
document.removePosition((JFaceLocationWrapper) location);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
261 |
} else {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
262 |
try {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
263 |
document.removePosition(category,
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
264 |
(JFaceLocationWrapper) location);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
265 |
} catch (Exception e) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
266 |
if (TraceBuilderConfiguration.ASSERTIONS_ENABLED) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
267 |
TraceBuilderGlobals.getEvents()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
268 |
.postCriticalAssertionFailed(
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
269 |
"Failed to remove location", e); //$NON-NLS-1$
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
270 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
271 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
272 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
273 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
274 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
275 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
276 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
277 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
278 |
* @see com.nokia.tracebuilder.source.SourceDocumentInterface#getOwner()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
279 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
280 |
public Object getOwner() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
281 |
return owner;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
282 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
283 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
284 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
285 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
286 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
287 |
* @see com.nokia.tracebuilder.source.SourceDocumentInterface#setOwner(java.lang.Object)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
288 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
289 |
public void setOwner(Object owner) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
290 |
this.owner = owner;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
291 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
292 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
293 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
294 |
* Called by the workbench editor monitor to initialize listeners
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
295 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
296 |
* @param monitor
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
297 |
* the workbench monitor
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
298 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
299 |
void sourceOpened(WorkbenchEditorMonitor monitor) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
300 |
if (monitor != null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
301 |
locationUpdater = new JFaceLocationUpdater(
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
302 |
TRACEBUILDER_POSITION_CATEGORY);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
303 |
document.addPositionCategory(TRACEBUILDER_POSITION_CATEGORY);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
304 |
document.addPositionUpdater(locationUpdater);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
305 |
if (changeListener == null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
306 |
changeListener = new JFaceSourceChangeListener(monitor, this);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
307 |
document.addDocumentListener(changeListener);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
308 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
309 |
if (textEditor != null && selectionListener == null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
310 |
selectionListener = new JFaceSelectionListener(monitor, this);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
311 |
textEditor.getSite().getPage().addPostSelectionListener(
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
312 |
selectionListener);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
313 |
saveListener = new JFaceDirtyStateListener(monitor, this);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
314 |
textEditor.addPropertyListener(saveListener);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
315 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
316 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
317 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
318 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
319 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
320 |
* Performs cleanup. Called by WorkbenchEditorMonitor when source is removed
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
321 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
322 |
void sourceClosed() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
323 |
if (textEditor != null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
324 |
if (selectionListener != null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
325 |
textEditor.getSite().getPage().removePostSelectionListener(
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
326 |
selectionListener);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
327 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
328 |
if (saveListener != null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
329 |
textEditor.removePropertyListener(saveListener);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
330 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
331 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
332 |
if (changeListener != null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
333 |
document.removeDocumentListener(changeListener);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
334 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
335 |
document.removePositionUpdater(locationUpdater);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
336 |
try {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
337 |
document.removePositionCategory(TRACEBUILDER_POSITION_CATEGORY);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
338 |
} catch (BadPositionCategoryException e) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
339 |
if (TraceBuilderConfiguration.ASSERTIONS_ENABLED) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
340 |
TraceBuilderGlobals.getEvents().postAssertionFailed(
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
341 |
"Failed to remove position updater", e); //$NON-NLS-1$
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
342 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
343 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
344 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
345 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
346 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
347 |
* Gets the document
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
348 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
349 |
* @return the document
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
350 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
351 |
IDocument getDocument() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
352 |
return document;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
353 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
354 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
355 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
356 |
* Sets the document
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
357 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
358 |
* @param document
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
359 |
* the new document
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
360 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
361 |
void setDocument(IDocument document) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
362 |
this.document = document;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
363 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
364 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
365 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
366 |
* Gets the text editor
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
367 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
368 |
* @return the text editor
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
369 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
370 |
ITextEditor getTextEditor() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
371 |
return textEditor;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
372 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
373 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
374 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
375 |
* Sets the text editor
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
376 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
377 |
* @param textEditor
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
378 |
* the new text editor
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
379 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
380 |
void setTextEditor(ITextEditor textEditor) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
381 |
this.textEditor = textEditor;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
382 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
383 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
384 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
385 |
* Gets the selection listener
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
386 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
387 |
* @return the selection listener
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
388 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
389 |
JFaceSelectionListener getSelectionListener() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
390 |
return selectionListener;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
391 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
392 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
393 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
394 |
* Gets a category for location
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
395 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
396 |
* @param location
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
397 |
* the location
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
398 |
* @return the category
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
399 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
400 |
private String getLocationCategory(SourceLocationBase location) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
401 |
String retval;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
402 |
if (location instanceof TraceLocation) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
403 |
retval = TRACEBUILDER_POSITION_CATEGORY;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
404 |
} else {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
405 |
retval = null;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
406 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
407 |
return retval;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
408 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
409 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
410 |
}
|