parser.cc File Reference

#include "libparser.h"
#include "utap/position.h"
#include "lexer.cc"

Namespaces

namespace  std

Defines

#define YYBISON   1
#define YYBISON_VERSION   "2.3"
#define YYSKELETON_NAME   "yacc.c"
#define YYPURE   0
#define YYLSP_NEEDED   1
#define yyparse   utap_parse
#define yylex   utap_lex
#define yyerror   utap_error
#define yylval   utap_lval
#define yychar   utap_char
#define yydebug   utap_debug
#define yynerrs   utap_nerrs
#define yylloc   utap_lloc
#define T_ASSIGNMENT   258
#define T_ASSPLUS   259
#define T_ASSMINUS   260
#define T_ASSMULT   261
#define T_ASSDIV   262
#define T_ASSMOD   263
#define T_ASSOR   264
#define T_ASSAND   265
#define T_ASSXOR   266
#define T_ASSLSHIFT   267
#define T_ASSRSHIFT   268
#define T_EXCLAM   269
#define T_INCREMENT   270
#define T_DECREMENT   271
#define T_PLUS   272
#define T_MINUS   273
#define T_MULT   274
#define T_DIV   275
#define T_INF   276
#define T_SUP   277
#define T_MOD   278
#define T_OR   279
#define T_XOR   280
#define T_LSHIFT   281
#define T_RSHIFT   282
#define T_BOOL_AND   283
#define T_BOOL_OR   284
#define T_KW_AND   285
#define T_KW_OR   286
#define T_KW_IMPLY   287
#define T_KW_NOT   288
#define T_FORALL   289
#define T_EXISTS   290
#define T_LT   291
#define T_LEQ   292
#define T_EQ   293
#define T_NEQ   294
#define T_GEQ   295
#define T_GT   296
#define T_FOR   297
#define T_WHILE   298
#define T_DO   299
#define T_BREAK   300
#define T_CONTINUE   301
#define T_SWITCH   302
#define T_IF   303
#define T_ELSE   304
#define T_CASE   305
#define T_DEFAULT   306
#define T_RETURN   307
#define T_ASSERT   308
#define T_PRIORITY   309
#define T_TYPEDEF   310
#define T_STRUCT   311
#define T_CONST   312
#define T_OLDCONST   313
#define T_URGENT   314
#define T_BROADCAST   315
#define T_TRUE   316
#define T_FALSE   317
#define T_META   318
#define T_SYSTEM   319
#define T_PROCESS   320
#define T_STATE   321
#define T_COMMIT   322
#define T_INIT   323
#define T_TRANS   324
#define T_SELECT   325
#define T_GUARD   326
#define T_SYNC   327
#define T_ASSIGN   328
#define T_BEFORE   329
#define T_AFTER   330
#define T_PROGRESS   331
#define T_ARROW   332
#define T_UNCONTROL_ARROW   333
#define T_DEADLOCK   334
#define T_EF   335
#define T_EG   336
#define T_AF   337
#define T_AG   338
#define T_LEADSTO   339
#define T_RESULTSET   340
#define T_EF2   341
#define T_EG2   342
#define T_AF2   343
#define T_AG2   344
#define T_CONTROL   345
#define T_MIN_START   346
#define T_MAX_START   347
#define T_CONTROL_T   348
#define T_ERROR   349
#define T_ID   350
#define T_TYPENAME   351
#define T_NAT   352
#define T_BOOL   353
#define T_INT   354
#define T_CHAN   355
#define T_CLOCK   356
#define T_VOID   357
#define T_SCALAR   358
#define T_NEW   359
#define T_NEW_DECLARATION   360
#define T_NEW_LOCAL_DECL   361
#define T_NEW_INST   362
#define T_NEW_SYSTEM   363
#define T_NEW_PARAMETERS   364
#define T_NEW_INVARIANT   365
#define T_NEW_GUARD   366
#define T_NEW_SYNC   367
#define T_NEW_ASSIGN   368
#define T_NEW_SELECT   369
#define T_OLD   370
#define T_OLD_DECLARATION   371
#define T_OLD_LOCAL_DECL   372
#define T_OLD_INST   373
#define T_OLD_PARAMETERS   374
#define T_OLD_INVARIANT   375
#define T_OLD_GUARD   376
#define T_OLD_ASSIGN   377
#define T_PROPERTY   378
#define T_EXPRESSION   379
#define T_MAX   380
#define T_MIN   381
#define UOPERATOR   382
#define YYLLOC_DEFAULT(Current, Rhs, N)
#define YYLTYPE   position_t
#define YYERROR_VERBOSE   1
#define CALL(first, last, call)   do { ch->setPosition(first.start, last.end); try { ch->call; } catch (TypeException &te) { ch->handleError(te.what()); } } while (0)
#define YYDEBUG   0
#define YYERROR_VERBOSE   1
#define YYTOKEN_TABLE   0
#define yystype   YYSTYPE
#define YYSTYPE_IS_DECLARED   1
#define YYSTYPE_IS_TRIVIAL   1
#define YYSIZE_T   unsigned int
#define YYSIZE_MAXIMUM   ((YYSIZE_T) -1)
#define YY_(msgid)   msgid
#define YYUSE(e)   ((void) (e))
#define YYID(n)   (n)
#define YYSTACK_ALLOC   YYMALLOC
#define YYSTACK_FREE   YYFREE
#define YYSTACK_ALLOC_MAXIMUM   YYSIZE_MAXIMUM
#define YYMALLOC   malloc
#define YYFREE   free
#define YYSTACK_GAP_MAXIMUM   (sizeof (union yyalloc) - 1)
#define YYSTACK_BYTES(N)
#define YYCOPY(To, From, Count)
#define YYSTACK_RELOCATE(Stack)
#define YYFINAL   106
#define YYLAST   6445
#define YYNTOKENS   145
#define YYNNTS   152
#define YYNRULES   409
#define YYNSTATES   832
#define YYUNDEFTOK   2
#define YYMAXUTOK   382
#define YYTRANSLATE(YYX)   ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK)
#define YYPACT_NINF   -751
#define YYTABLE_NINF   -376
#define yyerrok   (yyerrstatus = 0)
#define yyclearin   (yychar = YYEMPTY)
#define YYEMPTY   (-2)
#define YYEOF   0
#define YYACCEPT   goto yyacceptlab
#define YYABORT   goto yyabortlab
#define YYERROR   goto yyerrorlab
#define YYFAIL   goto yyerrlab
#define YYRECOVERING()   (!!yyerrstatus)
#define YYBACKUP(Token, Value)
#define YYTERROR   1
#define YYERRCODE   256
#define YYRHSLOC(Rhs, K)   ((Rhs)[K])
#define YY_LOCATION_PRINT(File, Loc)   ((void) 0)
#define YYLEX   yylex ()
#define YYDPRINTF(Args)
#define YY_SYMBOL_PRINT(Title, Type, Value, Location)
#define YY_STACK_PRINT(Bottom, Top)
#define YY_REDUCE_PRINT(Rule)
#define YYINITDEPTH   200
#define YYMAXDEPTH   10000
#define YYPOPSTACK(N)   (yyvsp -= (N), yyssp -= (N), yylsp -= (N))

