#include <inttypes.h>
#include <string>
#include <vector>
Go to the source code of this file.
Namespaces | |
namespace | UTAP |
namespace | UTAP::Constants |
Enumerations | |
enum | kind_t { PLUS = 0, MINUS = 1, MULT = 2, DIV = 3, MOD = 4, BIT_AND = 5, BIT_OR = 6, BIT_XOR = 7, BIT_LSHIFT = 8, BIT_RSHIFT = 9, AND = 10, OR = 11, MIN = 12, MAX = 13, RATE = 14, LT = 20, LE = 21, EQ = 22, NEQ = 23, GE = 24, GT = 25, NOT = 30, FORALL = 31, EXISTS = 32, ASSIGN = 40, ASSPLUS = 41, ASSMINUS = 42, ASSDIV = 43, ASSMOD = 44, ASSMULT = 45, ASSAND = 46, ASSOR = 47, ASSXOR = 48, ASSLSHIFT = 49, ASSRSHIFT = 50, EF = 60, EG = 61, AF = 62, AG = 63, LEADSTO = 64, IDENTIFIER = 512, CONSTANT = 513, ARRAY = 514, POSTINCREMENT = 515, PREINCREMENT = 516, POSTDECREMENT = 517, PREDECREMENT = 518, UNARY_MINUS = 519, LIST = 520, DOT = 521, INLINEIF = 522, COMMA = 523, SYNC = 525, DEADLOCK = 526, FUNCALL = 527, UNKNOWN = 600, VOID_TYPE = 601, CLOCK = 602, INT = 603, BOOL = 604, SCALAR = 605, LOCATION = 606, CHANNEL = 607, COST = 608, INVARIANT = 609, INVARIANT_WR = 610, GUARD = 611, DIFF = 612, CONSTRAINT = 613, RANGE = 650, LABEL = 651, RECORD = 652, REF = 654, URGENT = 655, COMMITTED = 656, WINNING = 657, LOSING = 658, BROADCAST = 659, TYPEDEF = 661, PROCESS = 662, PROCESSSET = 663, INSTANCE = 665, META = 667, FUNCTION = 668 } |
enum | synchronisation_t { SYNC_QUE = 0, SYNC_BANG = 1 } |
enum | xta_part_t { S_XTA, S_DECLARATION, S_LOCAL_DECL, S_INST, S_SYSTEM, S_PARAMETERS, S_INVARIANT, S_SELECT, S_GUARD, S_SYNC, S_ASSIGN, S_EXPRESSION, S_PROPERTY } |
Type for specifying which XTA part to parse (syntax switch). More... |
|
|
|
|
Type for specifying which XTA part to parse (syntax switch).
|