22 #ifndef UTAP_SYSTEMBUILDER_H
23 #define UTAP_SYSTEMBUILDER_H
120 virtual void procBegin(
const char* name,
const bool isTA =
true,
121 const std::string type =
"",
const std::string mode =
"");
123 virtual void procState(
const char* name,
bool hasInvariant,
bool hasER);
128 virtual void procEdgeBegin(
const char* from,
const char* to,
const bool control,
const char* actname);
129 virtual void procEdgeEnd(
const char* from = 0,
const char* to = 0);
137 const char *,
size_t,
const char *,
size_t);
138 virtual void process(
const char*);
149 virtual void instanceName(
const char* name,
bool templ=
true);
152 virtual void procMessage(
const char* from,
const char* to,
const int loc,
const bool pch);
154 virtual void procCondition(
const std::vector<char*> anchors,
const int loc,
155 const bool pch,
const bool hot);
157 virtual void procLscUpdate(
const char* anchor,
const int loc,
const bool pch);
162 virtual void declIO(
const char*,
int,
int);
166 virtual void queryFormula(
const char* formula,
const char* location);
virtual void procEdgeBegin(const char *from, const char *to, const bool control, const char *actname)
Definition: systembuilder.cpp:305
virtual void declIO(const char *, int, int)
Definition: systembuilder.cpp:799
virtual void done()
Definition: systembuilder.cpp:495
virtual void defaultChanPriority()
Definition: systembuilder.cpp:527
virtual void procLscUpdate()
Definition: systembuilder.cpp:764
virtual void ganttEntryStart()
Definition: systembuilder.cpp:139
virtual void queryFormula(const char *formula, const char *location)
Definition: systembuilder.cpp:838
virtual void procStateUrgent(const char *name)
Definition: systembuilder.cpp:269
iodecl_t * currentIODecl
Definition: systembuilder.h:93
Information about a condition.
Definition: system.h:200
virtual void procState(const char *name, bool hasInvariant, bool hasER)
Add a state to the current template.
Definition: systembuilder.cpp:236
virtual void queryComment(const char *comment)
Definition: systembuilder.cpp:847
#define comment
Definition: lexer.cc:623
SystemBuilder(TimedAutomataSystem *)
Definition: systembuilder.cpp:45
message_t * currentMessage
The message under construction.
Definition: systembuilder.h:88
virtual void declDynamicTemplate(std::string)
Dynamic.
Definition: systembuilder.cpp:814
virtual void beforeUpdate()
Definition: systembuilder.cpp:499
virtual void ganttEntrySelect(const char *id)
Definition: systembuilder.cpp:144
virtual void instantiationBegin(const char *, size_t, const char *)
Definition: systembuilder.cpp:374
virtual void ganttDeclEnd()
Definition: systembuilder.cpp:130
Information about a message.
Definition: system.h:187
This class constructs a TimedAutomataSystem.
Definition: systembuilder.h:69
virtual void procEdgeEnd(const char *from=0, const char *to=0)
Definition: systembuilder.cpp:332
virtual void exprSync(Constants::synchronisation_t type)
Definition: systembuilder.cpp:776
A reference to a frame.
Definition: symbols.h:183
virtual void addChanPriority(char separator)
Definition: systembuilder.cpp:521
declarations_t * getCurrentDeclarationBlock()
Definition: systembuilder.cpp:80
virtual bool addFunction(type_t type, const char *name)
Definition: systembuilder.cpp:75
virtual void incProcPriority()
Definition: systembuilder.cpp:532
void addSelectSymbolToFrame(const char *name, frame_t &)
Definition: systembuilder.cpp:85
virtual void beginChanPriority()
Definition: systembuilder.cpp:515
virtual void afterUpdate()
Definition: systembuilder.cpp:505
virtual void procBranchpoint(const char *name)
Definition: systembuilder.cpp:287
void declHybridRec(expression_t)
virtual void queryBegin()
Verification queries.
Definition: systembuilder.cpp:835
virtual void ganttEntryEnd()
Definition: systembuilder.cpp:149
synchronisation_t
Definition: common.h:263
virtual void procInstanceLine()
Adds an instance line to the current template.
Definition: systembuilder.cpp:554
A reference to an expression.
Definition: expression.h:68
virtual void procStateCommit(const char *name)
Definition: systembuilder.cpp:252
virtual void procSelect(const char *id)
Definition: systembuilder.cpp:337
virtual void procEnd()
Definition: systembuilder.cpp:225
Information about an edge.
Definition: system.h:84
virtual void ganttDeclSelect(const char *id)
Definition: systembuilder.cpp:125
virtual void procCondition()
Definition: systembuilder.cpp:740
virtual variable_t * addVariable(type_t type, const char *name, expression_t init)
Definition: systembuilder.cpp:62
virtual void procUpdate()
Definition: systembuilder.cpp:354
virtual void hasPrechart(const bool pch)
Definition: systembuilder.cpp:771
Base type for variables, clocks, etc.
Definition: system.h:42
instanceLine_t * currentInstanceLine
The instance line under construction.
Definition: systembuilder.h:91
int32_t currentProcPriority
The current process priority level.
Definition: systembuilder.h:73
virtual void instanceNameEnd(const char *name, size_t arguments)
Definition: systembuilder.cpp:604
virtual void instanceName(const char *name, bool templ=true)
templ is true if the name of the instance contains parameters like "Train(1)".
Definition: systembuilder.cpp:567
condition_t * currentCondition
The condition under construction.
Definition: systembuilder.h:82
query_t * currentQuery
Definition: systembuilder.h:95
update_t * currentUpdate
The update under construction.
Definition: systembuilder.h:85
virtual void declProgress(bool)
Guard progress measure declaration.
Definition: systembuilder.cpp:163
Information about an instance line.
Definition: system.h:348
A reference to a type.
Definition: type.h:92
virtual void procProb()
Definition: systembuilder.cpp:361
edge_t * currentEdge
The edge under construction.
Definition: systembuilder.h:76
virtual void instantiationEnd(const char *, size_t, const char *, size_t)
Definition: systembuilder.cpp:402
virtual void queryEnd()
Definition: systembuilder.cpp:853
Partial implementation of the builder interface, useful for building something with statements that i...
Definition: statementbuilder.h:38
virtual void procBegin(const char *name, const bool isTA=true, const std::string type="", const std::string mode="")
Definition: systembuilder.cpp:179
virtual void procMessage(const char *from, const char *to, const int loc, const bool pch)
Add a message to the current template.
Definition: systembuilder.cpp:683
Gantt chart entry.
Definition: system.h:147
virtual void procSync(Constants::synchronisation_t type)
Definition: systembuilder.cpp:348
virtual void procGuard()
Definition: systembuilder.cpp:342
virtual void procStateInit(const char *name)
Definition: systembuilder.cpp:292
virtual void process(const char *)
Definition: systembuilder.cpp:471
virtual void procPriority(const char *)
Definition: systembuilder.cpp:537
virtual void ganttDeclStart(const char *name)
Definition: systembuilder.cpp:119
gantt_t * currentGantt
The gantt map under construction.
Definition: systembuilder.h:79
Information about an update.
Definition: system.h:214
virtual void processListEnd()
Definition: systembuilder.cpp:491
virtual void instanceNameBegin(const char *name)
Definition: systembuilder.cpp:594