Typedefs

typedef unsigned char yytype_uint8
typedef short int yytype_int8
typedef unsigned short int yytype_uint16
typedef short int yytype_int16

Enumerations

enum  yytokentype {
  T_ASSIGNMENT = 258, T_ASSPLUS = 259, T_ASSMINUS = 260, T_ASSMULT = 261,
  T_ASSDIV = 262, T_ASSMOD = 263, T_ASSOR = 264, T_ASSAND = 265,
  T_ASSXOR = 266, T_ASSLSHIFT = 267, T_ASSRSHIFT = 268, T_EXCLAM = 269,
  T_INCREMENT = 270, T_DECREMENT = 271, T_PLUS = 272, T_MINUS = 273,
  T_MULT = 274, T_DIV = 275, T_INF = 276, T_SUP = 277,
  T_MOD = 278, T_OR = 279, T_XOR = 280, T_LSHIFT = 281,
  T_RSHIFT = 282, T_BOOL_AND = 283, T_BOOL_OR = 284, T_KW_AND = 285,
  T_KW_OR = 286, T_KW_IMPLY = 287, T_KW_NOT = 288, T_FORALL = 289,
  T_EXISTS = 290, T_LT = 291, T_LEQ = 292, T_EQ = 293,
  T_NEQ = 294, T_GEQ = 295, T_GT = 296, T_FOR = 297,
  T_WHILE = 298, T_DO = 299, T_BREAK = 300, T_CONTINUE = 301,
  T_SWITCH = 302, T_IF = 303, T_ELSE = 304, T_CASE = 305,
  T_DEFAULT = 306, T_RETURN = 307, T_ASSERT = 308, T_PRIORITY = 309,
  T_TYPEDEF = 310, T_STRUCT = 311, T_CONST = 312, T_OLDCONST = 313,
  T_URGENT = 314, T_BROADCAST = 315, T_TRUE = 316, T_FALSE = 317,
  T_META = 318, T_SYSTEM = 319, T_PROCESS = 320, T_STATE = 321,
  T_COMMIT = 322, T_INIT = 323, T_TRANS = 324, T_SELECT = 325,
  T_GUARD = 326, T_SYNC = 327, T_ASSIGN = 328, T_BEFORE = 329,
  T_AFTER = 330, T_PROGRESS = 331, T_ARROW = 332, T_UNCONTROL_ARROW = 333,
  T_DEADLOCK = 334, T_EF = 335, T_EG = 336, T_AF = 337,
  T_AG = 338, T_LEADSTO = 339, T_RESULTSET = 340, T_EF2 = 341,
  T_EG2 = 342, T_AF2 = 343, T_AG2 = 344, T_CONTROL = 345,
  T_MIN_START = 346, T_MAX_START = 347, T_CONTROL_T = 348, T_ERROR = 349,
  T_ID = 350, T_TYPENAME = 351, T_NAT = 352, T_BOOL = 353,
  T_INT = 354, T_CHAN = 355, T_CLOCK = 356, T_VOID = 357,
  T_SCALAR = 358, T_NEW = 359, T_NEW_DECLARATION = 360, T_NEW_LOCAL_DECL = 361,
  T_NEW_INST = 362, T_NEW_SYSTEM = 363, T_NEW_PARAMETERS = 364, T_NEW_INVARIANT = 365,
  T_NEW_GUARD = 366, T_NEW_SYNC = 367, T_NEW_ASSIGN = 368, T_NEW_SELECT = 369,
  T_OLD = 370, T_OLD_DECLARATION = 371, T_OLD_LOCAL_DECL = 372, T_OLD_INST = 373,
  T_OLD_PARAMETERS = 374, T_OLD_INVARIANT = 375, T_OLD_GUARD = 376, T_OLD_ASSIGN = 377,
  T_PROPERTY = 378, T_EXPRESSION = 379, T_MAX = 380, T_MIN = 381,
  UOPERATOR = 382
}

