tracefw/tracecompiler/src/com.nokia.tracecompiler/src/com/nokia/tracecompiler/source/SourceSearch.java
author hgs
Mon, 23 Aug 2010 15:29:36 +0300
changeset 41 838cdffd57ce
permissions -rw-r--r--
201031
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
41
hgs
parents:
diff changeset
     1
/*
hgs
parents:
diff changeset
     2
* Copyright (c) 2007 Nokia Corporation and/or its subsidiary(-ies). 
hgs
parents:
diff changeset
     3
* All rights reserved.
hgs
parents:
diff changeset
     4
* This component and the accompanying materials are made available
hgs
parents:
diff changeset
     5
* under the terms of "Eclipse Public License v1.0"
hgs
parents:
diff changeset
     6
* which accompanies this distribution, and is available
hgs
parents:
diff changeset
     7
* at the URL "http://www.eclipse.org/legal/epl-v10.html".
hgs
parents:
diff changeset
     8
*
hgs
parents:
diff changeset
     9
* Initial Contributors:
hgs
parents:
diff changeset
    10
* Nokia Corporation - initial contribution.
hgs
parents:
diff changeset
    11
*
hgs
parents:
diff changeset
    12
* Contributors:
hgs
parents:
diff changeset
    13
*
hgs
parents:
diff changeset
    14
* Description:
hgs
parents:
diff changeset
    15
*
hgs
parents:
diff changeset
    16
* Base class for source search classes
hgs
parents:
diff changeset
    17
*
hgs
parents:
diff changeset
    18
*/
hgs
parents:
diff changeset
    19
package com.nokia.tracecompiler.source;
hgs
parents:
diff changeset
    20
hgs
parents:
diff changeset
    21
import java.util.List;
hgs
parents:
diff changeset
    22
hgs
parents:
diff changeset
    23
/**
hgs
parents:
diff changeset
    24
 * Base class for source search classes.
hgs
parents:
diff changeset
    25
 * 
hgs
parents:
diff changeset
    26
 */
hgs
parents:
diff changeset
    27
