libutap
common.h
Go to the documentation of this file.
1 // -*- mode: C++; c-file-style: "stroustrup"; c-basic-offset: 4; indent-tabs-mode: nil; -*-
2 
3 /* libutap - Uppaal Timed Automata Parser.
4  Copyright (C) 2002-2006 Uppsala University and Aalborg University.
5 
6  This library is free software; you can redistribute it and/or
7  modify it under the terms of the GNU Lesser General Public License
8  as published by the Free Software Foundation; either version 2.1 of
9  the License, or (at your option) any later version.
10 
11  This library is distributed in the hope that it will be useful, but
12  WITHOUT ANY WARRANTY; without even the implied warranty of
13  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14  Lesser General Public License for more details.
15 
16  You should have received a copy of the GNU Lesser General Public
17  License along with this library; if not, write to the Free Software
18  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
19  USA
20 */
21 
22 #ifndef UTAP_COMMON_HH
23 #define UTAP_COMMON_HH
24 
25 #ifdef __MINGW32__
26 #include <stdint.h>
27 #else
28 #include <inttypes.h>
29 #endif
30 #include <string>
31 #include <vector>
32 
33 namespace UTAP
34 {
35  namespace Constants
36  {
37  enum kind_t
38  {
42  DIV,
43  MOD,
49  AND,
50  OR,
51  XOR,
52  MIN,
53  MAX,
56 
57  /********************************************************
58  * Relational operators
59  */
60  LT,
61  LE,
62  EQ,
63  NEQ,
64  GE,
65  GT,
66 
67  /********************************************************
68  * TIGA operators in properties.
69  */
77 
78  /********************************************************
79  * Unary operators
80  */
81  NOT,
84  SUM,
85 
86  /********************************************************
87  * Built-in functions
88  */
100 
101  /********************************************************
102  * Assignment operators
103  */
115 
116  /*******************************************************
117  * CTL Quantifiers
118  */
119  EF,
120  EG,
121  AF,
122  AG,
140 
141  /*******************************************************
142  * Control Synthesis Operator
143  */
156 
157  /*******************************************************
158  * Get supremum or infimum of variables/clocks
159  */
161 
162  /*******************************************************
163  * Verify a LSC scenario
164  */
165  SCENARIO, //identifier of the LSC instance
166  SCENARIO2, //scenario property of size 2 "obsTA.lmin --> obsTA.lmax"
167 
168  /*******************************************************
169  * Additional constants used by ExpressionProgram's and
170  * the TypeCheckBuilder (but not by the parser, although
171  * some of then ought to be used, FIXME).
172  */
188 
189  /*******************************************************
190  * Types
191  */
211  //LSC
216 
228  INSTANCE, // TA template (instantiated or not)
231  LSCINSTANCE, // LSC template (instantiated or not)
232 
233 
234  /******************************************************
235  * MITL Extension
236  */
246  /*Dynamic */
257 
258  };
259 
260  /**********************************************************
261  * Synchronisations:
262  */
264  {
268  };
269  }
270 
272  typedef enum
273  {
274  S_XTA, // entire system
279  } xta_part_t;
280 
281 }
282 
283 #endif
Definition: common.h:198
Definition: common.h:241
Definition: common.h:209
Definition: common.h:256
Definition: common.h:185
Definition: common.h:44
Definition: common.h:84
Definition: common.h:107
Definition: common.h:136
Definition: common.h:99
Definition: common.h:278
Definition: common.h:206
Definition: common.h:152
Definition: common.h:231
Definition: common.h:240
Definition: common.h:254
Definition: common.h:276
Definition: common.h:230
Definition: common.h:250
Definition: common.h:275
Definition: common.h:90
Definition: common.h:181
Definition: common.h:242
Definition: common.h:229
Definition: common.h:70
Definition: common.h:43
Definition: common.h:138
Definition: common.h:275
Definition: common.h:177
Definition: common.h:196
xta_part_t
Type for specifying which XTA part to parse (syntax switch)
Definition: common.h:272
Definition: common.h:74
Definition: common.h:89
Definition: common.h:277
Definition: common.h:226
Definition: common.h:208
Definition: common.h:274
Definition: common.h:53
Definition: common.h:39
Definition: common.h:237
Definition: common.h:277
Definition: common.h:125
Definition: common.h:195
Definition: common.h:131
Definition: common.h:124
Definition: common.h:222
Definition: common.h:137
Definition: common.h:266
Definition: common.h:46
Definition: common.h:63
Definition: common.h:227
Definition: common.h:239
Definition: common.h:76
Definition: lexer.cc:585
Definition: common.h:65
Definition: common.h:47
Definition: common.h:149
Definition: common.h:112
Definition: common.h:108
Definition: common.h:220
Definition: common.h:139
Definition: common.h:154
Definition: common.h:144
kind_t
Definition: common.h:37
Definition: common.h:249
Definition: common.h:183
Definition: common.h:210
Definition: common.h:135
Definition: common.h:267
Definition: common.h:175
Definition: common.h:251
Definition: common.h:276
Definition: common.h:199
Definition: common.h:104
Definition: common.h:42
Definition: common.h:182
Definition: common.h:160
Definition: common.h:277
Definition: common.h:204
Definition: common.h:252
Definition: common.h:151
Definition: common.h:82
Definition: common.h:148
Definition: common.h:127
Definition: common.h:81
Definition: common.h:276
Definition: common.h:255
Definition: common.h:197
Definition: common.h:276
Definition: common.h:253
Definition: common.h:145
Definition: common.h:132
Definition: common.h:150
Definition: common.h:45
Definition: common.h:186
Definition: common.h:50
Definition: common.h:119
Definition: common.h:62
synchronisation_t
Definition: common.h:263
Definition: common.h:73
Definition: common.h:176
Definition: common.h:184
Definition: common.h:91
Definition: common.h:106
Definition: common.h:179
Definition: common.h:215
Definition: common.h:51
Definition: common.h:60
Definition: common.h:228
Definition: common.h:72
Definition: common.h:48
Definition: common.h:54
Definition: common.h:207
Definition: common.h:129
Definition: common.h:96
Definition: common.h:223
Definition: common.h:265
Definition: common.h:114
Definition: common.h:278
Definition: common.h:247
Definition: common.h:178
Definition: common.h:105
Definition: common.h:110
Definition: common.h:219
Definition: common.h:153
Definition: common.h:244
Definition: common.h:75
Definition: common.h:93
Definition: common.h:109
Definition: common.h:166
Definition: common.h:278
Definition: common.h:120
Definition: common.h:214
Definition: common.h:248
Definition: common.h:155
Definition: common.h:133
Definition: common.h:275
Definition: common.h:200
Definition: common.h:221
Definition: common.h:194
Definition: common.h:98
Definition: common.h:128
Definition: common.h:126
Definition: common.h:64
Definition: common.h:225
Definition: common.h:217
Definition: common.h:243
Definition: common.h:111
Definition: common.h:49
Definition: common.h:61
Definition: common.h:165
Definition: common.h:94
Definition: common.h:52
Definition: common.h:276
Definition: common.h:83
Definition: common.h:278
Definition: common.h:202
Definition: common.h:276
Definition: common.h:224
Definition: common.h:278
Definition: common.h:212
Definition: common.h:41
Definition: common.h:174
Definition: common.h:277
Definition: common.h:213
Definition: common.h:55
Definition: common.h:160
Definition: common.h:201
Definition: common.h:97
Definition: common.h:275
Definition: common.h:134
Definition: common.h:95
Definition: common.h:187
Definition: common.h:122
Definition: common.h:146
Definition: common.h:218
Definition: common.h:245
Definition: common.h:180
Definition: common.h:130
Definition: common.h:123
Definition: common.h:71
Definition: common.h:92
Definition: common.h:192
Definition: common.h:147
Definition: common.h:193
Definition: common.h:203
Definition: common.h:173
Definition: common.h:275
Definition: common.h:113
Definition: common.h:238
Definition: common.h:205
Definition: common.h:121
Definition: common.h:40