Functions

static void utap_error (const char *msg)
static int lexer_flex ()
static int utap_lex ()
static YYSIZE_T yystrlen (yystr) const char *yystr
int yyparse ()
static void setStartToken (xta_part_t part, bool newxta)
static int32_t parseXTA (ParserBuilder *aParserBuilder, bool newxta, xta_part_t part, std::string xpath)
static int32_t parseProperty (ParserBuilder *aParserBuilder, bool ssql)
int32_t parseXTA (const char *str, ParserBuilder *builder, bool newxta, xta_part_t part, std::string xpath)
int32_t parseXTA (const char *str, ParserBuilder *builder, bool newxta)
int32_t parseXTA (FILE *file, ParserBuilder *builder, bool newxta)
 Parse a file in the XTA format, reporting the system to the given implementation of the the ParserBuilder interface and reporting errors to the ErrorHandler.
int32_t parseProperty (const char *str, ParserBuilder *aParserBuilder, bool ssql)
 Parse properties from a buffer.
int32_t parseProperty (FILE *file, ParserBuilder *aParserBuilder, bool ssql)
 Parse properties from a file.

Variables

static ParserBuilderch
static syntax_t syntax
static int syntax_token = 0
static char rootTransId [MAXLEN]
static int types = 0
static const yytype_uint8 yytranslate []
static const char *const yytname []
static const yytype_uint16 yyr1 []
static const yytype_uint8 yyr2 []
static const yytype_uint16 yydefact []
static const yytype_int16 yydefgoto []
static const yytype_int16 yypact []
static const yytype_int16 yypgoto []
static const yytype_int16 yytable []
static const yytype_int16 yycheck []
static const yytype_uint16 yystos []
const char * yysrc
int yytype
YYSTYPE * yyvaluep
YYLTYPE * yylocationp
int yychar
YYSTYPE yylval
int yynerrs
YYLTYPE yylloc

Define Documentation

