Main Page | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

common.h File Reference

#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...


Enumeration Type Documentation

enum UTAP::Constants::kind_t
 

Enumeration values:
PLUS 
MINUS 
MULT 
DIV 
MOD 
BIT_AND 
BIT_OR 
BIT_XOR 
BIT_LSHIFT 
BIT_RSHIFT 
AND 
OR 
MIN 
MAX 
RATE 
LT 
LE 
EQ 
NEQ 
GE 
GT 
NOT 
FORALL 
EXISTS 
ASSIGN 
ASSPLUS 
ASSMINUS 
ASSDIV 
ASSMOD 
ASSMULT 
ASSAND 
ASSOR 
ASSXOR 
ASSLSHIFT 
ASSRSHIFT 
EF 
EG 
AF 
AG 
LEADSTO 
IDENTIFIER 
CONSTANT 
ARRAY 
POSTINCREMENT 
PREINCREMENT 
POSTDECREMENT 
PREDECREMENT 
UNARY_MINUS 
LIST 
DOT 
INLINEIF 
COMMA 
SYNC 
DEADLOCK 
FUNCALL 
UNKNOWN 
VOID_TYPE 
CLOCK 
INT 
BOOL 
SCALAR 
LOCATION 
CHANNEL 
COST 
INVARIANT 
INVARIANT_WR 
GUARD 
DIFF 
CONSTRAINT 
RANGE 
LABEL 
RECORD 
REF 
URGENT 
COMMITTED 
WINNING 
LOSING 
BROADCAST 
TYPEDEF 
PROCESS 
PROCESSSET 
INSTANCE 
META 
FUNCTION 

enum UTAP::Constants::synchronisation_t
 

Enumeration values:
SYNC_QUE 
SYNC_BANG 

enum UTAP::xta_part_t
 

Type for specifying which XTA part to parse (syntax switch).

Enumeration values:
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 


Generated on Sat Apr 29 21:02:14 2006 for libutap by  doxygen 1.4.2