libutap
abstractbuilder.h
Go to the documentation of this file.
1 // -*- mode: C++; c-file-style: "stroustrup"; c-basic-offset: 4; indent-tabs-mode: nil; -*-
2 
3 /* libutap - Uppaal Timed Automata Parser.
4  Copyright (C) 2002-2003 Uppsala University and Aalborg University.
5 
6  This library is free software; you can redistribute it and/or
7  modify it under the terms of the GNU Lesser General Public License
8  as published by the Free Software Foundation; either version 2.1 of
9  the License, or (at your option) any later version.
10 
11  This library is distributed in the hope that it will be useful, but
12  WITHOUT ANY WARRANTY; without even the implied warranty of
13  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14  Lesser General Public License for more details.
15 
16  You should have received a copy of the GNU Lesser General Public
17  License along with this library; if not, write to the Free Software
18  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
19  USA
20 */
21 
22 #ifndef UTAP_ABSTRACTBUILDER_HH
23 #define UTAP_ABSTRACTBUILDER_HH
24 
25 #include <exception>
26 #include <string>
27 #include <vector>
28 
29 #include "utap/builder.h"
30 #include "utap/utap.h"
31 #include "utap/position.h"
32 
33 namespace UTAP
34 {
35  class NotSupportedException : public std::exception
36  {
37  private:
38  std::string error;
39  public:
40  NotSupportedException(const char *err) { error = err; }
41  virtual ~NotSupportedException() throw() {}
42  virtual const char* what() const throw() { return error.c_str(); }
43  };
44 
46  {
47  protected:
49  public:
51 
52  virtual void setPosition(uint32_t, uint32_t);
53 
54  /************************************************************
55  * Query functions
56  */
57  virtual bool isType(const char*);
58 
59  /************************************************************
60  * Types
61  */
62  virtual void typeDuplicate();
63  virtual void typePop();
64  virtual void typeBool(PREFIX);
65  virtual void typeInt(PREFIX);
66  virtual void typeDouble(PREFIX);
67  virtual void typeBoundedInt(PREFIX);
68  virtual void typeChannel(PREFIX);
69  virtual void typeClock(PREFIX);
70  virtual void typeVoid();
71  virtual void typeScalar(PREFIX);
72  virtual void typeName(PREFIX, const char* name);
73  virtual void typeStruct(PREFIX, uint32_t fields);
74  virtual void typeArrayOfSize(size_t);
75  virtual void typeArrayOfType(size_t);
76  virtual void structField(const char* name);
77  virtual void declTypeDef(const char* name);
78 
79  /************************************************************
80  * Variable declarations
81  */
82  virtual void declVar(const char* name, bool init);
83  virtual void declInitialiserList(uint32_t num); // n initialisers
84  virtual void declFieldInit(const char* name); // 1 initialiser
85 
86  /********************************************************************
87  * Gantt chart declaration
88  */
89  virtual void ganttDeclStart(const char* name);
90  virtual void ganttDeclSelect(const char *id);
91  virtual void ganttDeclEnd();
92  virtual void ganttEntryStart();
93  virtual void ganttEntrySelect(const char *id);
94  virtual void ganttEntryEnd();
95 
96  /************************************************************
97  * Progress measure declarations
98  */
99  virtual void declProgress(bool);
100 
101  /************************************************************
102  * Function declarations
103  */
104  virtual void declParameter(const char* name, bool);
105  virtual void declFuncBegin(const char* name); // n paramaters
106  virtual void declFuncEnd(); // 1 block
107 
108  /************************************************************
109  * Process declarations
110  */
111  virtual void procBegin(const char* name, const bool isTA = true,
112  const std::string type = "", const std::string mode = "");
113  virtual void procEnd(); // 1 ProcBody
114  virtual void procState(const char* name, bool hasInvariant, bool hasER); // 1 expr
115  virtual void procStateCommit(const char* name); // mark previously decl. state
116  virtual void procStateUrgent(const char* name); // mark previously decl. state
117  virtual void procStateInit(const char* name); // mark previously decl. state
118  virtual void procBranchpoint(const char* name);
119  virtual void procEdgeBegin(const char* from, const char* to, const bool control, const char* actname);
120  virtual void procEdgeEnd(const char* from, const char* to);
121  // 1 epxr,1sync,1expr
122  virtual void procSelect(const char *id);
123  virtual void procGuard();
124  virtual void procSync(Constants::synchronisation_t type); // 1 expr
125  virtual void procUpdate();
126  virtual void procProb();
127  /************************************************************
128  * Process declarations for LSC
129  */
130  virtual void procInstanceLine();
131  virtual void instanceName(const char* name, bool templ=true);
132  virtual void instanceNameBegin(const char *name);
133  virtual void instanceNameEnd(const char *name, size_t arguments);
134  virtual void procMessage(const char* from, const char* to, const int loc, const bool pch);
135  virtual void procMessage(Constants::synchronisation_t type); // 1 expr
136  virtual void procCondition(const std::vector<char*> anchors, const int loc,
137  const bool pch, const bool hot);
138  virtual void procCondition(); // Label
139  virtual void procLscUpdate(const char* anchor, const int loc, const bool pch);
140  virtual void procLscUpdate(); // Label
141  virtual void hasPrechart(const bool pch);
142 
143  /************************************************************
144  * Statements
145  */
146  virtual void blockBegin();
147  virtual void blockEnd();
148  virtual void emptyStatement();
149  virtual void forBegin(); // 3 expr
150  virtual void forEnd(); // 1 stat
151  virtual void iterationBegin(const char *name); // 1 id, 1 type
152  virtual void iterationEnd(const char *name); // 1 stat
153  virtual void whileBegin();
154  virtual void whileEnd(); // 1 expr, 1 stat
155  virtual void doWhileBegin();
156  virtual void doWhileEnd(); // 1 stat, 1 expr
157  virtual void ifBegin();
158  virtual void ifElse();
159  virtual void ifEnd(bool); // 1 expr, 1 or 2 statements
160  virtual void breakStatement();
161  virtual void continueStatement();
162  virtual void switchBegin();
163  virtual void switchEnd(); // 1 expr, 1+ case/default
164  virtual void caseBegin();
165  virtual void caseEnd(); // 1 expr, 0+ stat
166  virtual void defaultBegin();
167  virtual void defaultEnd(); // 0+ statements
168  virtual void exprStatement(); // 1 expr
169  virtual void returnStatement(bool); // 1 expr if argument is true
170  virtual void assertStatement();
171 
172  /************************************************************
173  * Expressions
174  */
175  virtual void exprTrue();
176  virtual void exprFalse();
177  virtual void exprDouble(double);
178  virtual void exprId(const char * varName);
179  virtual void exprNat(int32_t); // natural number
180  virtual void exprCallBegin();
181  virtual void exprCallEnd(uint32_t n); // n exprs as arguments
182  virtual void exprArray(); // 2 expr
183  virtual void exprPostIncrement(); // 1 expr
184  virtual void exprPreIncrement(); // 1 expr
185  virtual void exprPostDecrement(); // 1 expr
186  virtual void exprPreDecrement(); // 1 expr
187  virtual void exprAssignment(Constants::kind_t op); // 2 expr
188  virtual void exprUnary(Constants::kind_t unaryop); // 1 expr
189  virtual void exprBinary(Constants::kind_t binaryop); // 2 expr
190  virtual void exprNary(Constants::kind_t, uint32_t num);
191  virtual void exprScenario(const char* name);
192  virtual void exprTernary(Constants::kind_t ternaryop, bool firstMissing); // 3 expr
193  virtual void exprInlineIf(); // 3 expr
194  virtual void exprComma(); // 2 expr
195  virtual void exprDot(const char *); // 1 expr
196  virtual void exprDeadlock();
197  virtual void exprForAllBegin(const char *name);
198  virtual void exprForAllEnd(const char *name);
199  virtual void exprExistsBegin(const char *name);
200  virtual void exprExistsEnd(const char *name);
201  virtual void exprSumBegin(const char *name);
202  virtual void exprSumEnd(const char *name);
203 
204  virtual void exprSync(Constants::synchronisation_t type);
205  virtual void declIO(const char*,int,int);
206 
207  virtual void exprSMCControl(int);
209  virtual void exprProbaQuantitative(int,Constants::kind_t);
211  virtual void exprProbaExpected(int,const char*);
212  virtual void exprSimulate(int,int,int);
215 
216  //MITL
217  virtual void exprMitlFormula ( ) ;
218  virtual void exprMitlUntil (int,int ) ;
219  virtual void exprMitlRelease (int,int);
220  virtual void exprMitlDisj () ;
221  virtual void exprMitlConj ();
222  virtual void exprMitlNext ();
223  virtual void exprMitlAtom ();
224 
225  /************************************************************
226  * System declaration
227  */
228  virtual void instantiationBegin(const char*, size_t, const char*);
229  virtual void instantiationEnd(
230  const char *, size_t, const char *, size_t);
231  virtual void process(const char*);
232  virtual void processListEnd();
233  virtual void done();
234 
235  /************************************************************
236  * Properties
237  */
238  virtual void property();
239  virtual void scenario(const char*);// LSC
240  virtual void parse(const char*);// LSC
241 
242  /********************************************************************
243  * Guiding
244  */
245  virtual void beforeUpdate();
246  virtual void afterUpdate();
247 
248 
249  /********************************************************************
250  * Priority
251  */
252  virtual void beginChanPriority();
253  virtual void addChanPriority(char separator);
254  virtual void defaultChanPriority();
255  virtual void incProcPriority();
256  virtual void procPriority(const char*);
257 
258  virtual void declDynamicTemplate (std::string );
259  virtual void exprSpawn (int );
260  virtual void exprExit ();
261  virtual void exprNumOf ();
262 
263  virtual void exprForAllDynamicBegin (const char*,const char* );
264  virtual void exprForAllDynamicEnd (const char* name);
265  virtual void exprExistsDynamicBegin (const char*,const char*);
266  virtual void exprExistsDynamicEnd (const char* name);
267  virtual void exprSumDynamicBegin (const char*,const char* );
268  virtual void exprSumDynamicEnd (const char* );
269  virtual void exprForeachDynamicBegin (const char*,const char* );
270  virtual void exprForeachDynamicEnd (const char* name);
271  virtual void exprDynamicProcessExpr (const char*);
272  virtual void exprMITLForAllDynamicBegin (const char* ,const char*);
273  virtual void exprMITLForAllDynamicEnd (const char* name);
274  virtual void exprMITLExistsDynamicBegin (const char* ,const char*);
275  virtual void exprMITLExistsDynamicEnd (const char* name);
276 
278  virtual void queryBegin();
279  virtual void queryFormula(const char* formula, const char* location);
280  virtual void queryComment(const char* comment);
281  virtual void queryEnd();
282  };
283 }
284 #endif
position_t position
Definition: abstractbuilder.h:48
virtual void exprForAllDynamicBegin(const char *, const char *)
Definition: abstractbuilder.cpp:786
virtual void exprMITLExistsDynamicBegin(const char *, const char *)
Definition: abstractbuilder.cpp:835
virtual void forEnd()
Definition: abstractbuilder.cpp:361
virtual void procCondition()
Definition: abstractbuilder.cpp:323
virtual void queryComment(const char *comment)
Definition: abstractbuilder.cpp:852
virtual void exprPostDecrement()
Definition: abstractbuilder.cpp:517
virtual void procEdgeEnd(const char *from, const char *to)
Definition: abstractbuilder.cpp:258
virtual void defaultEnd()
Definition: abstractbuilder.cpp:447
virtual void typeDouble(PREFIX)
Called whenever a double type is parsed.
Definition: abstractbuilder.cpp:91
virtual void exprNat(int32_t)
Definition: abstractbuilder.cpp:487
virtual void exprExistsDynamicEnd(const char *name)
Definition: abstractbuilder.cpp:799
virtual void instanceName(const char *name, bool templ=true)
Definition: abstractbuilder.cpp:308
virtual void assertStatement()
Definition: abstractbuilder.cpp:462
virtual void ifBegin()
Definition: abstractbuilder.cpp:396
virtual void procBegin(const char *name, const bool isTA=true, const std::string type="", const std::string mode="")
Definition: abstractbuilder.cpp:216
virtual void exprBuiltinFunction1(Constants::kind_t)
Definition: abstractbuilder.cpp:604
virtual void ganttEntrySelect(const char *id)
Definition: abstractbuilder.cpp:186
virtual void exprDynamicProcessExpr(const char *)
Definition: abstractbuilder.cpp:821
virtual void ganttDeclStart(const char *name)
Definition: abstractbuilder.cpp:166
virtual void declIO(const char *, int, int)
Definition: abstractbuilder.cpp:763
virtual void exprForeachDynamicEnd(const char *name)
Definition: abstractbuilder.cpp:817
virtual void processListEnd()
Definition: abstractbuilder.cpp:697
virtual void exprInlineIf()
Definition: abstractbuilder.cpp:559
virtual void emptyStatement()
Definition: abstractbuilder.cpp:351
virtual void exprForAllEnd(const char *name)
Definition: abstractbuilder.cpp:584
virtual void doWhileEnd()
Definition: abstractbuilder.cpp:391
virtual void exprNary(Constants::kind_t, uint32_t num)
Definition: abstractbuilder.cpp:542
#define comment
Definition: lexer.cc:623
virtual void declDynamicTemplate(std::string)
Dynamic.
Definition: abstractbuilder.cpp:768
virtual void exprPreDecrement()
Definition: abstractbuilder.cpp:522
virtual void caseEnd()
Definition: abstractbuilder.cpp:437
virtual void ganttEntryStart()
Definition: abstractbuilder.cpp:181
virtual void declTypeDef(const char *name)
Used when a typedef declaration was parsed.
Definition: abstractbuilder.cpp:146
virtual void exprMITLForAllDynamicEnd(const char *name)
Definition: abstractbuilder.cpp:831
virtual void exprProbaExpected(int, const char *)
Definition: abstractbuilder.cpp:668
PREFIX
Definition: builder.h:85
virtual void scenario(const char *)
Definition: abstractbuilder.cpp:703
virtual void exprMitlAtom()
Definition: abstractbuilder.cpp:644
virtual void procEdgeBegin(const char *from, const char *to, const bool control, const char *actname)
Definition: abstractbuilder.cpp:252
virtual void declInitialiserList(uint32_t num)
Definition: abstractbuilder.cpp:156
virtual void instantiationBegin(const char *, size_t, const char *)
Definition: abstractbuilder.cpp:683
virtual void setPosition(uint32_t, uint32_t)
Sets the current position.
Definition: abstractbuilder.cpp:60
virtual void forBegin()
Definition: abstractbuilder.cpp:356
virtual void whileEnd()
Definition: abstractbuilder.cpp:381
virtual void returnStatement(bool)
Definition: abstractbuilder.cpp:457
virtual void exprMitlDisj()
Definition: abstractbuilder.cpp:629
virtual void procStateInit(const char *name)
Definition: abstractbuilder.cpp:242
virtual void breakStatement()
Definition: abstractbuilder.cpp:411
virtual void exprMitlFormula()
Definition: abstractbuilder.cpp:614
Definition: lexer.cc:585
virtual void exprDot(const char *)
Definition: abstractbuilder.cpp:569
virtual void typeClock(PREFIX)
Called whenever a clock type is parsed.
Definition: abstractbuilder.cpp:106
virtual void ganttDeclEnd()
Definition: abstractbuilder.cpp:176
virtual void structField(const char *name)
Called to declare a field of a structure.
Definition: abstractbuilder.cpp:141
virtual void typeVoid()
Called whenever a void type is parsed.
Definition: abstractbuilder.cpp:111
virtual void ifEnd(bool)
Definition: abstractbuilder.cpp:406
virtual void procSelect(const char *id)
Definition: abstractbuilder.cpp:263
kind_t
Definition: common.h:37
virtual void whileBegin()
Definition: abstractbuilder.cpp:376
virtual void procSync(Constants::synchronisation_t type)
Definition: abstractbuilder.cpp:273
virtual void declFuncEnd()
Definition: abstractbuilder.cpp:211
virtual void exprSync(Constants::synchronisation_t type)
Definition: abstractbuilder.cpp:758
virtual void addChanPriority(char separator)
Definition: abstractbuilder.cpp:738
virtual void defaultChanPriority()
Definition: abstractbuilder.cpp:743
virtual void ifElse()
Definition: abstractbuilder.cpp:401
virtual void exprComma()
Definition: abstractbuilder.cpp:564
virtual void exprProbaQuantitative(int, Constants::kind_t)
Definition: abstractbuilder.cpp:658
virtual void exprMitlConj()
Definition: abstractbuilder.cpp:634
virtual void typeDuplicate()
Duplicate type at the top of the type stack.
Definition: abstractbuilder.cpp:71
virtual void typePop()
Pop type at the topof the type stack.
Definition: abstractbuilder.cpp:76
virtual void property()
Definition: abstractbuilder.cpp:718
virtual void instanceNameBegin(const char *name)
Definition: abstractbuilder.cpp:298
virtual void exprTernary(Constants::kind_t ternaryop, bool firstMissing)
Definition: abstractbuilder.cpp:554
virtual void declVar(const char *name, bool init)
Called to when a variable declaration has been parsed.
Definition: abstractbuilder.cpp:151
virtual void exprExistsBegin(const char *name)
Definition: abstractbuilder.cpp:673
virtual void exprProbaQualitative(int, Constants::kind_t, Constants::kind_t, double)
Definition: abstractbuilder.cpp:653
virtual void exprUnary(Constants::kind_t unaryop)
Definition: abstractbuilder.cpp:532
virtual void exprSumDynamicBegin(const char *, const char *)
Definition: abstractbuilder.cpp:803
virtual void exprSumBegin(const char *name)
Definition: abstractbuilder.cpp:589
synchronisation_t
Definition: common.h:263
virtual void procState(const char *name, bool hasInvariant, bool hasER)
Definition: abstractbuilder.cpp:227
virtual void doWhileBegin()
Definition: abstractbuilder.cpp:386
virtual void ganttDeclSelect(const char *id)
Definition: abstractbuilder.cpp:171
virtual void exprMITLForAllDynamicBegin(const char *, const char *)
Definition: abstractbuilder.cpp:826
virtual void iterationEnd(const char *name)
Definition: abstractbuilder.cpp:371
virtual void exprCallBegin()
Definition: abstractbuilder.cpp:492
virtual void declFieldInit(const char *name)
Definition: abstractbuilder.cpp:161
virtual void exprPreIncrement()
Definition: abstractbuilder.cpp:512
virtual void procLscUpdate()
Definition: abstractbuilder.cpp:331
virtual void exprBinary(Constants::kind_t binaryop)
Definition: abstractbuilder.cpp:537
virtual void procGuard()
Definition: abstractbuilder.cpp:268
virtual void exprScenario(const char *name)
Definition: abstractbuilder.cpp:548
virtual void exprMitlNext()
Definition: abstractbuilder.cpp:639
virtual void exprExistsDynamicBegin(const char *, const char *)
Definition: abstractbuilder.cpp:794
virtual void exprSumDynamicEnd(const char *)
Definition: abstractbuilder.cpp:808
Definition: abstractbuilder.h:35
virtual void exprMitlRelease(int, int)
Definition: abstractbuilder.cpp:624
virtual void beginChanPriority()
Definition: abstractbuilder.cpp:733
virtual void procEnd()
Definition: abstractbuilder.cpp:222
NotSupportedException(const char *err)
Definition: abstractbuilder.h:40
virtual void procProb()
Definition: abstractbuilder.cpp:282
virtual void blockBegin()
Definition: abstractbuilder.cpp:341
virtual void blockEnd()
Definition: abstractbuilder.cpp:346
virtual void typeStruct(PREFIX, uint32_t fields)
Called when a struct-type has been parsed.
Definition: abstractbuilder.cpp:126
virtual void typeChannel(PREFIX)
Called whenever a channel type is parsed.
Definition: abstractbuilder.cpp:101
Definition: abstractbuilder.h:45
virtual void procMessage(const char *from, const char *to, const int loc, const bool pch)
Definition: abstractbuilder.cpp:313
virtual void procStateCommit(const char *name)
Definition: abstractbuilder.cpp:232
virtual void typeBoundedInt(PREFIX)
Called whenever an integer type with a range is parsed.
Definition: abstractbuilder.cpp:96
Definition: position.h:42
virtual void typeInt(PREFIX)
Called whenever an integer type is parsed.
Definition: abstractbuilder.cpp:86
virtual void typeArrayOfSize(size_t)
Called to create an array type.
Definition: abstractbuilder.cpp:131
virtual void typeArrayOfType(size_t)
Called to create an array type.
Definition: abstractbuilder.cpp:136
virtual void ganttEntryEnd()
Definition: abstractbuilder.cpp:191
virtual void procBranchpoint(const char *name)
Definition: abstractbuilder.cpp:247
virtual void done()
Definition: abstractbuilder.cpp:714
virtual void continueStatement()
Definition: abstractbuilder.cpp:416
virtual void afterUpdate()
Definition: abstractbuilder.cpp:728
virtual void iterationBegin(const char *name)
Definition: abstractbuilder.cpp:366
The ParserBuilder interface is used by the parser to output the parsed system.
Definition: builder.h:79
virtual void queryFormula(const char *formula, const char *location)
Definition: abstractbuilder.cpp:849
virtual void exprFalse()
Definition: abstractbuilder.cpp:472
AbstractBuilder()
Definition: abstractbuilder.cpp:56
virtual void exprSumEnd(const char *name)
Definition: abstractbuilder.cpp:594
virtual void exprMitlUntil(int, int)
Definition: abstractbuilder.cpp:619
virtual void exprStatement()
Definition: abstractbuilder.cpp:452
virtual const char * what() const
Definition: abstractbuilder.h:42
virtual void exprSMCControl(int)
Definition: abstractbuilder.cpp:648
virtual void hasPrechart(const bool pch)
Definition: abstractbuilder.cpp:335
virtual void incProcPriority()
Definition: abstractbuilder.cpp:748
virtual void exprExit()
Definition: abstractbuilder.cpp:777
virtual void exprArray()
Definition: abstractbuilder.cpp:502
virtual void switchBegin()
Definition: abstractbuilder.cpp:421
virtual void exprExistsEnd(const char *name)
Definition: abstractbuilder.cpp:678
virtual void exprDouble(double)
Definition: abstractbuilder.cpp:477
virtual ~NotSupportedException()
Definition: abstractbuilder.h:41
virtual void exprSimulate(int, int, int)
Definition: abstractbuilder.cpp:599
virtual void exprForeachDynamicBegin(const char *, const char *)
Definition: abstractbuilder.cpp:812
virtual void procUpdate()
Definition: abstractbuilder.cpp:278
virtual void exprNumOf()
Definition: abstractbuilder.cpp:781
virtual void instanceNameEnd(const char *name, size_t arguments)
Definition: abstractbuilder.cpp:303
virtual void queryBegin()
Verification queries.
Definition: abstractbuilder.cpp:843
virtual void exprTrue()
Definition: abstractbuilder.cpp:467
virtual void exprId(const char *varName)
Definition: abstractbuilder.cpp:482
virtual void instantiationEnd(const char *, size_t, const char *, size_t)
Definition: abstractbuilder.cpp:688
virtual void procStateUrgent(const char *name)
Definition: abstractbuilder.cpp:237
virtual void declProgress(bool)
Guard progress measure declaration.
Definition: abstractbuilder.cpp:196
virtual void declFuncBegin(const char *name)
Definition: abstractbuilder.cpp:206
virtual void typeName(PREFIX, const char *name)
Called when a type name has been parsed.
Definition: abstractbuilder.cpp:121
virtual void exprAssignment(Constants::kind_t op)
Definition: abstractbuilder.cpp:527
virtual void caseBegin()
Definition: abstractbuilder.cpp:431
virtual void defaultBegin()
Definition: abstractbuilder.cpp:442
virtual void switchEnd()
Definition: abstractbuilder.cpp:426
virtual void procInstanceLine()
Definition: abstractbuilder.cpp:293
virtual void exprCallEnd(uint32_t n)
Definition: abstractbuilder.cpp:497
virtual void parse(const char *)
Definition: abstractbuilder.cpp:708
virtual void exprBuiltinFunction2(Constants::kind_t)
Definition: abstractbuilder.cpp:609
virtual void exprMITLExistsDynamicEnd(const char *name)
Definition: abstractbuilder.cpp:839
virtual void procPriority(const char *)
Definition: abstractbuilder.cpp:753
virtual bool isType(const char *)
Must return true if and only if name is registered in the symbol table as a named type...
Definition: abstractbuilder.cpp:66
virtual void process(const char *)
Definition: abstractbuilder.cpp:693
virtual void exprDeadlock()
Definition: abstractbuilder.cpp:574
virtual void exprForAllDynamicEnd(const char *name)
Definition: abstractbuilder.cpp:790
virtual void declParameter(const char *name, bool)
Definition: abstractbuilder.cpp:201
virtual void exprProbaCompare(int, Constants::kind_t, int, Constants::kind_t)
Definition: abstractbuilder.cpp:663
virtual void exprSpawn(int)
Definition: abstractbuilder.cpp:773
virtual void typeScalar(PREFIX)
Called whenever a scalar type is parsed.
Definition: abstractbuilder.cpp:116
virtual void beforeUpdate()
Definition: abstractbuilder.cpp:723
virtual void exprPostIncrement()
Definition: abstractbuilder.cpp:507
virtual void typeBool(PREFIX)
Called whenever a boolean type is parsed.
Definition: abstractbuilder.cpp:81
virtual void queryEnd()
Definition: abstractbuilder.cpp:846
virtual void exprForAllBegin(const char *name)
Definition: abstractbuilder.cpp:579