#define CALL ( first,
last,
call   )     do { ch->setPosition(first.start, last.end); try { ch->call; } catch (TypeException &te) { ch->handleError(te.what()); } } while (0)

#define T_AF   337

#define T_AF2   343

#define T_AFTER   330

#define T_AG   338

#define T_AG2   344

#define T_ARROW   332

#define T_ASSAND   265

#define T_ASSDIV   262

#define T_ASSERT   308

#define T_ASSIGN   328

#define T_ASSIGNMENT   258

#define T_ASSLSHIFT   267

#define T_ASSMINUS   260

#define T_ASSMOD   263

#define T_ASSMULT   261

#define T_ASSOR   264

#define T_ASSPLUS   259

#define T_ASSRSHIFT   268

#define T_ASSXOR   266

#define T_BEFORE   329

#define T_BOOL   353

#define T_BOOL_AND   283

#define T_BOOL_OR   284

#define T_BREAK   300

#define T_BROADCAST   315

#define T_CASE   305

#define T_CHAN   355

#define T_CLOCK   356

#define T_COMMIT   322

#define T_CONST   312

#define T_CONTINUE   301

#define T_CONTROL   345

#define T_CONTROL_T   348

#define T_DEADLOCK   334

#define T_DECREMENT   271

#define T_DEFAULT   306

#define T_DIV   275

#define T_DO   299

#define T_EF   335

#define T_EF2   341

#define T_EG   336

#define T_EG2   342

#define T_ELSE   304

#define T_EQ   293

#define T_ERROR   349

#define T_EXCLAM   269

#define T_EXISTS   290

#define T_EXPRESSION   379

#define T_FALSE   317

#define T_FOR   297

#define T_FORALL   289

#define T_GEQ   295

#define T_GT   296

#define T_GUARD   326

#define T_ID   350

#define T_IF   303

#define T_INCREMENT   270

#define T_INF   276

#define T_INIT   323

#define T_INT   354

#define T_KW_AND   285

#define T_KW_IMPLY   287

#define T_KW_NOT   288

#define T_KW_OR   286

#define T_LEADSTO   339

#define T_LEQ   292

#define T_LSHIFT   281

#define T_LT   291

#define T_MAX   380

#define T_MAX_START   347

#define T_META   318

#define T_MIN   381

#define T_MIN_START   346

#define T_MINUS   273

#define T_MOD   278

#define T_MULT   274

#define T_NAT   352

#define T_NEQ   294

#define T_NEW   359

#define T_NEW_ASSIGN   368

#define T_NEW_DECLARATION   360

#define T_NEW_GUARD   366

#define T_NEW_INST   362

#define T_NEW_INVARIANT   365

#define T_NEW_LOCAL_DECL   361

#define T_NEW_PARAMETERS   364

#define T_NEW_SELECT   369

#define T_NEW_SYNC   367

#define T_NEW_SYSTEM   363

#define T_OLD   370

#define T_OLD_ASSIGN   377

#define T_OLD_DECLARATION   371

#define T_OLD_GUARD   376

#define T_OLD_INST   373

#define T_OLD_INVARIANT   375

#define T_OLD_LOCAL_DECL   372

#define T_OLD_PARAMETERS   374

#define T_OLDCONST   313

#define T_OR   279

#define T_PLUS   272

#define T_PRIORITY   309

#define T_PROCESS   320

#define T_PROGRESS   331

#define T_PROPERTY   378

#define T_RESULTSET   340

#define T_RETURN   307

#define T_RSHIFT   282

#define T_SCALAR   358

#define T_SELECT   325

#define T_STATE   321

#define T_STRUCT   311

#define T_SUP   277

#define T_SWITCH   302

#define T_SYNC   327

#define T_SYSTEM   319

#define T_TRANS   324

#define T_TRUE   316

#define T_TYPEDEF   310

#define T_TYPENAME   351

#define T_UNCONTROL_ARROW   333

#define T_URGENT   314

#define T_VOID   357

#define T_WHILE   298

#define T_XOR   280

#define UOPERATOR   382

#define YY_ ( msgid   )     msgid

#define YY_LOCATION_PRINT ( File,
Loc   )     ((void) 0)

#define YY_REDUCE_PRINT ( Rule   ) 

#define YY_STACK_PRINT ( Bottom,
Top   ) 

#define YY_SYMBOL_PRINT ( Title,
Type,
Value,
Location   ) 

#define YYABORT   goto yyabortlab

