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  UTAP::Constants::kind_t {
  UTAP::Constants::PLUS = 0, UTAP::Constants::MINUS = 1, UTAP::Constants::MULT = 2, UTAP::Constants::DIV = 3,
  UTAP::Constants::MOD = 4, UTAP::Constants::BIT_AND = 5, UTAP::Constants::BIT_OR = 6, UTAP::Constants::BIT_XOR = 7,
  UTAP::Constants::BIT_LSHIFT = 8, UTAP::Constants::BIT_RSHIFT = 9, UTAP::Constants::AND = 10, UTAP::Constants::OR = 11,
  UTAP::Constants::MIN = 12, UTAP::Constants::MAX = 13, UTAP::Constants::RATE = 14, UTAP::Constants::LT = 20,
  UTAP::Constants::LE = 21, UTAP::Constants::EQ = 22, UTAP::Constants::NEQ = 23, UTAP::Constants::GE = 24,
  UTAP::Constants::GT = 25, UTAP::Constants::NOT = 30, UTAP::Constants::FORALL = 31, UTAP::Constants::EXISTS = 32,
  UTAP::Constants::ASSIGN = 40, UTAP::Constants::ASSPLUS = 41, UTAP::Constants::ASSMINUS = 42, UTAP::Constants::ASSDIV = 43,
  UTAP::Constants::ASSMOD = 44, UTAP::Constants::ASSMULT = 45, UTAP::Constants::ASSAND = 46, UTAP::Constants::ASSOR = 47,
  UTAP::Constants::ASSXOR = 48, UTAP::Constants::ASSLSHIFT = 49, UTAP::Constants::ASSRSHIFT = 50, UTAP::Constants::EF = 60,
  UTAP::Constants::EG = 61, UTAP::Constants::AF = 62, UTAP::Constants::AG = 63, UTAP::Constants::LEADSTO = 64,
  UTAP::Constants::A_UNTIL = 65, UTAP::Constants::A_WEAKUNTIL = 66, UTAP::Constants::EF2 = 67, UTAP::Constants::EG2 = 68,
  UTAP::Constants::AF2 = 69, UTAP::Constants::AG2 = 70, UTAP::Constants::AG_R = 71, UTAP::Constants::EF_R = 72,
  UTAP::Constants::CONTROL = 80, UTAP::Constants::EF_CONTROL = 81, UTAP::Constants::CONTROL_TOPT = 82, UTAP::Constants::SUP = 83,
  UTAP::Constants::INF = 84, UTAP::Constants::IDENTIFIER = 512, UTAP::Constants::CONSTANT = 513, UTAP::Constants::ARRAY = 514,
  UTAP::Constants::POSTINCREMENT = 515, UTAP::Constants::PREINCREMENT = 516, UTAP::Constants::POSTDECREMENT = 517, UTAP::Constants::PREDECREMENT = 518,
  UTAP::Constants::UNARY_MINUS = 519, UTAP::Constants::LIST = 520, UTAP::Constants::DOT = 521, UTAP::Constants::INLINEIF = 522,
  UTAP::Constants::COMMA = 523, UTAP::Constants::SYNC = 525, UTAP::Constants::DEADLOCK = 526, UTAP::Constants::FUNCALL = 527,
  UTAP::Constants::UNKNOWN = 600, UTAP::Constants::VOID_TYPE = 601, UTAP::Constants::CLOCK = 602, UTAP::Constants::INT = 603,
  UTAP::Constants::BOOL = 604, UTAP::Constants::SCALAR = 605, UTAP::Constants::LOCATION = 606, UTAP::Constants::CHANNEL = 607,
  UTAP::Constants::COST = 608, UTAP::Constants::INVARIANT = 609, UTAP::Constants::INVARIANT_WR = 610, UTAP::Constants::GUARD = 611,
  UTAP::Constants::DIFF = 612, UTAP::Constants::CONSTRAINT = 613, UTAP::Constants::FORMULA = 614, UTAP::Constants::RANGE = 650,
  UTAP::Constants::LABEL = 651, UTAP::Constants::RECORD = 652, UTAP::Constants::REF = 654, UTAP::Constants::URGENT = 655,
  UTAP::Constants::COMMITTED = 656, UTAP::Constants::BROADCAST = 657, UTAP::Constants::TYPEDEF = 658, UTAP::Constants::PROCESS = 659,
  UTAP::Constants::PROCESSSET = 660, UTAP::Constants::INSTANCE = 661, UTAP::Constants::META = 662, UTAP::Constants::FUNCTION = 663
}
enum  UTAP::Constants::synchronisation_t { UTAP::Constants::SYNC_QUE = 0, UTAP::Constants::SYNC_BANG = 1 }
enum  UTAP::xta_part_t {
  UTAP::S_XTA, UTAP::S_DECLARATION, UTAP::S_LOCAL_DECL, UTAP::S_INST,
  UTAP::S_SYSTEM, UTAP::S_PARAMETERS, UTAP::S_INVARIANT, UTAP::S_SELECT,
  UTAP::S_GUARD, UTAP::S_SYNC, UTAP::S_ASSIGN, UTAP::S_EXPRESSION,
  UTAP::S_PROPERTY
}
 Type for specifying which XTA part to parse (syntax switch). More...


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