11
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-2010 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 |
* SearchProcessor DataProcessor
|
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.traceviewer.engine.dataprocessor;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
20 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
21 |
import java.util.ArrayList;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
22 |
import java.util.List;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
23 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
24 |
import org.eclipse.jface.text.BadLocationException;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
25 |
import org.eclipse.jface.text.Document;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
26 |
import org.eclipse.jface.text.FindReplaceDocumentAdapter;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
27 |
import org.eclipse.jface.text.IDocument;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
28 |
import org.eclipse.jface.text.IRegion;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
29 |
import org.eclipse.ui.PlatformUI;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
30 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
31 |
import com.nokia.traceviewer.action.TraceViewerActionUtils;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
32 |
import com.nokia.traceviewer.dialog.SearchDialog;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
33 |
import com.nokia.traceviewer.engine.DataProcessorAccess;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
34 |
import com.nokia.traceviewer.engine.DataReader;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
35 |
import com.nokia.traceviewer.engine.DataScrollReader;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
36 |
import com.nokia.traceviewer.engine.MediaCallback;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
37 |
import com.nokia.traceviewer.engine.StateHolder;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
38 |
import com.nokia.traceviewer.engine.TraceInformation;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
39 |
import com.nokia.traceviewer.engine.TraceProperties;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
40 |
import com.nokia.traceviewer.engine.TraceViewerGlobals;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
41 |
import com.nokia.traceviewer.engine.TraceViewerDialogInterface.Dialog;
|
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 |
* SearchProcessor DataProcessor
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
45 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
46 |
public final class SearchProcessor implements DataProcessor, MediaCallback {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
47 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
48 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
49 |
* Enum indicating the error codes of TraceViewer API operations
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
50 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
51 |
public enum TimestampSearchPhase {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
52 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
53 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
54 |
* Timestamp search is not ongoing
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
55 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
56 |
NONE,
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
57 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
58 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
59 |
* Finding end timestamp
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
60 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
61 |
FINDING_END,
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
62 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
63 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
64 |
* End found
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
65 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
66 |
END_FOUND;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
67 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
68 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
69 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
70 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
71 |
* Search dialog used in searching
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
72 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
73 |
private SearchDialog searchDialog;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
74 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
75 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
76 |
* Temporary document used in searching
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
77 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
78 |
private final IDocument document;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
79 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
80 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
81 |
* Buffer to hold data before inserting all to document
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
82 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
83 |
private final StringBuffer data;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
84 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
85 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
86 |
* Finder adapter
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
87 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
88 |
private final FindReplaceDocumentAdapter finder;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
89 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
90 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
91 |
* Search properties
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
92 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
93 |
private SearchProperties searchProperties;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
94 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
95 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
96 |
* Timestamp range end trace number
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
97 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
98 |
private int timestampEndTrace;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
99 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
100 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
101 |
* Tells if we have hit EOF already
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
102 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
103 |
private boolean hitEOFAlready;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
104 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
105 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
106 |
* Tells that we should stop searching
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
107 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
108 |
private boolean stopSearching;
|
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 |
* Tells that search is ongoing
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
112 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
113 |
private boolean searchOngoing;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
114 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
115 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
116 |
* Array containing trace informations (cid, gid and tid)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
117 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
118 |
private final List<TraceInformation> traceInformations;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
119 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
120 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
121 |
* Array containing timestamp strings
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
122 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
123 |
private final List<String> timestampStrings;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
124 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
125 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
126 |
* Search data reader
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
127 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
128 |
private DataScrollReader searchDataReader;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
129 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
130 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
131 |
* Timestamp search phase
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
132 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
133 |
private TimestampSearchPhase timestampSearchPhase = TimestampSearchPhase.NONE;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
134 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
135 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
136 |
* Constructor
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
137 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
138 |
public SearchProcessor() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
139 |
// Create needed elements and arrays
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
140 |
data = new StringBuffer();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
141 |
document = new Document();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
142 |
finder = new FindReplaceDocumentAdapter(document);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
143 |
searchProperties = new SearchProperties();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
144 |
traceInformations = new ArrayList<TraceInformation>();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
145 |
timestampStrings = new ArrayList<String>();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
146 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
147 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
148 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
149 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
150 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
151 |
* @see
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
152 |
* com.nokia.traceviewer.engine.DataProcessor#processData(com.nokia.traceviewer
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
153 |
* .engine.TraceProperties)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
154 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
155 |
public void processData(TraceProperties properties) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
156 |
DataProcessorAccess dpa = TraceViewerGlobals.getTraceViewer()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
157 |
.getDataProcessorAccess();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
158 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
159 |
// If binary trace, decode it
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
160 |
if (properties.binaryTrace) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
161 |
dpa.getDecoder().processData(properties);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
162 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
163 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
164 |
// Parse timestamp
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
165 |
dpa.getTimestampParser().processData(properties);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
166 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
167 |
// Traces missing
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
168 |
if (properties.bTraceInformation.isTraceMissing()) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
169 |
data.append(TraceViewerActionUtils.TRACES_DROPPED_MSG);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
170 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
171 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
172 |
// Timestamp string
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
173 |
if (properties.timestampString != null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
174 |
data.append(properties.timestampString);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
175 |
data.append(dpa.getTimestampParser().getTimeFromPreviousString(
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
176 |
properties.timeFromPreviousTrace));
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
177 |
data.append('\t');
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
178 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
179 |
// Add to the timestampstrings array
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
180 |
timestampStrings.add(properties.timestampString);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
181 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
182 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
183 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
184 |
// Trace string
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
185 |
data.append(properties.traceString);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
186 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
187 |
// Trace comment
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
188 |
if (properties.traceComment != null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
189 |
data.append(TraceViewerActionUtils.COMMENT_PREFIX);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
190 |
data.append(properties.traceComment);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
191 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
192 |
data.append('\n');
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
193 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
194 |
traceInformations.add(properties.information);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
195 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
196 |
// Last trace, start search
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
197 |
if (properties.lastTrace) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
198 |
document.set(data.toString());
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
199 |
data.setLength(0);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
200 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
201 |
// Data is received, start search
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
202 |
startSearch();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
203 |
traceInformations.clear();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
204 |
timestampStrings.clear();
|
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 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
209 |
* Starts search
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
210 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
211 |
private void startSearch() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
212 |
if (!stopSearching) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
213 |
try {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
214 |
int tracesTillNow = searchProperties
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
215 |
.getCurrentSearchStartLine()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
216 |
+ TraceViewerGlobals.blockSize * 2;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
217 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
218 |
// Get the search start offset
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
219 |
int searchStartOffset = getSearchStartOffset();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
220 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
221 |
// Find the trace and get the offset of it
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
222 |
int offset = findTrace(searchStartOffset);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
223 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
224 |
// Update progressBar
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
225 |
searchDialog.updateSearchProgressBar(searchProperties
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
226 |
.getCurrentSearchStartLine() + 1);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
227 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
228 |
if (searchProperties.isSearchingForward()) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
229 |
processSearchingForward(tracesTillNow, offset);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
230 |
} else {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
231 |
processSearchingBackward(offset);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
232 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
233 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
234 |
} catch (BadLocationException e) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
235 |
e.printStackTrace();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
236 |
searchOngoing = false;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
237 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
238 |
} else {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
239 |
TraceViewerGlobals.getTraceViewer().getStateHolder().setState(
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
240 |
StateHolder.State.NORMAL);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
241 |
stopSearching = false;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
242 |
searchOngoing = false;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
243 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
244 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
245 |
}
|
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 |
* Gets the correct search start offset
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
249 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
250 |
* @return search start offset
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
251 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
252 |
private int getSearchStartOffset() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
253 |
int searchStartOffset;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
254 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
255 |
// Set proper offset to start searching from
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
256 |
if (searchProperties.isSearchingForward()) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
257 |
searchStartOffset = 0;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
258 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
259 |
// Searching backward
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
260 |
} else {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
261 |
searchStartOffset = document.getLength() - 1;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
262 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
263 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
264 |
return searchStartOffset;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
265 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
266 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
267 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
268 |
* Finds the trace using search properties
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
269 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
270 |
* @param searchStartOffset
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
271 |
* start offset where to start the search
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
272 |
* @return offset of the trace found or -1 if not found
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
273 |
* @throws BadLocationException
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
274 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
275 |
private int findTrace(int searchStartOffset) throws BadLocationException {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
276 |
int offset = SearchUtils.NOT_FOUND;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
277 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
278 |
// Search using component, group and trace ID's
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
279 |
if (SearchUtils.containsIdQuery(searchProperties.getSearchString())) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
280 |
offset = findTraceIDSearch(searchStartOffset);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
281 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
282 |
// Timestamp search
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
283 |
} else if (SearchUtils.containsTimestampQuery(searchProperties
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
284 |
.getSearchString())) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
285 |
offset = findTraceTimestampSearch(searchStartOffset);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
286 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
287 |
// Create a normal text search
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
288 |
} else {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
289 |
timestampSearchPhase = TimestampSearchPhase.NONE;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
290 |
IRegion region = finder.find(searchStartOffset, searchProperties
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
291 |
.getSearchString(), searchProperties.isSearchingForward(),
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
292 |
searchProperties.isCaseSensitive(), searchProperties
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
293 |
.isWholeWord(), searchProperties.isRegExp());
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
294 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
295 |
if (region != null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
296 |
offset = region.getOffset();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
297 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
298 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
299 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
300 |
return offset;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
301 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
302 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
303 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
304 |
* Finds the trace using ID search
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
305 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
306 |
* @param searchStartOffset
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
307 |
* search start offset
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
308 |
* @return found offset
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
309 |
* @throws BadLocationException
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
310 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
311 |
private int findTraceIDSearch(int searchStartOffset)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
312 |
throws BadLocationException {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
313 |
int offset;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
314 |
timestampSearchPhase = TimestampSearchPhase.NONE;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
315 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
316 |
// Parse ID's from the search string
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
317 |
TraceInformation inf = SearchUtils.parseIDsFromString(searchProperties
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
318 |
.getSearchString());
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
319 |
int startTrace = document.getLineOfOffset(searchStartOffset);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
320 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
321 |
// Get the trace number that matches the ID's
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
322 |
int foundTrace = SearchUtils.findTraceOffsetFromInformations(
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
323 |
startTrace, inf, traceInformations, searchProperties
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
324 |
.isSearchingForward());
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
325 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
326 |
if (foundTrace == SearchUtils.NOT_FOUND) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
327 |
offset = SearchUtils.NOT_FOUND;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
328 |
} else {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
329 |
offset = document.getLineOffset(foundTrace);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
330 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
331 |
return offset;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
332 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
333 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
334 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
335 |
* Finds the trace using timestamp search
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
336 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
337 |
* @param searchStartOffset
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
338 |
* search start offset
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
339 |
* @return found offset
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
340 |
* @throws BadLocationException
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
341 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
342 |
private int findTraceTimestampSearch(int searchStartOffset)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
343 |
throws BadLocationException {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
344 |
int offset;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
345 |
boolean getFirstTimestamp = true;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
346 |
boolean timestampSearchOnGoing = false;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
347 |
if (timestampSearchPhase == TimestampSearchPhase.NONE
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
348 |
|| timestampSearchPhase == TimestampSearchPhase.FINDING_END) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
349 |
timestampSearchOnGoing = true;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
350 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
351 |
if (SearchUtils.containsTimestampRangeQuery(searchProperties
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
352 |
.getSearchString())
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
353 |
&& timestampSearchOnGoing) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
354 |
getFirstTimestamp = false;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
355 |
timestampSearchPhase = TimestampSearchPhase.FINDING_END;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
356 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
357 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
358 |
// Parse timestamp from the search string
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
359 |
String timestamp = SearchUtils.parseTimestampFromString(
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
360 |
searchProperties.getSearchString(), getFirstTimestamp);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
361 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
362 |
int startTrace = document.getLineOfOffset(searchStartOffset);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
363 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
364 |
// Get the trace which matches the timestamp
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
365 |
int foundTrace = SearchUtils.findTraceOffsetFromTimestamps(startTrace,
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
366 |
timestamp, timestampStrings, searchProperties
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
367 |
.isSearchingForward());
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
368 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
369 |
if (foundTrace == SearchUtils.NOT_FOUND) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
370 |
offset = SearchUtils.NOT_FOUND;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
371 |
} else {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
372 |
offset = document.getLineOffset(foundTrace);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
373 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
374 |
return offset;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
375 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
376 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
377 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
378 |
* Processes situation when searching forward
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
379 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
380 |
* @param tracesTillNow
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
381 |
* Tells how many traces is read from file
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
382 |
* @param offset
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
383 |
* offset to found item
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
384 |
* @throws BadLocationException
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
385 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
386 |
private void processSearchingForward(int tracesTillNow, int offset)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
387 |
throws BadLocationException {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
388 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
389 |
// String found
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
390 |
if (offset != SearchUtils.NOT_FOUND) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
391 |
processStringFound(offset);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
392 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
393 |
// Full round processed
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
394 |
} else if (tracesTillNow > searchProperties
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
395 |
.getOriginalSearchStartLine()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
396 |
&& hitEOFAlready) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
397 |
fullRoundProcessed();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
398 |
// We didn't find anything from these 2 blocks, go to next one
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
399 |
} else {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
400 |
// Not End Of File
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
401 |
if (tracesTillNow < TraceViewerGlobals.getTraceViewer()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
402 |
.getDataReaderAccess().getCurrentDataReader()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
403 |
.getTraceCount()) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
404 |
searchProperties.setCurrentSearchStartLine(tracesTillNow + 1);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
405 |
processSearch(searchProperties, true);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
406 |
// End Of File
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
407 |
} else {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
408 |
hitEOFAlready = true;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
409 |
searchDialog.updateSearchProgressBar(TraceViewerGlobals
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
410 |
.getTraceViewer().getDataReaderAccess()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
411 |
.getCurrentDataReader().getTraceCount());
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
412 |
searchDialog.searchHitEOF();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
413 |
searchOngoing = false;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
414 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
415 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
416 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
417 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
418 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
419 |
* Full round processed
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
420 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
421 |
private void fullRoundProcessed() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
422 |
hitEOFAlready = false;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
423 |
searchDialog.updateSearchProgressBar(searchProperties
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
424 |
.getOriginalSearchStartLine());
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
425 |
searchDialog.searchHitFullRound();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
426 |
searchOngoing = false;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
427 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
428 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
429 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
430 |
* Processes situation where result was found
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
431 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
432 |
* @param offset
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
433 |
* offset of the result
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
434 |
* @throws BadLocationException
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
435 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
436 |
private void processStringFound(int offset) throws BadLocationException {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
437 |
hitEOFAlready = false;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
438 |
int line = document.getLineOfOffset(offset);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
439 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
440 |
int foundTraceLine = searchProperties.getCurrentSearchStartLine()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
441 |
+ line;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
442 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
443 |
// Update progressBar
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
444 |
searchDialog.updateSearchProgressBar(foundTraceLine);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
445 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
446 |
// Set the search line
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
447 |
if (timestampSearchPhase == TimestampSearchPhase.NONE) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
448 |
searchOngoing = false;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
449 |
TraceViewerGlobals.getTraceViewer().getView().highlightLines(
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
450 |
foundTraceLine, 0, false);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
451 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
452 |
// Timestamp range search
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
453 |
} else {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
454 |
if (timestampSearchPhase == TimestampSearchPhase.FINDING_END) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
455 |
timestampSearchPhase = TimestampSearchPhase.END_FOUND;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
456 |
timestampEndTrace = foundTraceLine;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
457 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
458 |
// Start new search
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
459 |
searchProperties.setCurrentSearchStartLine(foundTraceLine);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
460 |
processSearch(searchProperties, true);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
461 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
462 |
// End and start both found
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
463 |
} else if (timestampSearchPhase == TimestampSearchPhase.END_FOUND) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
464 |
searchOngoing = false;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
465 |
TraceViewerGlobals.getTraceViewer().getView().highlightLines(
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
466 |
foundTraceLine, timestampEndTrace, true);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
467 |
timestampSearchPhase = TimestampSearchPhase.NONE;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
468 |
timestampEndTrace = 0;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
469 |
} else {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
470 |
searchOngoing = false;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
471 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
472 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
473 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
474 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
475 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
476 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
477 |
* Processes situation when searching backwards
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
478 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
479 |
* @param offset
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
480 |
* offset to found item
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
481 |
* @throws BadLocationException
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
482 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
483 |
private void processSearchingBackward(int offset)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
484 |
throws BadLocationException {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
485 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
486 |
// String found
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
487 |
if (offset != SearchUtils.NOT_FOUND) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
488 |
processStringFound(offset);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
489 |
// Full round processed
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
490 |
} else if (searchProperties.getCurrentSearchStartLine() <= searchProperties
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
491 |
.getOriginalSearchStartLine()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
492 |
&& hitEOFAlready) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
493 |
fullRoundProcessed();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
494 |
} else {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
495 |
// Not End Of File
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
496 |
if (searchProperties.getCurrentSearchStartLine() > 0) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
497 |
searchProperties.setCurrentSearchStartLine(searchProperties
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
498 |
.getCurrentSearchStartLine()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
499 |
- (TraceViewerGlobals.blockSize / 2));
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
500 |
processSearch(searchProperties, true);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
501 |
// End Of File
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
502 |
} else {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
503 |
hitEOFAlready = true;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
504 |
searchDialog.updateSearchProgressBar(0);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
505 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
506 |
// Timestamp search
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
507 |
if (timestampSearchPhase == TimestampSearchPhase.END_FOUND
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
508 |
|| timestampSearchPhase == TimestampSearchPhase.FINDING_END) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
509 |
if (timestampEndTrace == 0) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
510 |
timestampEndTrace--;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
511 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
512 |
TraceViewerGlobals.getTraceViewer().getView()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
513 |
.highlightLines(0, timestampEndTrace + 1, false);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
514 |
timestampSearchPhase = TimestampSearchPhase.NONE;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
515 |
timestampEndTrace = 0;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
516 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
517 |
// Normal search
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
518 |
} else {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
519 |
searchDialog.searchHitEOF();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
520 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
521 |
searchOngoing = false;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
522 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
523 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
524 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
525 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
526 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
527 |
* Sets hitEOFAlready variable
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
528 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
529 |
* @param hitEOF
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
530 |
* boolean to set varible to
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
531 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
532 |
public void setHitEOFAlready(boolean hitEOF) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
533 |
this.hitEOFAlready = hitEOF;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
534 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
535 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
536 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
537 |
* Gets search dialog
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
538 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
539 |
* @return search dialog
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
540 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
541 |
public SearchDialog getSearchDialog() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
542 |
if (searchDialog == null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
543 |
searchDialog = (SearchDialog) TraceViewerGlobals.getTraceViewer()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
544 |
.getDialogs().createDialog(Dialog.SEARCH);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
545 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
546 |
return searchDialog;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
547 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
548 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
549 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
550 |
* Sets stop boolean as true or false. If true, searching will stop when
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
551 |
* next block has been fetched from the file
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
552 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
553 |
* @param stop
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
554 |
* indicates if the search should be stopped
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
555 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
556 |
public void stopSearch(boolean stop) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
557 |
stopSearching = stop;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
558 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
559 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
560 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
561 |
* Process search with given searchProperties
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
562 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
563 |
* @param searchProperties
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
564 |
* searchproperties
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
565 |
* @param internal
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
566 |
* if true, the search request is coming from TraceViewer
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
567 |
* internally
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
568 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
569 |
public void processSearch(SearchProperties searchProperties,
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
570 |
boolean internal) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
571 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
572 |
// If search is already ongoing, stop it
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
573 |
if (!internal && searchOngoing) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
574 |
stopSearch(true);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
575 |
while (searchOngoing) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
576 |
try {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
577 |
Thread.sleep(50);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
578 |
} catch (InterruptedException e) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
579 |
e.printStackTrace();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
580 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
581 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
582 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
583 |
searchOngoing = true;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
584 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
585 |
int traceCount = TraceViewerGlobals.getTraceViewer()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
586 |
.getDataReaderAccess().getCurrentDataReader().getTraceCount();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
587 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
588 |
int numberOfBlocks = 2;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
589 |
int traceToStartReading = searchProperties.getCurrentSearchStartLine();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
590 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
591 |
// Searching forward
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
592 |
if (searchProperties.isSearchingForward()) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
593 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
594 |
// Check now many blocks are needed
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
595 |
if (traceToStartReading + TraceViewerGlobals.blockSize > traceCount) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
596 |
numberOfBlocks = 1;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
597 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
598 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
599 |
// Searching backward
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
600 |
} else {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
601 |
// Check now many blocks are needed
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
602 |
if (traceToStartReading < TraceViewerGlobals.blockSize) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
603 |
numberOfBlocks = 1;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
604 |
} else {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
605 |
// If searching backwards, read traces from one block before
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
606 |
traceToStartReading = traceToStartReading
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
607 |
- TraceViewerGlobals.blockSize;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
608 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
609 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
610 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
611 |
// Get the file position having given offset
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
612 |
int index = TraceViewerGlobals.getTraceViewer().getDataReaderAccess()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
613 |
.getCurrentDataReader().getFileMap().getIndexFromOffset(
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
614 |
traceToStartReading);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
615 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
616 |
this.searchProperties = searchProperties;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
617 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
618 |
long pos = TraceViewerGlobals.getTraceViewer().getDataReaderAccess()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
619 |
.getCurrentDataReader().getFileMap().getItem(index).longValue();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
620 |
int startTrace = index * TraceViewerGlobals.blockSize;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
621 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
622 |
this.searchProperties.setCurrentSearchStartLine(startTrace);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
623 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
624 |
// Create searchDataReader if it doesn't exist and start it
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
625 |
searchDataReader = TraceViewerGlobals.getTraceViewer()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
626 |
.getDataReaderAccess().startOwnDataReader(searchDataReader,
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
627 |
this, numberOfBlocks, pos, startTrace, false);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
628 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
629 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
630 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
631 |
* Performs timestamp range search. Must be called from UI thread!
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
632 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
633 |
* @param findStr
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
634 |
* find str
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
635 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
636 |
public void doTimestampRangeSearch(String findStr) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
637 |
int traceCount = TraceViewerGlobals.getTraceViewer()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
638 |
.getDataReaderAccess().getCurrentDataReader().getTraceCount();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
639 |
searchProperties.setCurrentSearchStartLine(traceCount);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
640 |
searchProperties.setOriginalSearchStartLine(traceCount);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
641 |
searchProperties.setSearchString(findStr);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
642 |
searchProperties.setSearchingForward(false);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
643 |
getSearchDialog().setSearchText(findStr);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
644 |
processSearch(searchProperties, false);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
645 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
646 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
647 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
648 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
649 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
650 |
* @see
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
651 |
* com.nokia.traceviewer.engine.MediaCallback#endOfFile(com.nokia.traceviewer
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
652 |
* .engine.DataReader)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
653 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
654 |
public void endOfFile(DataReader reader) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
655 |
// Do nothing
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
656 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
657 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
658 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
659 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
660 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
661 |
* @see com.nokia.traceviewer.engine.MediaCallback#dataHandleChanged()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
662 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
663 |
public void dataHandleChanged() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
664 |
shutdownSearchReader();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
665 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
666 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
667 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
668 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
669 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
670 |
* @see
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
671 |
* com.nokia.traceviewer.engine.MediaCallback#processTrace(com.nokia.traceviewer
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
672 |
* .engine.TraceProperties)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
673 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
674 |
public void processTrace(TraceProperties properties) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
675 |
processData(properties);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
676 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
677 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
678 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
679 |
* Disposes search dialog. Also kill the search data reader.
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
680 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
681 |
* @return true if search dialog was closed. False if it wasn't open.
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
682 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
683 |
public boolean disposeSearchDialog() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
684 |
boolean closed = false;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
685 |
if (searchDialog != null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
686 |
closed = searchDialog.forceClose();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
687 |
searchDialog = null;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
688 |
shutdownSearchReader();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
689 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
690 |
return closed;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
691 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
692 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
693 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
694 |
* Shuts down search data reader
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
695 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
696 |
public void shutdownSearchReader() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
697 |
if (searchDataReader != null) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
698 |
searchDataReader.shutdown();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
699 |
searchDataReader = null;
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
700 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
701 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
702 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
703 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
704 |
* Searches the next trace with ID. Must be called from UI thread!
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
705 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
706 |
* @param cid
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
707 |
* Component ID
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
708 |
* @param gid
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
709 |
* Group ID
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
710 |
* @param tid
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
711 |
* Trace ID
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
712 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
713 |
public void searchTraceWithID(int cid, int gid, int tid) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
714 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
715 |
// Create search string
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
716 |
final String findStr = SearchUtils.createStringFromIDs(cid, gid, tid);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
717 |
searchTraceWithString(findStr);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
718 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
719 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
720 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
721 |
* Searches trace with timestamp. Must be called from UI thread and
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
722 |
* TraceViewer view must exists!
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
723 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
724 |
* @param startTimestamp
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
725 |
* start timestamp string
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
726 |
* @param endTimestamp
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
727 |
* end timestamp string
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
728 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
729 |
public void searchTraceWithTimestamp(final String startTimestamp,
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
730 |
final String endTimestamp) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
731 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
732 |
// Create search string
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
733 |
final String findStr = SearchUtils.createStringFromTimestamp(
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
734 |
startTimestamp, endTimestamp);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
735 |
searchTraceWithString(findStr);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
736 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
737 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
738 |
/**
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
739 |
* Searches the next trace with text. Must be called from UI thread!
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
740 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
741 |
* @param text
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
742 |
* text to search for
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
743 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
744 |
public void searchTraceWithString(final String text) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
745 |
final SearchDialog dialog = getSearchDialog();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
746 |
if (!dialog.isOpen()) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
747 |
dialog.create();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
748 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
749 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
750 |
// Create a thread that will start the search because this thread will
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
751 |
// stop to message event loop when opening the search dialog
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
752 |
Thread a = new Thread() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
753 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
754 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
755 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
756 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
757 |
* @see java.lang.Thread#run()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
758 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
759 |
@Override
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
760 |
public void run() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
761 |
// Stop previous search
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
762 |
if (searchOngoing) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
763 |
stopSearch(true);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
764 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
765 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
766 |
// Must be synced with the UI thread to be able to update the
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
767 |
// search dialog
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
768 |
PlatformUI.getWorkbench().getDisplay().asyncExec(
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
769 |
new Runnable() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
770 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
771 |
/*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
772 |
* (non-Javadoc)
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
773 |
*
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
774 |
* @see java.lang.Runnable#run()
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
775 |
*/
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
776 |
public void run() {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
777 |
dialog.startSearch(text);
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
778 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
779 |
});
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
780 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
781 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
782 |
};
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
783 |
a.start();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
784 |
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
785 |
if (!dialog.isVisible()) {
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
786 |
dialog.openDialog();
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
787 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
788 |
}
|
Matti Laitinen <matti.t.laitinen@nokia.com>
parents:
diff
changeset
|
789 |
} |