#define YYACCEPT   goto yyacceptlab

#define YYBACKUP ( Token,
Value   ) 

Value:

do                                                              \
  if (yychar == YYEMPTY && yylen == 1)                          \
    {                                                           \
      yychar = (Token);                                         \
      yylval = (Value);                                         \
      yytoken = YYTRANSLATE (yychar);                           \
      YYPOPSTACK (1);                                           \
      goto yybackup;                                            \
    }                                                           \
  else                                                          \
    {                                                           \
      yyerror (YY_("syntax error: cannot back up")); \
      YYERROR;                                                  \
    }                                                           \
while (YYID (0))

#define YYBISON   1

#define YYBISON_VERSION   "2.3"

#define yychar   utap_char

#define yyclearin   (yychar = YYEMPTY)

#define YYCOPY ( To,
From,
Count   ) 

Value:

do                                      \
        {                                       \
          YYSIZE_T yyi;                         \
          for (yyi = 0; yyi < (Count); yyi++)   \
            (To)[yyi] = (From)[yyi];            \
        }                                       \
      while (YYID (0))

#define YYDEBUG   0

#define yydebug   utap_debug

#define YYDPRINTF ( Args   ) 

#define YYEMPTY   (-2)

#define YYEOF   0

#define YYERRCODE   256

#define yyerrok   (yyerrstatus = 0)

#define YYERROR   goto yyerrorlab

#define yyerror   utap_error

#define YYERROR_VERBOSE   1

#define YYERROR_VERBOSE   1

#define YYFAIL   goto yyerrlab

#define YYFINAL   106

#define YYFREE   free

#define YYID (  )     (n)

#define YYINITDEPTH   200

#define YYLAST   6445

#define YYLEX   yylex ()

#define yylex   utap_lex

#define yylloc   utap_lloc

#define YYLLOC_DEFAULT ( Current,
Rhs,
 ) 

Value:

do                                                                      \
      if (N)                                                            \
        {                                                               \
          (Current).start        = YYRHSLOC (Rhs, 1).start;             \
          (Current).end          = YYRHSLOC (Rhs, N).end;               \
        }                                                               \
      else                                                              \
        {                                                               \
          (Current).start        = (Current).end   =                    \
            YYRHSLOC (Rhs, 0).end;                                      \
        }                                                               \
    while (0)

#define YYLSP_NEEDED   1

#define YYLTYPE   position_t

#define yylval   utap_lval

#define YYMALLOC   malloc

#define YYMAXDEPTH   10000

#define YYMAXUTOK   382

#define yynerrs   utap_nerrs

#define YYNNTS   152

#define YYNRULES   409

#define YYNSTATES   832

#define YYNTOKENS   145

#define YYPACT_NINF   -751

#define yyparse   utap_parse

#define YYPOPSTACK (  )     (yyvsp -= (N), yyssp -= (N), yylsp -= (N))

#define YYPURE   0

 
#define YYRECOVERING (  )     (!!yyerrstatus)

#define YYRHSLOC ( Rhs,
 )     ((Rhs)[K])

#define YYSIZE_MAXIMUM   ((YYSIZE_T) -1)

#define YYSIZE_T   unsigned int

#define YYSKELETON_NAME   "yacc.c"

#define YYSTACK_ALLOC   YYMALLOC

#define YYSTACK_ALLOC_MAXIMUM   YYSIZE_MAXIMUM

#define YYSTACK_BYTES (  ) 

Value:

((N) * (sizeof (yytype_int16) + sizeof (YYSTYPE) + sizeof (YYLTYPE)) \
      + 2 * YYSTACK_GAP_MAXIMUM)

#define YYSTACK_FREE   YYFREE

#define YYSTACK_GAP_MAXIMUM   (sizeof (union yyalloc) - 1)

#define YYSTACK_RELOCATE ( Stack   ) 

Value:

do                                                                      \
      {                                                                 \
        YYSIZE_T yynewbytes;                                            \
        YYCOPY (&yyptr->Stack, Stack, yysize);                          \
        Stack = &yyptr->Stack;                                          \
        yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \
        yyptr += yynewbytes / sizeof (*yyptr);                          \
      }                                                                 \
    while (YYID (0))

#define yystype   YYSTYPE

#define YYSTYPE_IS_DECLARED   1

#define YYSTYPE_IS_TRIVIAL   1

#define YYTABLE_NINF   -376

#define YYTERROR   1

#define YYTOKEN_TABLE   0

#define YYTRANSLATE ( YYX   )     ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK)

#define YYUNDEFTOK   2

#define YYUSE (  )     ((void) (e))


Typedef Documentation

typedef short int yytype_int16

typedef short int yytype_int8

typedef unsigned short int yytype_uint16

typedef unsigned char yytype_uint8


Enumeration Type Documentation

enum yytokentype

Enumerator:
T_ASSIGNMENT 
T_ASSPLUS 
T_ASSMINUS 
T_ASSMULT 
T_ASSDIV 
T_ASSMOD 
T_ASSOR 
T_ASSAND 
T_ASSXOR 
T_ASSLSHIFT 
T_ASSRSHIFT 
T_EXCLAM 
T_INCREMENT 
T_DECREMENT 
T_PLUS 
T_MINUS 
T_MULT 
T_DIV 
T_INF 
T_SUP 
T_MOD 
T_OR 
T_XOR 
T_LSHIFT 
T_RSHIFT 
T_BOOL_AND 
T_BOOL_OR 
T_KW_AND 
T_KW_OR 
T_KW_IMPLY 
T_KW_NOT 
T_FORALL 
T_EXISTS 
T_LT 
T_LEQ 
T_EQ 
T_NEQ 
T_GEQ 
T_GT 
T_FOR 
T_WHILE 
T_DO 
T_BREAK 
T_CONTINUE 
T_SWITCH 
T_IF 
T_ELSE 
T_CASE 
T_DEFAULT 
T_RETURN 
T_ASSERT 
T_PRIORITY 
T_TYPEDEF 
T_STRUCT 
T_CONST 
T_OLDCONST 
T_URGENT 
T_BROADCAST 
T_TRUE 
T_FALSE 
T_META 
T_SYSTEM 
T_PROCESS 
T_STATE 
T_COMMIT 
T_INIT 
T_TRANS 
T_SELECT 
T_GUARD 
T_SYNC 
T_ASSIGN 
T_BEFORE 
T_AFTER 
T_PROGRESS 
T_ARROW 
T_UNCONTROL_ARROW 
T_DEADLOCK 
T_EF 
T_EG 
T_AF 
T_AG 
T_LEADSTO 
T_RESULTSET 
T_EF2 
T_EG2 
T_AF2 
T_AG2 
T_CONTROL 
T_MIN_START 
T_MAX_START 
T_CONTROL_T 
T_ERROR 
T_ID 
T_TYPENAME 
T_NAT 
T_BOOL 
T_INT 
T_CHAN 
T_CLOCK 
T_VOID 
T_SCALAR 
T_NEW 
T_NEW_DECLARATION 
T_NEW_LOCAL_DECL 
T_NEW_INST 
T_NEW_SYSTEM 
T_NEW_PARAMETERS 
T_NEW_INVARIANT 
T_NEW_GUARD 
T_NEW_SYNC 
T_NEW_ASSIGN 
T_NEW_SELECT 
T_OLD 
T_OLD_DECLARATION 
T_OLD_LOCAL_DECL 
T_OLD_INST 
T_OLD_PARAMETERS 
T_OLD_INVARIANT 
T_OLD_GUARD 
T_OLD_ASSIGN 
T_PROPERTY 
T_EXPRESSION 
T_MAX 
T_MIN 
UOPERATOR 


Function Documentation

static int lexer_flex (  )  [static]

int32_t parseProperty ( FILE *  ,
UTAP::ParserBuilder aParserBuilder,
bool  ssql = false 
)

Parse properties from a file.

The properties are reported using the given ParserBuilder and errors are reported using the ErrorHandler. State space queries can be enabled by passing 'true' for the 'ssql' parameter.

int32_t parseProperty ( const char *  str,
UTAP::ParserBuilder aParserBuilder,
bool  ssql = false 
)

Parse properties from a buffer.

The properties are reported using the given ParserBuilder and errors are reported using the ErrorHandler. State space queries can be enabled by passing 'true' for the 'ssql' parameter.

static int32_t parseProperty ( ParserBuilder aParserBuilder,
bool  ssql 
) [static]

int32_t parseXTA ( FILE *  ,
UTAP::ParserBuilder ,
bool  newxta 
)

Parse a file in the XTA format, reporting the system to the given implementation of the the ParserBuilder interface and reporting errors to the ErrorHandler.

