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
.internal
.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";
75 String TYPE_DOUBLE
= "double";
76 String TYPE_STRING
= "string";
77 String TYPE_EVENT_NAME
= "eventName";
78 String TYPE_DELETE
= "delete";
79 String INCREMENT
= "increment";
80 String UPDATE
= "update";
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 */
106 String PATTERN
= "pattern";
108 String STORED_FIELD
= "storedField";
109 String STORED_FIELDS
= "storedFields";
111 String PATTERN_HANDLER
= "patternHandler";
113 /* XML synthetic event elements */
114 String SEGMENT_NAME
= "segName";
115 String SEGMENT
= "segment";
116 String SEGMENT_TYPE
= "segType";
117 String SEGMENT_CONTENT
= "segContent";
118 String SEGMENT_FIELD
= "segField";
120 String INITIAL
= "initial";
121 String TEST
= "test";
122 String ACTION
= "action";
124 String STATE
= "state";
125 String EVENT_INFO
= "eventInfo";
126 String TIME_INFO
= "timeInfo";
127 String EVENT
= "event";
128 String CONSTANT_PREFIX
= "#";
129 String FSM_SCHEDULE_ACTION
= "fsmScheduleAction";
130 String MULTIPLE
= "multiple";
131 String PRECONDITION
= "precondition";
132 String COND
= "cond";
133 String FINAL
= "final";
134 String ABANDON_STATE
= "abandonState";
135 String STATE_TABLE
= "stateTable";
136 String STATE_DEFINITION
= "stateDefinition";
137 String EMPTY_STRING
= "";
138 String TRANSITION
= "transition";
139 String TARGET
= "target";
140 String SAVE_STORED_FIELDS
= "saveStoredFields";
141 String CLEAR_STORED_FIELDS
= "clearStoredFields";
143 /* Time conditions */
144 String TIME_RANGE
= "timerange";
145 String ELAPSED_TIME
= "elapsedTime";
150 String UNIT
= "unit";
153 String BEGIN
= "begin";
155 String LESS
= "less";
156 String EQUAL
= "equal";
157 String MORE
= "more";
158 String SINCE
= "since";
161 String SCENARIOS
= "scenarios";
162 String ONENTRY
= "onentry";
163 String ONEXIT
= "onexit";
164 String OR_SEPARATOR
= "\\|";
165 String AND_SEPARATOR
= ":";
166 String ALIAS
= "alias";
167 String ABANDON
= "abandon";
168 String CONSUMING
= "consuming";