libutap
|
Namespaces | |
Constants | |
Classes | |
class | AbstractBuilder |
class | AbstractStatementVisitor |
class | AssertStatement |
class | BlockStatement |
struct | branchpoint_t |
Information about a branchpoint. More... | |
class | BreakStatement |
class | CaseStatement |
struct | chan_priority_t |
Channel priority information. More... | |
class | CollectChangesVisitor |
class | CollectDependenciesVisitor |
class | CollectDynamicExpressions |
struct | compare_simregion |
class | CompileTimeComputableValues |
Visitor which collects all compile time computable symbols. More... | |
struct | condition_t |
Information about a condition. More... | |
class | ContinueStatement |
struct | cut_t |
struct | declarations_t |
class | DefaultStatement |
class | DistanceCalculator |
DistanceCalculator is used in TargetFirst heuristic search order of Uppaal. More... | |
class | DoWhileStatement |
struct | edge_t |
Information about an edge. More... | |
class | EmptyStatement |
struct | error_t |
class | expression_t |
A reference to an expression. More... | |
class | ExpressionBuilder |
Partial implementation of the builder interface: The ExpressionBuilder implements all expression related methods. More... | |
class | ExpressionVisitor |
class | ExprStatement |
class | ForStatement |
class | frame_t |
A reference to a frame. More... | |
struct | function_t |
Information about a function. More... | |
struct | gantt_t |
Gantt chart entry. More... | |
struct | ganttmap_t |
Gantt map bool expr -> int expr that can be expanded. More... | |
class | IfStatement |
struct | instance_t |
Partial instance of a template. More... | |
struct | instanceLine_t |
Information about an instance line. More... | |
struct | iodecl_t |
class | IterationStatement |
Statement class for the iterator loop-construction. More... | |
struct | message_t |
Information about a message. More... | |
class | NoParentException |
class | NotSupportedException |
class | ParserBuilder |
The ParserBuilder interface is used by the parser to output the parsed system. More... | |
class | Partitioner |
Partitions the system into environment and IUT according to TRON assumptions. More... | |
struct | position_t |
class | Positions |
A container for information about lines and positions in the input file. More... | |
class | PositionTracker |
Help class used by the lexer, parser and xmlreader to keep track of the current position. More... | |
class | PrettyPrinter |
struct | |
print – template for pretty printing lists. More... | |
struct | progress_t |
struct | query_t |
class | range_t |
An integer range. More... | |
class | ReturnStatement |
class | SBMLConverter |
class | SignalFlow |
Class SignalFlow is for analysing UPPAAL specifications and extracting the timed automata input/output "interface" information which can be treated as a data flow or entity-relationship map of the system. More... | |
struct | simregion_t |
struct | state_t |
Information about a location. More... | |
class | Statement |
class | StatementBuilder |
Partial implementation of the builder interface, useful for building something with statements that is not a UTAP system. More... | |
class | StatementVisitor |
class | SwitchStatement |
class | symbol_t |
A reference to a symbol. More... | |
class | SystemBuilder |
This class constructs a TimedAutomataSystem. More... | |
class | SystemVisitor |
struct | template_t |
class | TimedAutomataSystem |
class | type_t |
A reference to a type. More... | |
class | TypeChecker |
A visitor which type checks the system it visits. More... | |
class | TypeException |
Exception indicating a type error. More... | |
struct | update_t |
Information about an update. More... | |
struct | variable_t |
Base type for variables, clocks, etc. More... | |
class | WhileStatement |
class | XMLWriter |
Typedefs | |
typedef std::vector< query_t > | queries_t |
Enumerations | |
enum | xta_part_t { S_XTA, S_DECLARATION, S_LOCAL_DECL, S_INST, S_SYSTEM, S_PARAMETERS, S_INVARIANT, S_EXPONENTIALRATE, S_SELECT, S_GUARD, S_SYNC, S_ASSIGN, S_EXPRESSION, S_EXPRESSION_LIST, S_PROPERTY, S_XTA_PROCESS, S_PROBABILITY, S_INSTANCELINE, S_MESSAGE, S_UPDATE, S_CONDITION } |
Type for specifying which XTA part to parse (syntax switch) More... | |
enum | tag_t { TAG_NTA, TAG_IMPORTS, TAG_DECLARATION, TAG_TEMPLATE, TAG_INSTANTIATION, TAG_SYSTEM, TAG_NAME, TAG_PARAMETER, TAG_LOCATION, TAG_INIT, TAG_TRANSITION, TAG_URGENT, TAG_COMMITTED, TAG_BRANCHPOINT, TAG_SOURCE, TAG_TARGET, TAG_LABEL, TAG_NAIL, TAG_NONE, TAG_PROJECT, TAG_LSC, TAG_TYPE, TAG_MODE, TAG_ROLE, TAG_YLOCCOORD, TAG_LSCLOCATION, TAG_PRECHART, TAG_INSTANCE, TAG_TEMPERATURE, TAG_MESSAGE, TAG_CONDITION, TAG_UPDATE, TAG_ANCHOR, TAG_SBML, TAG_QUERIES, TAG_QUERY, TAG_FORMULA, TAG_COMMENT } |
Enumeration type for tags. More... | |
Functions | |
std::ostream & | operator<< (std::ostream &os, const SignalFlow::strs_t &s) |
std::ostream & | operator<< (std::ostream &os, const SignalFlow::procs_t &ps) |
xmlChar * | ConvertInput (const char *in, const char *encoding) |
ConvertInput: : string in a given encoding : the encoding used. More... | |
std::string | concat (std::string s, int i) |
concatenates a string and an int More... | |
std::string | concatDouble (std::string s, double i) |
concatenates a string and a double More... | |
static bool | isempty (string str) |
Returns TRUE if string is zero length or contains only white spaces otherwise FALSE. More... | |
static bool | isAlpha (unsigned char c) |
static bool | isIdChr (unsigned char c) |
static string | symbol (const char *str) |
Extracts the alpha-numerical symbol used for variable/type identifiers. More... | |
typedef std::vector<query_t> UTAP::queries_t |
enum UTAP::tag_t |
Enumeration type for tags.
We use gperf to generate a perfect hash function to map tag strings to one of these tags.
enum UTAP::xta_part_t |
Type for specifying which XTA part to parse (syntax switch)
std::string UTAP::concat | ( | std::string | s, |
int | i | ||
) |
concatenates a string and an int
Referenced by UTAP::XMLWriter::init(), UTAP::XMLWriter::label(), UTAP::XMLWriter::nail(), UTAP::XMLWriter::name(), UTAP::XMLWriter::source(), UTAP::XMLWriter::target(), and UTAP::XMLWriter::writeStateAttributes().
std::string UTAP::concatDouble | ( | std::string | s, |
double | i | ||
) |
concatenates a string and a double
xmlChar * UTAP::ConvertInput | ( | const char * | in, |
const char * | encoding | ||
) |
ConvertInput: : string in a given encoding : the encoding used.
Converts into UTF-8 for processing with libxml2 APIs
Returns the converted UTF-8 string, or NULL in case of error.
Referenced by UTAP::XMLWriter::label().
|
static |
Referenced by symbol().
|
static |
Returns TRUE if string is zero length or contains only white spaces otherwise FALSE.
|
static |
Referenced by symbol().
|
inline |
|
inline |
|
static |
Extracts the alpha-numerical symbol used for variable/type identifiers.
Identifier starts with alpha and further might contain digits, white spaces are ignored.
Throws a TypeException is identifier is invalid or a newly allocated string to be destroyed with delete [].
References isAlpha(), and isIdChr().
Referenced by UTAP::frame_t::addSymbol(), UTAP::expression_t::collectPossibleReads(), UTAP::expression_t::collectPossibleWrites(), UTAP::expression_t::createIdentifier(), UTAP::ExpressionBuilder::exprForAllBegin(), UTAP::frame_t::moveTo(), UTAP::SystemBuilder::process(), UTAP::SystemBuilder::procPriority(), UTAP::frame_t::remove(), and UTAP::TypeChecker::visitBlockStatement().