Last change
on this file since 162 was 162, checked in by ra33, 16 years ago |
Added faster versions of search frameset
|
File size:
909 bytes
|
Line | |
---|
1 | package org.expeditee.agents;
|
---|
2 |
|
---|
3 | import org.expeditee.gui.Frame;
|
---|
4 | import org.expeditee.gui.FrameIO;
|
---|
5 |
|
---|
6 | public class SearchFrameset extends SearchAgent {
|
---|
7 | private long _firstFrame = 1;
|
---|
8 | private long _maxFrame = Integer.MAX_VALUE;
|
---|
9 |
|
---|
10 | public SearchFrameset(long firstFrame, long maxFrame) {
|
---|
11 | _firstFrame = firstFrame;
|
---|
12 | _maxFrame = maxFrame;
|
---|
13 | }
|
---|
14 |
|
---|
15 | public SearchFrameset() {
|
---|
16 | super();
|
---|
17 | }
|
---|
18 |
|
---|
19 | @Override
|
---|
20 | protected Frame process(Frame frame) {
|
---|
21 | int count = FrameIO.getLastNumber(_startName);
|
---|
22 | for (long i = _firstFrame;i <= _maxFrame && i < count; i++) {
|
---|
23 | if (_stop) {
|
---|
24 | break;
|
---|
25 | }
|
---|
26 | String frameName = _startName + i;
|
---|
27 | overwriteMessage("Searching " + frameName);
|
---|
28 | searchFrame(_results, frameName, _pattern,
|
---|
29 | _replacementString);
|
---|
30 | }
|
---|
31 | _results.save();
|
---|
32 |
|
---|
33 | String resultFrameName = _results.getName();
|
---|
34 | if (_clicked != null)
|
---|
35 | _clicked.setLink(resultFrameName);
|
---|
36 |
|
---|
37 | return _results.getFirstFrame();
|
---|
38 | }
|
---|
39 | }
|
---|
Note:
See
TracBrowser
for help on using the repository browser.