If newxta is true, then the 4.x syntax is used; otherwise the 3.x syntax is used. On success, this function returns with a positive value.

int32_t parseXTA ( const char *  str,
ParserBuilder builder,
bool  newxta 
)

int32_t parseXTA ( const char *  str,
ParserBuilder builder,
bool  newxta,
xta_part_t  part,
std::string  xpath 
)

static int32_t parseXTA ( ParserBuilder aParserBuilder,
bool  newxta,
xta_part_t  part,
std::string  xpath 
) [static]

static void setStartToken ( xta_part_t  part,
bool  newxta 
) [static]

static void utap_error ( const char *  msg  )  [static]

static int utap_lex (  )  [static]

int yyparse (  ) 

static YYSIZE_T yystrlen ( yystr   )  const [static]


Variable Documentation

ParserBuilder* ch [static]

char rootTransId[MAXLEN] [static]

syntax_t syntax [static]

int syntax_token = 0 [static]

int types = 0 [static]

int yychar

const yytype_int16 yycheck[] [static]

const yytype_uint16 yydefact[] [static]

const yytype_int16 yydefgoto[] [static]

Initial value:

{
      -1,    22,    24,    92,   114,   530,   253,   115,   116,   356,
     432,   357,   358,   117,   241,   349,   248,   434,    25,   118,
     119,   120,   490,   351,    42,    43,   215,   249,   250,   364,
     492,   556,   557,   558,   262,   263,   378,   532,   122,   342,
     343,   419,   216,    84,    73,   256,   257,   370,   371,   440,
      45,   125,   484,   521,    27,   553,   594,   595,   612,   667,
     693,   694,   758,   759,   730,   774,   775,   772,    86,   787,
     778,    78,   796,   571,   613,   614,   646,   643,   589,   629,
     479,   549,   590,   765,   733,   655,   620,   658,   707,   741,
     757,   738,   739,   782,   781,   769,   783,    80,   591,   305,
     306,   293,   535,   536,   154,    75,   204,    76,   392,    87,
      88,   217,   317,   399,   400,   461,   218,   516,   546,   511,
     464,   469,   405,    95,    96,   223,   225,    97,   222,   327,
     509,   510,   543,   569,   570,    99,   649,   678,   679,   746,
     718,   764,   763,   101,   103,   104,   332,   333,   236,   237,
     339,   416
}

YYLTYPE yylloc

YYLTYPE* yylocationp

YYSTYPE yylval

int yynerrs

const yytype_int16 yypact[] [static]

const yytype_int16 yypgoto[] [static]

Initial value:

{
    -751,  -751,   605,   525,   -57,  -751,  -751,   406,  -751,  -751,
    -751,    32,  -751,  -751,  -751,  -751,  -751,  -751,   232,  -751,
    -751,   -11,  -751,   376,  -224,   495,   -20,  -751,   271,  -751,
    -751,  -471,  -751,    33,  -116,  -751,  -472,  -751,   -18,  -751,
     219,  -751,    90,    94,   207,   370,  -225,  -751,   208,  -751,
    -751,  -751,  -751,  -751,   157,  -751,  -751,    12,    56,  -751,
    -751,   -61,  -751,  -751,  -751,  -751,  -751,  -712,  -117,  -741,
    -750,  -122,  -721,   103,  -751,  -751,  -751,  -751,  -751,  -751,
    -468,  -509,  -601,  -751,  -751,  -751,  -751,  -751,  -751,  -751,
    -751,  -751,   -81,  -751,  -751,  -751,  -751,   -15,    -7,  -751,
    -751,  -751,  -751,  -751,   225,  -751,  -751,  -751,   130,  -751,
     648,   -77,  -751,  -751,   200,  -751,  -751,  -751,  -751,  -751,
    -751,  -751,  -751,   263,   438,  -751,  -751,   441,  -751,  -751,
    -436,   654,  -751,  -751,    64,    68,  -751,  -751,   -31,  -751,
    -751,  -751,   -80,   -65,  -751,  -751,   281,   454,  -143,  -751,
    -751,  -751
}

const yytype_uint16 yyr1[] [static]

const yytype_uint8 yyr2[] [static]

const char* yysrc

const yytype_uint16 yystos[] [static]

const yytype_int16 yytable[] [static]

const char* const yytname[] [static]

const yytype_uint8 yytranslate[] [static]

int yytype

YYSTYPE* yyvaluep


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