public abstract class SourceSearch {
hgs
parents:
diff changeset
    28
hgs
parents:
diff changeset
    29
	/**
hgs
parents:
diff changeset
    30
	 * Source parser
hgs
parents:
diff changeset
    31
	 */
hgs
parents:
diff changeset
    32
	protected final SourceParser parser;
hgs
parents:
diff changeset
    33
hgs
parents:
diff changeset
    34
	/**
hgs
parents:
diff changeset
    35
	 * Current index within data during search
hgs
parents:
diff changeset
    36
	 */
hgs
parents:
diff changeset
    37
	protected int searchIndex;
hgs
parents:
diff changeset
    38
hgs
parents:
diff changeset
    39
	/**
hgs
parents:
diff changeset
    40
	 * End index for search
hgs
parents:
diff changeset
    41
	 */
hgs
parents:
diff changeset
    42
	protected int searchEnd;
hgs
parents:
diff changeset
    43
hgs
parents:
diff changeset
    44
	/**
hgs
parents:
diff changeset
    45
	 * Index of the next excluded area during search.
hgs
parents:
diff changeset
    46
	 */
hgs
parents:
diff changeset
    47
	protected int searchExcludedIndex;
hgs
parents:
diff changeset
    48
hgs
parents:
diff changeset
    49
	/**
hgs
parents:
diff changeset
    50
	 * Search flags
hgs
parents:
diff changeset
    51
	 */
hgs
parents:
diff changeset
    52
	protected int flags;
hgs
parents:
diff changeset
    53
hgs
parents:
diff changeset
    54
	/**
hgs
parents:
diff changeset
    55
	 * Creates a new search
hgs
parents:
diff changeset
    56
	 * 
hgs
parents:
diff changeset
    57
	 * @param parser
hgs
parents:
diff changeset
    58
	 *            the parser containing the source
hgs
parents:
diff changeset
    59
	 * @param startOffset
hgs
parents:
diff changeset
    60
	 *            offset to the start of search
hgs
parents:
diff changeset
    61
	 * @param endOffset
hgs
parents:
diff changeset
    62
	 *            offset to end of search or -1 for rest of the document
hgs
parents:
diff changeset
    63
	 * @param flags
hgs
parents:
diff changeset
    64
	 *            search flags
hgs
parents:
diff changeset
    65
	 */
hgs
parents:
diff changeset
    66
	protected SourceSearch(SourceParser parser, int startOffset, int endOffset,
hgs
parents:
diff changeset
    67
			int flags) {
hgs
parents:
diff changeset
    68
		this.parser = parser;
hgs
parents:
diff changeset
    69
		this.flags = flags;
hgs
parents:
diff changeset
    70
		resetSearch(startOffset, endOffset);
hgs
parents:
diff changeset
    71
	}
hgs
parents:
diff changeset
    72
hgs
parents:
diff changeset
    73
	/**
hgs
parents:
diff changeset
    74
	 * Resets the current search with a new offset
hgs
parents:
diff changeset
    75
	 * 
hgs
parents:
diff changeset
    76
	 * @param startOffset
hgs
parents:
diff changeset
    77
	 *            the offset to the start of search
hgs
parents:
diff changeset
    78
	 * @param endOffset
hgs
parents:
diff changeset
    79
	 *            offset to end of search or -1 for rest of the document
hgs
parents:
diff changeset
    80
	 */
hgs
parents:
diff changeset
    81
	public void resetSearch(int startOffset, int endOffset) {
hgs
parents:
diff changeset
    82
		searchIndex = startOffset;
hgs
parents:
diff changeset
    83
		searchEnd = endOffset == -1 ? parser.getDataLength() : endOffset;
hgs
parents:
diff changeset
    84
		// Calculates the starting position for the search based on the
hgs
parents:
diff changeset
    85
		// offset and excluded areas
hgs
parents:
diff changeset
    86
		int excluded = parser.findExcludedAreaIndex(startOffset);
hgs
parents:
diff changeset
    87
		if (excluded >= 0) {
hgs
parents:
diff changeset
    88
			SourceExcludedArea area = parser.getExcludedAreas().get(excluded);
hgs
parents:
diff changeset
    89
			searchIndex = area.getOffset() + area.getLength();
hgs
parents:
diff changeset
    90
			if (excluded < parser.getExcludedAreas().size() - 1) {
hgs
parents:
diff changeset
    91
				searchExcludedIndex = excluded + 1;
hgs
parents:
diff changeset
    92
			} else {
hgs
parents:
diff changeset
    93
				searchExcludedIndex = -1;
hgs
parents:
diff changeset
    94
			}
hgs
parents:
diff changeset
    95
		} else {
hgs
parents:
diff changeset
    96
			// If binarySearch returns < 0, startIndex was between some
hgs
parents:
diff changeset
    97
			// excluded areas.
hgs
parents:
diff changeset
    98
			searchExcludedIndex = -1 - excluded;
hgs
parents:
diff changeset
    99
			if (searchExcludedIndex > parser.getExcludedAreas().size()) {
hgs
parents:
diff changeset
   100
				searchExcludedIndex = -1;
hgs
parents:
diff changeset
   101
			}
hgs
parents:
diff changeset
   102
		}
hgs
parents:
diff changeset
   103
		skipNonExcludedAreas();
hgs
parents:
diff changeset
   104
	}
hgs
parents:
diff changeset
   105
hgs
parents:
diff changeset
   106
	/**
hgs
parents:
diff changeset
   107
	 * Changes the index to point behind an excluded area if current index is
hgs
parents:
diff changeset
   108
	 * within one.
hgs
parents:
diff changeset
   109
	 */
hgs
parents:
diff changeset
   110
	protected void skipExcludedArea() {
hgs
parents:
diff changeset
   111
		// If data index is within an excluded area, it is moved to end of
hgs
parents:
diff changeset
   112
		// it and the next excluded area is selected
hgs
parents:
diff changeset
   113
		boolean changedExcludedArea;
hgs
parents:
diff changeset
   114
		do {
hgs
parents:
diff changeset
   115
			// If the excluded area changes, the flag is set and the next
hgs
parents:
diff changeset
   116
			// excluded area is also checked. Otherwise the excluded area index
hgs
parents:
diff changeset
   117
			// gets left behind if the search index jumps past multiple excluded
hgs
parents:
diff changeset
   118
			// areas
hgs
parents:
diff changeset
   119
			changedExcludedArea = false;
hgs
parents:
diff changeset
   120
			if (searchExcludedIndex >= 0
hgs
parents:
diff changeset
   121
					&& searchExcludedIndex < parser.getExcludedAreas().size()) {
hgs
parents:
diff changeset
   122
				SourceExcludedArea area = parser.getExcludedAreas().get(
hgs
parents:
diff changeset
   123
						searchExcludedIndex);
hgs
parents:
diff changeset
   124
				if (area.getOffset() <= searchIndex) {
hgs
parents:
diff changeset
   125
					// If the search offset has skipped past an excluded area,
hgs
parents:
diff changeset
   126
					// the index is not changed
hgs
parents:
diff changeset
   127
					if (area.getOffset() + area.getLength() > searchIndex) {
hgs
parents:
diff changeset
   128
						searchIndex = area.getOffset() + area.getLength();
hgs
parents:
diff changeset
   129
					}
hgs
parents:
diff changeset
   130
					searchExcludedIndex++;
hgs
parents:
diff changeset
   131
					skipNonExcludedAreas();
hgs
parents:
diff changeset
   132
					changedExcludedArea = true;
hgs
parents:
diff changeset
   133
				}
hgs
parents:
diff changeset
   134
			}
hgs
parents:
diff changeset
   135
		} while (changedExcludedArea);
hgs
parents:
diff changeset
   136
	}
hgs
parents:
diff changeset
   137
hgs
parents:
diff changeset
   138
	/**
hgs
parents:
diff changeset
   139
	 * Skips past excluded areas which are not actually excluded due to flags
hgs
parents:
diff changeset
   140
	 */
hgs
parents:
diff changeset
   141
	private void skipNonExcludedAreas() {
hgs
parents:
diff changeset
   142
		if (searchExcludedIndex >= 0
hgs
parents:
diff changeset
   143
				&& searchExcludedIndex < parser.getExcludedAreas().size()) {
hgs
parents:
diff changeset
   144
			boolean notExcluded = true;
hgs
parents:
diff changeset
   145
			do {
hgs
parents:
diff changeset
   146
				// If an excluded area is not excluded due to flags,
hgs
parents:
diff changeset
   147
				// the excluded area index is moved past that area
hgs
parents:
diff changeset
   148
				SourceExcludedArea area = parser.getExcludedAreas().get(
hgs
parents:
diff changeset
   149
						searchExcludedIndex);
hgs
parents:
diff changeset
   150
				if (!SourceParser.isExcluded(area.getType(), flags)) {
hgs
parents:
diff changeset
   151
					searchExcludedIndex++;
hgs
parents:
diff changeset
   152
				} else {
hgs
parents:
diff changeset
   153
					notExcluded = false;
hgs
parents:
diff changeset
   154
				}
hgs
parents:
diff changeset
   155
			} while (notExcluded
hgs
parents:
diff changeset
   156
					&& searchExcludedIndex < parser.getExcludedAreas().size());
hgs
parents:
diff changeset
   157
		}
hgs
parents:
diff changeset
   158
	}
hgs
parents:
diff changeset
   159
hgs
parents:
diff changeset
   160
	/**
hgs
parents:
diff changeset
   161
	 * Returns the next occurence
hgs
parents:
diff changeset
   162
	 * 
hgs
parents:
diff changeset
   163
	 * @return the index or -1
hgs
parents:
diff changeset
   164
	 */
hgs
parents:
diff changeset
   165
	public abstract int findNext();
hgs
parents:
diff changeset
   166
hgs
parents:
diff changeset
   167
	/**
hgs
parents:
diff changeset
   168
	 * Finds all occurences
hgs
parents:
diff changeset
   169
	 * 
hgs
parents:
diff changeset
   170
	 * @param list
hgs
parents:
diff changeset
   171
	 *            the list where the data is stored
hgs
parents:
diff changeset
   172
	 * @throws SourceParserException
hgs
parents:
diff changeset
   173
	 *             if search fails
hgs
parents:
diff changeset
   174
	 */
hgs
parents:
diff changeset
   175
	public abstract void findAll(List<Integer> list)
hgs
parents:
diff changeset
   176
			throws SourceParserException;
hgs
parents:
diff changeset
   177
hgs
parents:
diff changeset
   178
}