UTAP::PrettyPrinter Class Reference

#include <prettyprinter.h>

Inheritance diagram for UTAP::PrettyPrinter:

UTAP::AbstractBuilder UTAP::ParserBuilder List of all members.

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 ()

Constructor & Destructor Documentation

UTAP::PrettyPrinter::PrettyPrinter ( std::ostream &  stream  ) 


Member Function Documentation

void PrettyPrinter::addPosition ( uint32_t  position,
uint32_t  offset,
uint32_t  line,
std::string  path 
) [virtual]

Add mapping from an absolute position to a relative XML element.

Implements UTAP::ParserBuilder.

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]

Called to when a variable declaration has been parsed.

Reimplemented from UTAP::AbstractBuilder.

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]

Called whenever a clock type is parsed.

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::typeDuplicate (  )  [virtual]

Duplicate type at the top of the type stack.

Reimplemented from UTAP::AbstractBuilder.

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]

Pop type at the topof the type stack.

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::typeScalar ( PREFIX   )  [virtual]

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::typeVoid (  )  [virtual]

Called whenever a void type is parsed.

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::whileBegin (  )  [virtual]

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::whileEnd (  )  [virtual]

Reimplemented from UTAP::AbstractBuilder.


The documentation for this class was generated from the following files:
Generated on Thu Feb 22 14:46:52 2007 for libutap by  doxygen 1.4.7