UTAP::Constants Namespace Reference


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,
  A_UNTIL = 65, A_WEAKUNTIL = 66, EF2 = 67, EG2 = 68,
  AF2 = 69, AG2 = 70, AG_R = 71, EF_R = 72,
  CONTROL = 80, EF_CONTROL = 81, CONTROL_TOPT = 82, SUP = 83,
  INF = 84, 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, FORMULA = 614, RANGE = 650,
  LABEL = 651, RECORD = 652, REF = 654, URGENT = 655,
  COMMITTED = 656, BROADCAST = 657, TYPEDEF = 658, PROCESS = 659,
  PROCESSSET = 660, INSTANCE = 661, META = 662, FUNCTION = 663
}
enum  synchronisation_t { SYNC_QUE = 0, SYNC_BANG = 1 }


Enumeration Type Documentation

enum UTAP::Constants::kind_t

Enumerator:
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 
A_UNTIL 
A_WEAKUNTIL 
EF2 
EG2 
AF2 
AG2 
AG_R 
EF_R 
CONTROL 
EF_CONTROL 
CONTROL_TOPT 
SUP 
INF 
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 
FORMULA 
RANGE 
LABEL 
RECORD 
REF 
URGENT 
COMMITTED 
BROADCAST 
TYPEDEF 
PROCESS 
PROCESSSET 
INSTANCE 
META 
FUNCTION 

enum UTAP::Constants::synchronisation_t

Enumerator:
SYNC_QUE 
SYNC_BANG 


Generated on Thu Feb 22 14:46:53 2007 for libutap by  doxygen 1.4.7