#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 bool | isType (const char *) |
Must return true if and only if name is registered in the symbol table as a named type, for instance, "int" or "bool" or a user defined type. | |
virtual void | typeBool (PREFIX) |
virtual void | typeInt (PREFIX) |
virtual void | typeBoundedInt (PREFIX) |
virtual void | typeChannel (PREFIX) |
virtual void | typeClock () |
Called whenever a clock type is parsed. | |
virtual void | typeVoid () |
Called whenever a void type is parsed. | |
virtual void | typeScalar (PREFIX) |
virtual void | typeName (PREFIX, const char *type) |
virtual void | typePop () |
Pop type at the topof the type stack. | |
virtual void | typeDuplicate () |
Duplicate type at the top of the type stack. | |
virtual void | typeArrayOfSize (size_t n) |
Called to create an array type. | |
virtual void | typeArrayOfType (size_t n) |
Called to create an array type. | |
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 | 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 | exprTernary (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 () |
UTAP::PrettyPrinter::PrettyPrinter | ( | std::ostream & | stream | ) |
void PrettyPrinter::addPosition | ( | uint32_t | position, | |
uint32_t | offset, | |||
uint32_t | line, | |||
std::string | path | |||
) | [virtual] |
void PrettyPrinter::afterUpdate | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::beforeUpdate | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::blockBegin | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::blockEnd | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::breakStatement | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::continueStatement | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::declFieldInit | ( | const char * | name | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::declFuncBegin | ( | const char * | name | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::declFuncEnd | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::declInitialiserList | ( | uint32_t | num | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::declParameter | ( | const char * | name, | |
bool | ||||
) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::declTypeDef | ( | const char * | name | ) | [virtual] |
Used when a typedef declaration was parsed.
name is the name of the new type.
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::declVar | ( | const char * | id, | |
bool | init | |||
) | [virtual] |
void PrettyPrinter::done | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::doWhileBegin | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::doWhileEnd | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::emptyStatement | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::exprArray | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
virtual void UTAP::PrettyPrinter::exprAssignment | ( | Constants::kind_t | op | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
virtual void UTAP::PrettyPrinter::exprBinary | ( | Constants::kind_t | op | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::exprCallBegin | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::exprCallEnd | ( | uint32_t | n | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::exprComma | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::exprDeadlock | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::exprDot | ( | const char * | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::exprExistsBegin | ( | const char * | name | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::exprExistsEnd | ( | const char * | name | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::exprFalse | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::exprForAllBegin | ( | const char * | name | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::exprForAllEnd | ( | const char * | name | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::exprId | ( | const char * | id | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::exprInlineIf | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::exprNat | ( | int32_t | n | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::exprPostDecrement | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::exprPostIncrement | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::exprPreDecrement | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::exprPreIncrement | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::exprStatement | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
virtual void UTAP::PrettyPrinter::exprTernary | ( | Constants::kind_t | op | ) | [virtual] |
void PrettyPrinter::exprTrue | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
virtual void UTAP::PrettyPrinter::exprUnary | ( | Constants::kind_t | op | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::forBegin | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::forEnd | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::handleError | ( | std::string | ) | [virtual] |
Implements UTAP::ParserBuilder.
void PrettyPrinter::handleWarning | ( | std::string | ) | [virtual] |
Implements UTAP::ParserBuilder.
void PrettyPrinter::ifBegin | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::ifElse | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::ifEnd | ( | bool | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::instantiationBegin | ( | const char * | , | |
size_t | , | |||
const char * | ||||
) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::instantiationEnd | ( | const char * | , | |
size_t | , | |||
const char * | , | |||
size_t | ||||
) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
bool PrettyPrinter::isType | ( | const char * | ) | [virtual] |
Must return true if and only if name is registered in the symbol table as a named type, for instance, "int" or "bool" or a user defined type.
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::iterationBegin | ( | const char * | name | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::iterationEnd | ( | const char * | name | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::procBegin | ( | const char * | name | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::procEdgeBegin | ( | const char * | source, | |
const char * | target, | |||
const bool | control | |||
) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::procEdgeEnd | ( | const char * | source, | |
const char * | target | |||
) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::procEnd | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::process | ( | const char * | id | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::procGuard | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::procSelect | ( | const char * | id | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::procState | ( | const char * | id, | |
bool | hasInvariant | |||
) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::procStateCommit | ( | const char * | id | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::procStateInit | ( | const char * | id | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::procStateUrgent | ( | const char * | id | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
virtual void UTAP::PrettyPrinter::procSync | ( | Constants::synchronisation_t | type | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::procUpdate | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::returnStatement | ( | bool | hasValue | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::typeArrayOfSize | ( | size_t | n | ) | [virtual] |
Called to create an array type.
The size of the array was previously pushed as an expression.
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::typeArrayOfType | ( | size_t | n | ) | [virtual] |
Called to create an array type.
The size of the array was previously pushed as a type.
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::typeBool | ( | PREFIX | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::typeBoundedInt | ( | PREFIX | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::typeChannel | ( | PREFIX | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::typeClock | ( | ) | [virtual] |
void PrettyPrinter::typeDuplicate | ( | ) | [virtual] |
void PrettyPrinter::typeInt | ( | PREFIX | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::typeName | ( | PREFIX | , | |
const char * | type | |||
) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::typePop | ( | ) | [virtual] |
void PrettyPrinter::typeScalar | ( | PREFIX | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::typeVoid | ( | ) | [virtual] |
void PrettyPrinter::whileBegin | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void PrettyPrinter::whileEnd | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.