#include <prettyprinter.h>
Inheritance diagram for UTAP::PrettyPrinter:
Public Member Functions | |
PrettyPrinter (std::ostream &stream) | |
virtual void | addPosition (uint32_t position, uint32_t offset, uint32_t line, std::string path) |
Add mapping from an absolute position to a relative XML element. | |
virtual void | handleError (std::string) |
virtual void | handleWarning (std::string) |
virtual void | typeBool (PREFIX) |
Called whenever a boolean type is parsed. | |
virtual void | typeInt (PREFIX) |
Called whenever an integer type is parsed. | |
virtual void | typeBoundedInt (PREFIX) |
Called whenever an integer type with a range is parsed. | |
virtual void | typeChannel (PREFIX) |
Called whenever a channel type is parsed. | |
virtual void | typeClock () |
Called whenever a clock type is parsed. | |
virtual void | typeVoid () |
Called whenever a void type is parsed. | |
virtual void | typeScalar (PREFIX) |
Called whenever a scalar type is parsed. | |
virtual void | typeName (PREFIX, const char *type) |
Called when a type name has been parsed. | |
virtual void | declTypeDef (const char *name) |
Used when a typedef declaration was parsed. | |
virtual void | declVar (const char *id, bool init) |
Called to when a variable declaration has been parsed. | |
virtual void | declInitialiserList (uint32_t num) |
virtual void | declFieldInit (const char *name) |
virtual void | declParameter (const char *name, bool) |
virtual void | declFuncBegin (const char *name) |
virtual void | declFuncEnd () |
virtual void | blockBegin () |
virtual void | blockEnd () |
virtual void | emptyStatement () |
virtual void | forBegin () |
virtual void | forEnd () |
virtual void | iterationBegin (const char *name) |
virtual void | iterationEnd (const char *name) |
virtual void | whileBegin () |
virtual void | whileEnd () |
virtual void | doWhileBegin () |
virtual void | doWhileEnd () |
virtual void | ifBegin () |
virtual void | ifElse () |
virtual void | ifEnd (bool) |
virtual void | breakStatement () |
virtual void | continueStatement () |
virtual void | exprStatement () |
virtual void | returnStatement (bool hasValue) |
virtual void | procBegin (const char *name) |
virtual void | procState (const char *id, bool hasInvariant) |
virtual void | procStateUrgent (const char *id) |
virtual void | procStateCommit (const char *id) |
virtual void | procStateWinning (const char *id) |
virtual void | procStateLosing (const char *id) |
virtual void | procStateInit (const char *id) |
virtual void | procSelect (const char *id) |
virtual void | procGuard () |
virtual void | procSync (Constants::synchronisation_t type) |
virtual void | procUpdate () |
virtual void | procEdgeBegin (const char *source, const char *target, const bool control) |
virtual void | procEdgeEnd (const char *source, const char *target) |
virtual void | procEnd () |
virtual void | exprId (const char *id) |
virtual void | exprNat (int32_t n) |
virtual void | exprTrue () |
virtual void | exprFalse () |
virtual void | exprCallBegin () |
virtual void | exprCallEnd (uint32_t n) |
virtual void | exprArray () |
virtual void | exprPostIncrement () |
virtual void | exprPreIncrement () |
virtual void | exprPostDecrement () |
virtual void | exprPreDecrement () |
virtual void | exprAssignment (Constants::kind_t op) |
virtual void | exprUnary (Constants::kind_t op) |
virtual void | exprBinary (Constants::kind_t op) |
virtual void | exprInlineIf () |
virtual void | exprComma () |
virtual void | exprDot (const char *) |
virtual void | exprDeadlock () |
virtual void | exprForAllBegin (const char *name) |
virtual void | exprForAllEnd (const char *name) |
virtual void | exprExistsBegin (const char *name) |
virtual void | exprExistsEnd (const char *name) |
virtual void | beforeUpdate () |
virtual void | afterUpdate () |
virtual void | instantiationBegin (const char *, size_t, const char *) |
virtual void | instantiationEnd (const char *, size_t, const char *, size_t) |
virtual void | process (const char *id) |
virtual void | done () |
|
|
|
Add mapping from an absolute position to a relative XML element.
Implements UTAP::ParserBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Used when a typedef declaration was parsed. name is the name of the new type. Reimplemented from UTAP::AbstractBuilder. |
|
Called to when a variable declaration has been parsed.
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Called whenever a boolean type is parsed.
Reimplemented from UTAP::AbstractBuilder. |
|
Called whenever an integer type with a range is parsed. Expressions for the lower and upper have been pushed before. Reimplemented from UTAP::AbstractBuilder. |
|
Called whenever a channel type is parsed.
Reimplemented from UTAP::AbstractBuilder. |
|
Called whenever a clock type is parsed.
Reimplemented from UTAP::AbstractBuilder. |
|
Called whenever an integer type is parsed.
Reimplemented from UTAP::AbstractBuilder. |
|
Called when a type name has been parsed. Prefix indicates whether the type named was prefixed (e.g. with 'const'). Reimplemented from UTAP::AbstractBuilder. |
|
Called whenever a scalar type is parsed. The size of the scalar set was pushed as an expression before. Reimplemented from UTAP::AbstractBuilder. |
|
Called whenever a void type is parsed.
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |