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 setErrorHandler (ErrorHandler *)
 Set the error handler to the given handler.
virtual void setPosition (const position_t &)
 Sets the current position.
virtual bool isType (const char *id)
 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 typeName (int32_t prefix, const char *type, int range)
 Called when a type name has been parsed.
virtual void declTypeDef (const char *name, uint32_t dim)
 Used when a typedef declaration was parsed.
virtual void declTypeDefEnd ()
 Called at the end of a series of type name declarations of the same type.
virtual void declVar (const char *id, uint32_t dim, bool init)
 Called to when a variable declaration has been parsed.
virtual void declVarEnd ()
 Called at the end of a series of variable declarations of the same type.
virtual void declInitialiserList (uint32_t num)
virtual void declFieldInit (const char *name)
virtual void declParameter (const char *name, bool reference, uint32_t dim)
virtual void declParameterEnd ()
virtual void declFuncBegin (const char *name, uint32_t n)
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 procTemplateSet (const char *name)
virtual void procBegin (const char *name, uint32_t n, uint32_t m)
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 exprArg (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 beforeUpdate ()
virtual void afterUpdate ()
virtual void instantiationBegin (const char *id, const char *templ)
virtual void instantiationEnd (const char *id, const char *templ, uint32_t n)
virtual void process (const char *id)
virtual void done ()

Constructor & Destructor Documentation

PrettyPrinter::PrettyPrinter std::ostream &  stream  ) 
 


Member Function Documentation

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,
uint32_t  n
[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  reference,
uint32_t  dim
[virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::declParameterEnd  )  [virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::declTypeDef const char *  name,
uint32_t  dim
[virtual]
 

Used when a typedef declaration was parsed.

name is the name of the new type, and dim is the dimension of array types.

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::declTypeDefEnd  )  [virtual]
 

Called at the end of a series of type name declarations of the same type.

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::declVar const char *  id,
uint32_t  dim,
bool  init
[virtual]
 

Called to when a variable declaration has been parsed.

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::declVarEnd  )  [virtual]
 

Called at the end of a series of variable declarations of the same type.

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::exprArg uint32_t  n  )  [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::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::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 *  id,
const char *  templ
[virtual]
 

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::instantiationEnd const char *  id,
const char *  templ,
uint32_t  n
[virtual]
 

Reimplemented from UTAP::AbstractBuilder.

bool PrettyPrinter::isType const char *  id  )  [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,
uint32_t  n,
uint32_t  m
[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::procTemplateSet const char *  name  )  [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::setErrorHandler ErrorHandler  )  [virtual]
 

Set the error handler to the given handler.

Errors are reported by calling this handler or by throwing a TypeException.

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::setPosition const position_t  )  [virtual]
 

Sets the current position.

The current position indicates where in the input file the current productions can be found.

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::typeName int32_t  prefix,
const char *  type,
int  range
[virtual]
 

Called when a type name has been parsed.

Prefix indicates whether the type named was prefixed (e.g. with 'const'). The range argument indicates whether a range was given for the type (in that case two expressions were reported using the exprXXX methods).

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 Nov 10 13:16:12 2005 for libutap by  doxygen 1.4.2