libutap
0.93
Uppaal Timed Automata Parser
|
Help class used by the lexer, parser and xmlreader to keep track of the current position. More...
#include <libparser.h>
Static Public Member Functions | |
static void | reset () |
Resets position tracker to position 0. More... | |
static void | setPath (ParserBuilder *builder, std::string s) |
Sets the current path to s, offset to 0 and line to 1. More... | |
static int | increment (ParserBuilder *builder, int n) |
Sets the position of builder to [position, position + n) and increments position and offset by n. More... | |
static void | newline (ParserBuilder *builder, int n) |
Increments line by n and adds the position to builder. More... | |
Static Public Attributes | |
static uint32_t | line |
static uint32_t | offset |
static uint32_t | position = 0 |
static std::string | path |
Help class used by the lexer, parser and xmlreader to keep track of the current position.
Definition at line 58 of file libparser.h.
|
static |
Sets the position of builder to [position, position + n) and increments position and offset by n.
Definition at line 834 of file lexer.cc.
References UTAP::ParserBuilder::setPosition().
Referenced by UTAP::symbol().
|
static |
Increments line by n and adds the position to builder.
Definition at line 841 of file lexer.cc.
References UTAP::ParserBuilder::addPosition().
|
static |
Resets position tracker to position 0.
|
static |
Sets the current path to s, offset to 0 and line to 1.
Sets the position of builder to [position, position + 1) (a one character dummy position; this is useful when assigning error messages to XML elements without a text content). Adds position to builder and increments it by 1.
Definition at line 819 of file lexer.cc.
References UTAP::ParserBuilder::addPosition().
Referenced by UTAP::symbol().
|
static |
Definition at line 61 of file libparser.h.
|
static |
Definition at line 62 of file libparser.h.
|
static |
Definition at line 64 of file libparser.h.
|
static |
Definition at line 63 of file libparser.h.