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
.module
;
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
24 @SuppressWarnings({ "javadoc", "nls" })
26 public interface TmfXmlStrings
{
28 /* XML generic Element attribute names */
29 String VALUE
= "value";
31 String VERSION
= "version";
34 /* XML header element */
36 String TRACETYPE
= "traceType";
38 String LABEL
= "label";
39 String ANALYSIS
= "analysis";
43 String WILDCARD
= "*";
44 String VARIABLE_PREFIX
= "$";
45 String COLOR
= "color";
46 String COLOR_PREFIX
= "#";
48 /* XML Element Name */
49 String STATE_PROVIDER
= "stateProvider";
50 String DEFINED_VALUE
= "definedValue";
51 String LOCATION
= "location";
52 String EVENT_HANDLER
= "eventHandler";
53 String STATE_ATTRIBUTE
= "stateAttribute";
54 String STATE_VALUE
= "stateValue";
55 String STATE_CHANGE
= "stateChange";
56 String ELEMENT_FIELD
= "field";
58 /* XML Condition strings */
60 String CONDITION
= "condition";
64 /* XML event handler strings */
65 String HANDLER_EVENT_NAME
= "eventName";
67 /* XML constant for Type of Attribute and Value */
68 String TYPE_NULL
= "null";
69 String TYPE_CONSTANT
= "constant";
70 String EVENT_FIELD
= "eventField";
71 String TYPE_LOCATION
= "location";
72 String TYPE_QUERY
= "query";
73 String TYPE_SELF
= "self";
74 String TYPE_INT
= "int";
75 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 UPDATE
= "update";
82 String FORCED_TYPE
= "forcedType";
83 String ATTRIBUTE_STACK
= "stack";
84 String STACK_POP
= "pop";
85 String STACK_PUSH
= "push";
86 String STACK_PEEK
= "peek";
88 String HOSTID
= "hostId";
90 String TIMESTAMP
= "timestamp";
97 String OPERATOR
= "operator";
99 /* Comparison/Condition operator types */
107 /* XML pattern elements */
108 String PATTERN
= "pattern";
110 String STORED_FIELD
= "storedField";
111 String STORED_FIELDS
= "storedFields";
113 String PATTERN_HANDLER
= "patternHandler";
115 /* XML synthetic event elements */
116 String SEGMENT_NAME
= "segName";
117 String SEGMENT
= "segment";
118 String SEGMENT_TYPE
= "segType";
119 String SEGMENT_CONTENT
= "segContent";
120 String SEGMENT_FIELD
= "segField";
122 String INITIAL
= "initial";
123 String TEST
= "test";
124 String ACTION
= "action";
126 String STATE
= "state";
127 String EVENT_INFO
= "eventInfo";
128 String TIME_INFO
= "timeInfo";
129 String EVENT
= "event";
130 String CONSTANT_PREFIX
= "#";
131 String FSM_SCHEDULE_ACTION
= "fsmScheduleAction";
132 String MULTIPLE
= "multiple";
133 String PRECONDITION
= "precondition";
134 String COND
= "cond";
135 String FINAL
= "final";
136 String ABANDON_STATE
= "abandonState";
137 String STATE_TABLE
= "stateTable";
138 String STATE_DEFINITION
= "stateDefinition";
139 String EMPTY_STRING
= "";
140 String TRANSITION
= "transition";
141 String TARGET
= "target";
142 String SAVE_STORED_FIELDS
= "saveStoredFields";
143 String CLEAR_STORED_FIELDS
= "clearStoredFields";
145 /* Time conditions */
146 String TIME_RANGE
= "timerange";
147 String ELAPSED_TIME
= "elapsedTime";
152 String UNIT
= "unit";
155 String BEGIN
= "begin";
157 String LESS
= "less";
158 String EQUAL
= "equal";
159 String MORE
= "more";
160 String SINCE
= "since";
163 String SCENARIOS
= "scenarios";
164 String ONENTRY
= "onentry";
165 String ONEXIT
= "onexit";
166 String OR_SEPARATOR
= "\\|";
167 String AND_SEPARATOR
= ":";
168 String ALIAS
= "alias";
169 String ABANDON
= "abandon";
170 String CONSUMING
= "consuming";
171 String MAPPING_GROUP
= "mappingGroup";
172 String ENTRY
= "entry";
173 String INITIAL_STATE
= "initialState";