1 /*******************************************************************************
2 * Copyright (c) 2014 Ecole Polytechnique
4 * All rights reserved. This program and the accompanying materials are
5 * made available under the terms of the Eclipse Public License v1.0 which
6 * accompanies this distribution, and is available at
7 * http://www.eclipse.org/legal/epl-v10.html
10 * Florian Wininger - Initial implementation
11 ******************************************************************************/
13 package org
.eclipse
.tracecompass
.tmf
.analysis
.xml
.core
.stateprovider
;
15 import org
.eclipse
.jdt
.annotation
.NonNullByDefault
;
18 * This file defines all name in the XML Structure for the State Provider
20 * @author Florian Wininger
21 * @noimplement This interface only contains static defines
23 @SuppressWarnings({ "javadoc", "nls" })
25 public interface TmfXmlStrings
{
27 /* XML generic Element attribute names */
28 String VALUE
= "value";
30 String VERSION
= "version";
33 /* XML header element */
35 String TRACETYPE
= "traceType";
37 String LABEL
= "label";
38 String ANALYSIS
= "analysis";
42 String WILDCARD
= "*";
43 String VARIABLE_PREFIX
= "$";
44 String COLOR
= "color";
45 String COLOR_PREFIX
= "#";
47 /* XML Element Name */
48 String STATE_PROVIDER
= "stateProvider";
49 String DEFINED_VALUE
= "definedValue";
50 String LOCATION
= "location";
51 String EVENT_HANDLER
= "eventHandler";
52 String STATE_ATTRIBUTE
= "stateAttribute";
53 String STATE_VALUE
= "stateValue";
54 String STATE_CHANGE
= "stateChange";
55 String ELEMENT_FIELD
= "field";
57 /* XML Condition strings */
59 String CONDITION
= "condition";
63 /* XML event handler strings */
64 String HANDLER_EVENT_NAME
= "eventName";
66 /* XML constant for Type of Attribute and Value */
67 String TYPE_NULL
= "null";
68 String TYPE_CONSTANT
= "constant";
69 String EVENT_FIELD
= "eventField";
70 String TYPE_LOCATION
= "location";
71 String TYPE_QUERY
= "query";
72 String TYPE_SELF
= "self";
73 String TYPE_INT
= "int";
74 String TYPE_LONG
= "long";
76 String TYPE_DOUBLE
= "double";
77 String TYPE_STRING
= "string";
78 String TYPE_EVENT_NAME
= "eventName";
79 String TYPE_DELETE
= "delete";
80 String INCREMENT
= "increment";
81 String FORCED_TYPE
= "forcedType";
82 String ATTRIBUTE_STACK
= "stack";
83 String STACK_POP
= "pop";
84 String STACK_PUSH
= "push";
85 String STACK_PEEK
= "peek";
88 String TIMESTAMP
= "timestamp";
95 String OPERATOR
= "operator";
97 /* Comparison/Condition operator types */
105 /* XML pattern elements */
109 String PATTERN
= "pattern";
114 String STORED_FIELD
= "storedField";
119 String STORED_FIELDS
= "storedFields";
124 String PATTERN_HANDLER
= "patternHandler";
126 /* XML synthetic event elements */
130 String SEGMENT_NAME
= "segName";
134 String SEGMENT
= "segment";
138 String SEGMENT_TYPE
= "segType";
142 String SEGMENT_CONTENT
= "segContent";
146 String SEGMENT_FIELD
= "segField";
151 String INITIAL
= "initial";
155 String TEST
= "test";
159 String ACTION
= "action";
167 String STATE
= "state";
171 String EVENT_INFO
= "eventInfo";
175 String TIME_INFO
= "timeInfo";
179 String EVENT
= "event";
183 String CONSTANT_PREFIX
= "#";
187 String FSM_SCHEDULE_ACTION
= "fsmScheduleAction";
191 String MULTIPLE
= "multiple";
195 String PRECONDITION
= "precondition";
199 String COND
= "cond";
203 String FINAL
= "final";
207 String ABANDON_STATE
= "abandonState";
211 String STATE_TABLE
= "stateTable";
215 String STATE_DEFINITION
= "stateDefinition";
219 String EMPTY_STRING
= "";
223 String TRANSITION
= "transition";
227 String TARGET
= "target";
231 String SAVE_STORED_FIELDS
= "saveStoredFields";
235 String CLEAR_STORED_FIELDS
= "clearStoredFields";
239 String TIME_RANGE
= "timerange";
243 String ELAPSED_TIME
= "elapsedTime";
263 String UNIT
= "unit";
275 String BEGIN
= "begin";
283 String LESS
= "less";
287 String EQUAL
= "equal";
291 String MORE
= "more";
295 String SINCE
= "since";
303 String SCENARIOS
= "scenarios";
307 String ONENTRY
= "onentry";
311 String ONEXIT
= "onexit";
315 String OR_SEPARATOR
= "\\|";
319 String AND_SEPARATOR
= ":";
323 String ALIAS
= "alias";
327 String ABANDON
= "abandon";