tracesrv/tracecompiler/src/com.nokia.tracecompiler/src/com/nokia/tracecompiler/engine/TraceLocation.java
author hgs
Fri, 08 Oct 2010 14:56:39 +0300
changeset 56 aa2539c91954
permissions -rw-r--r--
201041
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
56
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
* Represents a location of a trace within a source document
hgs
parents:
diff changeset
    17
*
hgs
parents:
diff changeset
    18
*/
hgs
parents:
diff changeset
    19
package com.nokia.tracecompiler.engine;
hgs
parents:
diff changeset
    20
hgs
parents:
diff changeset
    21
import java.util.ArrayList;
hgs
parents:
diff changeset
    22
import java.util.Collections;
hgs
parents:
diff changeset
    23
import java.util.Iterator;
hgs
parents:
diff changeset
    24
import java.util.List;
hgs
parents:
diff changeset
    25
hgs
parents:
diff changeset
    26
import com.nokia.tracecompiler.engine.TraceCompilerEngineErrorCodes.TraceCompilerErrorCode;
hgs
parents:
diff changeset
    27
import com.nokia.tracecompiler.engine.source.SourceParserResult;
hgs
parents:
diff changeset
    28
import com.nokia.tracecompiler.engine.source.SourceParserRule;
hgs
parents:
diff changeset
    29
import com.nokia.tracecompiler.engine.source.SourceProperties;
hgs
parents:
diff changeset
    30
import com.nokia.tracecompiler.model.Trace;
hgs
parents:
diff changeset
    31
import com.nokia.tracecompiler.model.TraceCompilerErrorParameters;
hgs
parents:
diff changeset
    32
import com.nokia.tracecompiler.model.TraceCompilerException;
hgs
parents:
diff changeset
    33
import com.nokia.tracecompiler.model.TraceObject;
hgs
parents:
diff changeset
    34
import com.nokia.tracecompiler.source.SourceConstants;
hgs
parents:
diff changeset
    35
import com.nokia.tracecompiler.source.SourceLocation;
hgs
parents:
diff changeset
    36
import com.nokia.tracecompiler.source.SourceLocationListener;
hgs
parents:
diff changeset
    37
hgs
parents:
diff changeset
    38
/**
hgs
parents:
diff changeset
    39
 * Represents a location of a trace within a source document. The locations of a
hgs
parents:
diff changeset
    40
 * document are updated by TraceLocationUpdater when document is changed
hgs
parents:
diff changeset
    41
 * 
hgs
parents:
diff changeset
    42
 */
hgs
parents:
diff changeset
    43
