Main Page | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

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

Constructor & Destructor Documentation

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.

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.

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::procStateLosing const char *  id  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::procStateUrgent const char *  id  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::procStateWinning 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::typeBool PREFIX   )  [virtual]
 

Called whenever a boolean type is parsed.

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::typeBoundedInt PREFIX   )  [virtual]
 

Called whenever an integer type with a range is parsed.

Expressions for the lower and upper have been pushed before.

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::typeChannel PREFIX   )  [virtual]
 

Called whenever a channel type is parsed.

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::typeClock  )  [virtual]
 

Called whenever a clock type is parsed.

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::typeInt PREFIX   )  [virtual]
 

Called whenever an integer type is parsed.

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::typeName PREFIX  ,
const char *  type
[virtual]
 

Called when a type name has been parsed.

Prefix indicates whether the type named was prefixed (e.g. with 'const').

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::typeScalar PREFIX   )  [virtual]
 

Called whenever a scalar type is parsed.

The size of the scalar set was pushed as an expression before.

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 Sat Apr 29 21:02:14 2006 for libutap by  doxygen 1.4.2