public class TraceLocation extends SourceLocation implements LocationProperties {
hgs
parents:
diff changeset
    44
hgs
parents:
diff changeset
    45
	/**
hgs
parents:
diff changeset
    46
	 * Source which owns this location
hgs
parents:
diff changeset
    47
	 */
hgs
parents:
diff changeset
    48
	private SourceProperties source;
hgs
parents:
diff changeset
    49
hgs
parents:
diff changeset
    50
	/**
hgs
parents:
diff changeset
    51
	 * Name of the trace as parsed from source
hgs
parents:
diff changeset
    52
	 */
hgs
parents:
diff changeset
    53
	private String originalName;
hgs
parents:
diff changeset
    54
hgs
parents:
diff changeset
    55
	/**
hgs
parents:
diff changeset
    56
	 * Name after conversion to valid trace name
hgs
parents:
diff changeset
    57
	 */
hgs
parents:
diff changeset
    58
	private String convertedName;
hgs
parents:
diff changeset
    59
hgs
parents:
diff changeset
    60
	/**
hgs
parents:
diff changeset
    61
	 * Text of the trace as parsed from source
hgs
parents:
diff changeset
    62
	 */
hgs
parents:
diff changeset
    63
	private String traceText;
hgs
parents:
diff changeset
    64
hgs
parents:
diff changeset
    65
	/**
hgs
parents:
diff changeset
    66
	 * The tag of the parser that found this trace location
hgs
parents:
diff changeset
    67
	 */
hgs
parents:
diff changeset
    68
	private String tag;
hgs
parents:
diff changeset
    69
hgs
parents:
diff changeset
    70
	/**
hgs
parents:
diff changeset
    71
	 * Content changed flag
hgs
parents:
diff changeset
    72
	 */
hgs
parents:
diff changeset
    73
	private boolean contentChanged;
hgs
parents:
diff changeset
    74
hgs
parents:
diff changeset
    75
	/**
hgs
parents:
diff changeset
    76
	 * Name changed flag
hgs
parents:
diff changeset
    77
	 */
hgs
parents:
diff changeset
    78
	private boolean nameChanged;
hgs
parents:
diff changeset
    79
hgs
parents:
diff changeset
    80
	/**
hgs
parents:
diff changeset
    81
	 * The location list
hgs
parents:
diff changeset
    82
	 */
hgs
parents:
diff changeset
    83
	private TraceLocationList list;
hgs
parents:
diff changeset
    84
hgs
parents:
diff changeset
    85
	/**
hgs
parents:
diff changeset
    86
	 * The parameters
hgs
parents:
diff changeset
    87
	 */
hgs
parents:
diff changeset
    88
	private List<String> parameters;
hgs
parents:
diff changeset
    89
hgs
parents:
diff changeset
    90
	/**
hgs
parents:
diff changeset
    91
	 * Parser-specific data associated with this location
hgs
parents:
diff changeset
    92
	 */
hgs
parents:
diff changeset
    93
	private List<String> parserData;
hgs
parents:
diff changeset
    94
hgs
parents:
diff changeset
    95
	/**
hgs
parents:
diff changeset
    96
	 * Rule which defines how the parameters found from source are interpreted
hgs
parents:
diff changeset
    97
	 */
hgs
parents:
diff changeset
    98
	private SourceParserRule parserRule;
hgs
parents:
diff changeset
    99
hgs
parents:
diff changeset
   100
	/**
hgs
parents:
diff changeset
   101
	 * Flag, which determines if this location has changed after last convert
hgs
parents:
diff changeset
   102
	 * operation
hgs
parents:
diff changeset
   103
	 */
hgs
parents:
diff changeset
   104
	private boolean changedAfterConvert = true;
hgs
parents:
diff changeset
   105
hgs
parents:
diff changeset
   106
	/**
hgs
parents:
diff changeset
   107
	 * Last notified validity code
hgs
parents:
diff changeset
   108
	 */
hgs
parents:
diff changeset
   109
	private TraceCompilerErrorCode notifiedValidity = TraceCompilerErrorCode.OK;
hgs
parents:
diff changeset
   110
hgs
parents:
diff changeset
   111
	/**
hgs
parents:
diff changeset
   112
	 * Last notified validity parameters
hgs
parents:
diff changeset
   113
	 */
hgs
parents:
diff changeset
   114
	private TraceCompilerErrorParameters notifiedValidityParameters;
hgs
parents:
diff changeset
   115
hgs
parents:
diff changeset
   116
	/**
hgs
parents:
diff changeset
   117
	 * Parser error code
hgs
parents:
diff changeset
   118
	 */
hgs
parents:
diff changeset
   119
	private TraceCompilerErrorCode parserErrorCode = TraceCompilerErrorCode.OK;
hgs
parents:
diff changeset
   120
hgs
parents:
diff changeset
   121
	/**
hgs
parents:
diff changeset
   122
	 * Parser error parameters
hgs
parents:
diff changeset
   123
	 */
hgs
parents:
diff changeset
   124
	private TraceCompilerErrorParameters parserErrorParameters;
hgs
parents:
diff changeset
   125
hgs
parents:
diff changeset
   126
	/**
hgs
parents:
diff changeset
   127
	 * Converter error code
hgs
parents:
diff changeset
   128
	 */
hgs
parents:
diff changeset
   129
	private TraceCompilerErrorCode converterErrorCode = TraceCompilerErrorCode.OK;
hgs
parents:
diff changeset
   130
hgs
parents:
diff changeset
   131
	/**
hgs
parents:
diff changeset
   132
	 * Converter error parameters
hgs
parents:
diff changeset
   133
	 */
hgs
parents:
diff changeset
   134
	private TraceCompilerErrorParameters converterErrorParameters;
hgs
parents:
diff changeset
   135
hgs
parents:
diff changeset
   136
	/**
hgs
parents:
diff changeset
   137
	 * Creates a new location
hgs
parents:
diff changeset
   138
	 * 
hgs
parents:
diff changeset
   139
	 * @param source
hgs
parents:
diff changeset
   140
	 *            the source where the location is associated
hgs
parents:
diff changeset
   141
	 * @param offset
hgs
parents:
diff changeset
   142
	 *            the offset to the trace within the source document
hgs
parents:
diff changeset
   143
	 * @param length
hgs
parents:
diff changeset
   144
	 *            the length of the trace
hgs
parents:
diff changeset
   145
	 */
hgs
parents:
diff changeset
   146
	public TraceLocation(SourceProperties source, int offset, int length) {
hgs
parents:
diff changeset
   147
		super(source.getSourceParser(), offset, length);
hgs
parents:
diff changeset
   148
		this.source = source;
hgs
parents:
diff changeset
   149
	}
hgs
parents:
diff changeset
   150
hgs
parents:
diff changeset
   151
	/**
hgs
parents:
diff changeset
   152
	 * Sets the content changed flag. If <i>changed</i> is false this also sets
hgs
parents:
diff changeset
   153
	 * the name changed flag to false
hgs
parents:
diff changeset
   154
	 * 
hgs
parents:
diff changeset
   155
	 * @param changed
hgs
parents:
diff changeset
   156
	 *            the new changed flag
hgs
parents:
diff changeset
   157
	 */
hgs
parents:
diff changeset
   158
	public void setContentChanged(boolean changed) {
hgs
parents:
diff changeset
   159
		this.contentChanged = changed;
hgs
parents:
diff changeset
   160
		if (!changed) {
hgs
parents:
diff changeset
   161
			nameChanged = false;
hgs
parents:
diff changeset
   162
		}
hgs
parents:
diff changeset
   163
	}
hgs
parents:
diff changeset
   164
hgs
parents:
diff changeset
   165
	/**
hgs
parents:
diff changeset
   166
	 * Checks if the content has changed.
hgs
parents:
diff changeset
   167
	 * 
hgs
parents:
diff changeset
   168
	 * @return the content changed flag
hgs
parents:
diff changeset
   169
	 */
hgs
parents:
diff changeset
   170
	public boolean isContentChanged() {
hgs
parents:
diff changeset
   171
		return contentChanged;
hgs
parents:
diff changeset
   172
	}
hgs
parents:
diff changeset
   173
hgs
parents:
diff changeset
   174
	/**
hgs
parents:
diff changeset
   175
	 * Checks if the name has changed.
hgs
parents:
diff changeset
   176
	 * 
hgs
parents:
diff changeset
   177
	 * @return the name changed flag
hgs
parents:
diff changeset
   178
	 */
hgs
parents:
diff changeset
   179
	public boolean isNameChanged() {
hgs
parents:
diff changeset
   180
		return contentChanged && nameChanged;
hgs
parents:
diff changeset
   181
	}
hgs
parents:
diff changeset
   182
hgs
parents:
diff changeset
   183
	/**
hgs
parents:
diff changeset
   184
	 * Gets the trace this location is associated to or null if unrelated
hgs
parents:
diff changeset
   185
	 * 
hgs
parents:
diff changeset
   186
	 * @return the trace
hgs
parents:
diff changeset
   187
	 */
hgs
parents:
diff changeset
   188
	public Trace getTrace() {
hgs
parents:
diff changeset
   189
		Trace retval = null;
hgs
parents:
diff changeset
   190
		if (list != null) {
hgs
parents:
diff changeset
   191
			TraceObject object = list.getOwner();
hgs
parents:
diff changeset
   192
			if (object instanceof Trace) {
hgs
parents:
diff changeset
   193
				retval = (Trace) object;
hgs
parents:
diff changeset
   194
			}
hgs
parents:
diff changeset
   195
		}
hgs
parents:
diff changeset
   196
		return retval;
hgs
parents:
diff changeset
   197
	}
hgs
parents:
diff changeset
   198
hgs
parents:
diff changeset
   199
	/**
hgs
parents:
diff changeset
   200
	 * Gets the name of the trace as parsed from source
hgs
parents:
diff changeset
   201
	 * 
hgs
parents:
diff changeset
   202
	 * @return the name of the trace
hgs
parents:
diff changeset
   203
	 */
hgs
parents:
diff changeset
   204
	public String getOriginalName() {
hgs
parents:
diff changeset
   205
		return originalName;
hgs
parents:
diff changeset
   206
	}
hgs
parents:
diff changeset
   207
hgs
parents:
diff changeset
   208
	/**
hgs
parents:
diff changeset
   209
	 * Gets the name of the trace after conversion to valid name
hgs
parents:
diff changeset
   210
	 * 
hgs
parents:
diff changeset
   211
	 * @return the name of the trace
hgs
parents:
diff changeset
   212
	 */
hgs
parents:
diff changeset
   213
	public String getConvertedName() {
hgs
parents:
diff changeset
   214
		return convertedName;
hgs
parents:
diff changeset
   215
	}
hgs
parents:
diff changeset
   216
hgs
parents:
diff changeset
   217
	/**
hgs
parents:
diff changeset
   218
	 * Gets the text of the trace
hgs
parents:
diff changeset
   219
	 * 
hgs
parents:
diff changeset
   220
	 * @return the text of the trace
hgs
parents:
diff changeset
   221
	 */
hgs
parents:
diff changeset
   222
	public String getTraceText() {
hgs
parents:
diff changeset
   223
		return traceText;
hgs
parents:
diff changeset
   224
	}
hgs
parents:
diff changeset
   225
hgs
parents:
diff changeset
   226
	/**
hgs
parents:
diff changeset
   227
	 * Returns the source properties this location belongs to
hgs
parents:
diff changeset
   228
	 * 
hgs
parents:
diff changeset
   229
	 * @return source properties
hgs
parents:
diff changeset
   230
	 */
hgs
parents:
diff changeset
   231
	public SourceProperties getSource() {
hgs
parents:
diff changeset
   232
		return source;
hgs
parents:
diff changeset
   233
	}
hgs
parents:
diff changeset
   234
hgs
parents:
diff changeset
   235
	/**
hgs
parents:
diff changeset
   236
	 * Sets the location list which owns this location
hgs
parents:
diff changeset
   237
	 * 
hgs
parents:
diff changeset
   238
	 * @param list
hgs
parents:
diff changeset
   239
	 *            the location list
hgs
parents:
diff changeset
   240
	 */
hgs
parents:
diff changeset
   241
	public void setLocationList(TraceLocationList list) {
hgs
parents:
diff changeset
   242
		this.list = list;
hgs
parents:
diff changeset
   243
	}
hgs
parents:
diff changeset
   244
hgs
parents:
diff changeset
   245
	/**
hgs
parents:
diff changeset
   246
	 * Gets the location list this location belongs to
hgs
parents:
diff changeset
   247
	 * 
hgs
parents:
diff changeset
   248
	 * @return the list
hgs
parents:
diff changeset
   249
	 */
hgs
parents:
diff changeset
   250
	public TraceLocationList getLocationList() {
hgs
parents:
diff changeset
   251
		return list;
hgs
parents:
diff changeset
   252
	}
hgs
parents:
diff changeset
   253
hgs
parents:
diff changeset
   254
	/**
hgs
parents:
diff changeset
   255
	 * Sets the parser rule that will be used to parse the data of this
hgs
parents:
diff changeset
   256
	 * location. Must be called before setData
hgs
parents:
diff changeset
   257
	 * 
hgs
parents:
diff changeset
   258
	 * @param rule
hgs
parents:
diff changeset
   259
	 *            the rule used to parse the data
hgs
parents:
diff changeset
   260
	 */
hgs
parents:
diff changeset
   261
	public void setParserRule(SourceParserRule rule) {
hgs
parents:
diff changeset
   262
		parserRule = rule;
hgs
parents:
diff changeset
   263
	}
hgs
parents:
diff changeset
   264
hgs
parents:
diff changeset
   265
	/**
hgs
parents:
diff changeset
   266
	 * Gets the parser rule that found this location
hgs
parents:
diff changeset
   267
	 * 
hgs
parents:
diff changeset
   268
	 * @return the parser rule
hgs
parents:
diff changeset
   269
	 */
hgs
parents:
diff changeset
   270
	public SourceParserRule getParserRule() {
hgs
parents:
diff changeset
   271
		return parserRule;
hgs
parents:
diff changeset
   272
	}
hgs
parents:
diff changeset
   273
hgs
parents:
diff changeset
   274
	/**
hgs
parents:
diff changeset
   275
	 * Sets the trace tag that was found from source
hgs
parents:
diff changeset
   276
	 * 
hgs
parents:
diff changeset
   277
	 * @param tag
hgs
parents:
diff changeset
   278
	 *            the trace tag
hgs
parents:
diff changeset
   279
	 */
hgs
parents:
diff changeset
   280
	public void setTag(String tag) {
hgs
parents:
diff changeset
   281
		this.tag = tag;
hgs
parents:
diff changeset
   282
	}
hgs
parents:
diff changeset
   283
hgs
parents:
diff changeset
   284
	/**
hgs
parents:
diff changeset
   285
	 * Gets the trace tag
hgs
parents:
diff changeset
   286
	 * 
hgs
parents:
diff changeset
   287
	 * @return the tag
hgs
parents:
diff changeset
   288
	 */
hgs
parents:
diff changeset
   289
	public String getTag() {
hgs
parents:
diff changeset
   290
		return tag;
hgs
parents:
diff changeset
   291
	}
hgs
parents:
diff changeset
   292
hgs
parents:
diff changeset
   293
	/**
hgs
parents:
diff changeset
   294
	 * Sets the trace data
hgs
parents:
diff changeset
   295
	 * 
hgs
parents:
diff changeset
   296
	 * @param list
hgs
parents:
diff changeset
   297
	 *            the list of parameters
hgs
parents:
diff changeset
   298
	 */
hgs
parents:
diff changeset
   299
	public void setData(ArrayList<String> list) {
hgs
parents:
diff changeset
   300
		try {
hgs
parents:
diff changeset
   301
			SourceParserResult result = parserRule.parseParameters(tag, list);
hgs
parents:
diff changeset
   302
			setData(result.originalName, result.convertedName,
hgs
parents:
diff changeset
   303
					result.traceText, result.parameters, result.parserData);
hgs
parents:
diff changeset
   304
			parserRule.getLocationParser().processNewLocation(this);
hgs
parents:
diff changeset
   305
			parserErrorCode = TraceCompilerErrorCode.OK;
hgs
parents:
diff changeset
   306
			parserErrorParameters = null;
hgs
parents:
diff changeset
   307
			converterErrorCode = TraceCompilerErrorCode.OK;
hgs
parents:
diff changeset
   308
			converterErrorParameters = null;
hgs
parents:
diff changeset
   309
		} catch (TraceCompilerException e) {
hgs
parents:
diff changeset
   310
			parserErrorCode = (TraceCompilerErrorCode) e.getErrorCode();
hgs
parents:
diff changeset
   311
			parserErrorParameters = e.getErrorParameters();
hgs
parents:
diff changeset
   312
		}
hgs
parents:
diff changeset
   313
	}
hgs
parents:
diff changeset
   314
hgs
parents:
diff changeset
   315
	/**
hgs
parents:
diff changeset
   316
	 * Sets the trace name and parameter list
hgs
parents:
diff changeset
   317
	 * 
hgs
parents:
diff changeset
   318
	 * @param originalName
hgs
parents:
diff changeset
   319
	 *            the name parsed from source
hgs
parents:
diff changeset
   320
	 * @param convertedName
hgs
parents:
diff changeset
   321
	 *            the name after conversion
hgs
parents:
diff changeset
   322
	 * @param traceText
hgs
parents:
diff changeset
   323
	 *            the text parsed from source
hgs
parents:
diff changeset
   324
	 * @param parameters
hgs
parents:
diff changeset
   325
	 *            the list of parameters parsed from source
hgs
parents:
diff changeset
   326
	 * @param parserData
hgs
parents:
diff changeset
   327
	 *            list of parser-specific data
hgs
parents:
diff changeset
   328
	 */
hgs
parents:
diff changeset
   329
	private void setData(String originalName, String convertedName,
hgs
parents:
diff changeset
   330
			String traceText, List<String> parameters, List<String> parserData) {
hgs
parents:
diff changeset
   331
		if (!convertedName.equals(this.convertedName)) {
hgs
parents:
diff changeset
   332
			this.convertedName = convertedName;
hgs
parents:
diff changeset
   333
			nameChanged = true;
hgs
parents:
diff changeset
   334
		}
hgs
parents:
diff changeset
   335
		this.originalName = originalName;
hgs
parents:
diff changeset
   336
		//remove line feed if the trace text spans multiple lines.
hgs
parents:
diff changeset
   337
		if (traceText != null ) {
hgs
parents:
diff changeset
   338
			this.traceText = traceText.replaceAll(SourceConstants.LINE_FEED, ""); //$NON-NLS-1$ //$NON-NLS-2$
hgs
parents:
diff changeset
   339
		}
hgs
parents:
diff changeset
   340
		this.parameters = parameters;
hgs
parents:
diff changeset
   341
		this.parserData = parserData;
hgs
parents:
diff changeset
   342
	}
hgs
parents:
diff changeset
   343
hgs
parents:
diff changeset
   344
	/**
hgs
parents:
diff changeset
   345
	 * Removes the parameter at given index
hgs
parents:
diff changeset
   346
	 * 
hgs
parents:
diff changeset
   347
	 * @param index
hgs
parents:
diff changeset
   348
	 *            the index
hgs
parents:
diff changeset
   349
	 */
hgs
parents:
diff changeset
   350
	public void removeParameterAt(int index) {
hgs
parents:
diff changeset
   351
		// NOTE: Does not cause validity callbacks
hgs
parents:
diff changeset
   352
		// This is currently only used temporarily when removing a parameter
hgs
parents:
diff changeset
   353
		// from trace. This is needed to correctly update the source code
hgs
parents:
diff changeset
   354
		if (parameters != null && index >= 0 && index < parameters.size()) {
hgs
parents:
diff changeset
   355
			parameters.remove(index);
hgs
parents:
diff changeset
   356
		}
hgs
parents:
diff changeset
   357
	}
hgs
parents:
diff changeset
   358
hgs
parents:
diff changeset
   359
	/**
hgs
parents:
diff changeset
   360
	 * Gets the number of parameters found from the source code
hgs
parents:
diff changeset
   361
	 * 
hgs
parents:
diff changeset
   362
	 * @return the number of parameters
hgs
parents:
diff changeset
   363
	 */
hgs
parents:
diff changeset
   364
	public int getParameterCount() {
hgs
parents:
diff changeset
   365
		return parameters != null ? parameters.size() : 0;
hgs
parents:
diff changeset
   366
	}
hgs
parents:
diff changeset
   367
hgs
parents:
diff changeset
   368
	/**
hgs
parents:
diff changeset
   369
	 * Gets the parameter at given index
hgs
parents:
diff changeset
   370
	 * 
hgs
parents:
diff changeset
   371
	 * @param index
hgs
parents:
diff changeset
   372
	 *            the parameter index
hgs
parents:
diff changeset
   373
	 * @return the parameter at the index
hgs
parents:
diff changeset
   374
	 */
hgs
parents:
diff changeset
   375
	public String getParameter(int index) {
hgs
parents:
diff changeset
   376
		return parameters.get(index);
hgs
parents:
diff changeset
   377
	}
hgs
parents:
diff changeset
   378
hgs
parents:
diff changeset
   379
	/**
hgs
parents:
diff changeset
   380
	 * Gets the parameters
hgs
parents:
diff changeset
   381
	 * 
hgs
parents:
diff changeset
   382
	 * @return iterator over the parameters
hgs
parents:
diff changeset
   383
	 */
hgs
parents:
diff changeset
   384
	public Iterator<String> getParameters() {
hgs
parents:
diff changeset
   385
		List<String> list = null;
hgs
parents:
diff changeset
   386
		if (parameters != null) {
hgs
parents:
diff changeset
   387
			list = parameters;
hgs
parents:
diff changeset
   388
		} else {
hgs
parents:
diff changeset
   389
			list = Collections.emptyList();
hgs
parents:
diff changeset
   390
		}
hgs
parents:
diff changeset
   391
		return list.iterator();
hgs
parents:
diff changeset
   392
	}
hgs
parents:
diff changeset
   393
hgs
parents:
diff changeset
   394
	/**
hgs
parents:
diff changeset
   395
	 * Gets the parser-specific data
hgs
parents:
diff changeset
   396
	 * 
hgs
parents:
diff changeset
   397
	 * @return the parser data
hgs
parents:
diff changeset
   398
	 */
hgs
parents:
diff changeset
   399
	public List<String> getParserData() {
hgs
parents:
diff changeset
   400
		return parserData;
hgs
parents:
diff changeset
   401
	}
hgs
parents:
diff changeset
   402
hgs
parents:
diff changeset
   403
	/**
hgs
parents:
diff changeset
   404
	 * Gets the current location validity code.
hgs
parents:
diff changeset
   405
	 * 
hgs
parents:
diff changeset
   406
	 * @return the validity code
hgs
parents:
diff changeset
   407
	 */
hgs
parents:
diff changeset
   408
	public TraceCompilerErrorCode getValidityCode() {
hgs
parents:
diff changeset
   409
		return notifiedValidity;
hgs
parents:
diff changeset
   410
	}
hgs
parents:
diff changeset
   411
hgs
parents:
diff changeset
   412
	/**
hgs
parents:
diff changeset
   413
	 * Gets the parameters associated with the current location validity code.
hgs
parents:
diff changeset
   414
	 * 
hgs
parents:
diff changeset
   415
	 * @return the validity code
hgs
parents:
diff changeset
   416
	 */
hgs
parents:
diff changeset
   417
	public TraceCompilerErrorParameters getValidityParameters() {
hgs
parents:
diff changeset
   418
		return notifiedValidityParameters;
hgs
parents:
diff changeset
   419
	}
hgs
parents:
diff changeset
   420
hgs
parents:
diff changeset
   421
	/**
hgs
parents:
diff changeset
   422
	 * Creates a notification if validity has changed. This is initially called
hgs
parents:
diff changeset
   423
	 * from the location list when a location is added to it and after that from
hgs
parents:
diff changeset
   424
	 * notifyLocationChanged.
hgs
parents:
diff changeset
   425
	 */
hgs
parents:
diff changeset
   426
	void runValidityCheck() {
hgs
parents:
diff changeset
   427
		TraceCompilerErrorCode code;
hgs
parents:
diff changeset
   428
		TraceCompilerErrorParameters parameters;
hgs
parents:
diff changeset
   429
		if (parserErrorCode != TraceCompilerErrorCode.OK) {
hgs
parents:
diff changeset
   430
			code = parserErrorCode;
hgs
parents:
diff changeset
   431
			parameters = parserErrorParameters;
hgs
parents:
diff changeset
   432
		} else if (converterErrorCode != TraceCompilerErrorCode.OK) {
hgs
parents:
diff changeset
   433
			code = converterErrorCode;
hgs
parents:
diff changeset
   434
			parameters = converterErrorParameters;
hgs
parents:
diff changeset
   435
		} else {
hgs
parents:
diff changeset
   436
			code = TraceCompilerErrorCode.TRACE_DOES_NOT_EXIST;
hgs
parents:
diff changeset
   437
			parameters = null;
hgs
parents:
diff changeset
   438
			if (parserRule != null) {
hgs
parents:
diff changeset
   439
				code = parserRule.getLocationParser().checkLocationValidity(
hgs
parents:
diff changeset
   440
						this);
hgs
parents:
diff changeset
   441
			}
hgs
parents:
diff changeset
   442
		}
hgs
parents:
diff changeset
   443
		if (code != notifiedValidity) {
hgs
parents:
diff changeset
   444
			notifiedValidity = code;
hgs
parents:
diff changeset
   445
			notifiedValidityParameters = parameters;
hgs
parents:
diff changeset
   446
			Iterator<SourceLocationListener> itr = getListeners();
hgs
parents:
diff changeset
   447
			while (itr.hasNext()) {
hgs
parents:
diff changeset
   448
				SourceLocationListener listener = itr.next();
hgs
parents:
diff changeset
   449
				if (listener instanceof SourceLocationListener) {
hgs
parents:
diff changeset
   450
					((SourceLocationListener) listener)
hgs
parents:
diff changeset
   451
							.locationValidityChanged(this);
hgs
parents:
diff changeset
   452
				}
hgs
parents:
diff changeset
   453
			}
hgs
parents:
diff changeset
   454
		}
hgs
parents:
diff changeset
   455
	}
hgs
parents:
diff changeset
   456
hgs
parents:
diff changeset
   457
	/**
hgs
parents:
diff changeset
   458
	 * Sets the converter error code and runs the validity check to notify
hgs
parents:
diff changeset
   459
	 * listeners about change in error code
hgs
parents:
diff changeset
   460
	 * 
hgs
parents:
diff changeset
   461
	 * @param errorCode
hgs
parents:
diff changeset
   462
	 *            the new error code
hgs
parents:
diff changeset
   463
	 * @param parameters
hgs
parents:
diff changeset
   464
	 *            the error parameters
hgs
parents:
diff changeset
   465
	 */
hgs
parents:
diff changeset
   466
	void setConverterErrorCode(TraceCompilerErrorCode errorCode,
hgs
parents:
diff changeset
   467
			TraceCompilerErrorParameters parameters) {
hgs
parents:
diff changeset
   468
		converterErrorCode = errorCode;
hgs
parents:
diff changeset
   469
		converterErrorParameters = parameters;
hgs
parents:
diff changeset
   470
		runValidityCheck();
hgs
parents:
diff changeset
   471
	}
hgs
parents:
diff changeset
   472
hgs
parents:
diff changeset
   473
	/**
hgs
parents:
diff changeset
   474
	 * Flag, which determines if the location has changed since last convert
hgs
parents:
diff changeset
   475
	 * operation
hgs
parents:
diff changeset
   476
	 * 
hgs
parents:
diff changeset
   477
	 * @return the flag
hgs
parents:
diff changeset
   478
	 */
hgs
parents:
diff changeset
   479
	public boolean hasChangedAfterConvert() {
hgs
parents:
diff changeset
   480
		return changedAfterConvert;
hgs
parents:
diff changeset
   481
	}
hgs
parents:
diff changeset
   482
hgs
parents:
diff changeset
   483
	/**
hgs
parents:
diff changeset
   484
	 * Called when the location has been converted. Sets the changed after
hgs
parents:
diff changeset
   485
	 * convert flag to false
hgs
parents:
diff changeset
   486
	 */
hgs
parents:
diff changeset
   487
	public void locationConverted() {
hgs
parents:
diff changeset
   488
		changedAfterConvert = false;
hgs
parents:
diff changeset
   489
	}
hgs
parents:
diff changeset
   490
hgs
parents:
diff changeset
   491
}