libutap
Public Member Functions | List of all members
UTAP::PrettyPrinter Class Reference

#include <prettyprinter.h>

Inheritance diagram for UTAP::PrettyPrinter:
UTAP::AbstractBuilder UTAP::ParserBuilder

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. More...
 
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. More...
 
virtual void typeBool (PREFIX)
 Called whenever a boolean type is parsed. More...
 
virtual void typeInt (PREFIX)
 Called whenever an integer type is parsed. More...
 
virtual void typeDouble (PREFIX)
 Called whenever a double type is parsed. More...
 
virtual void typeBoundedInt (PREFIX)
 Called whenever an integer type with a range is parsed. More...
 
virtual void typeChannel (PREFIX)
 Called whenever a channel type is parsed. More...
 
virtual void typeClock ()
 
virtual void typeClock (PREFIX)
 Called whenever a clock type is parsed. More...
 
virtual void typeVoid ()
 Called whenever a void type is parsed. More...
 
virtual void typeScalar (PREFIX)
 Called whenever a scalar type is parsed. More...
 
virtual void typeName (PREFIX, const char *type)
 Called when a type name has been parsed. More...
 
virtual void typePop ()
 Pop type at the topof the type stack. More...
 
virtual void typeDuplicate ()
 Duplicate type at the top of the type stack. More...
 
virtual void typeArrayOfSize (size_t n)
 Called to create an array type. More...
 
virtual void typeArrayOfType (size_t n)
 Called to create an array type. More...
 
virtual void typeStruct (PREFIX prefix, uint32_t n)
 Called when a struct-type has been parsed. More...
 
virtual void structField (const char *name)
 Called to declare a field of a structure. More...
 
virtual void declTypeDef (const char *name)
 Used when a typedef declaration was parsed. More...
 
virtual void declVar (const char *id, bool init)
 Called to when a variable declaration has been parsed. More...
 
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, const bool isTA=true, const std::string type="", const std::string mode="")
 
virtual void procState (const char *id, bool hasInvariant)
 
virtual void procState (const char *id, bool hasInvariant, bool hasExpRate)
 
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 procEdgeBegin (const char *source, const char *target, const bool control, const char *actname)
 
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 exprNary (Constants::kind_t op, uint32_t num)
 
virtual void exprScenario (const char *name)
 
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 exprSumBegin (const char *name)
 
virtual void exprSumEnd (const char *name)
 
virtual void exprProba (bool, int, double, int)
 
virtual void exprProba2 (bool, int)
 
virtual void exprProbaQuantitative (int, Constants::kind_t, bool)
 
virtual void exprMitlDiamond (int, int)
 
virtual void exprMitlBox (int, int)
 
virtual void exprSimulate (int, int, int, bool, int)
 
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 processListEnd ()
 
virtual void done ()
 
virtual void queryBegin ()
 Verification queries. More...
 
virtual void queryFormula (const char *)
 
virtual void queryComment (const char *)
 
virtual void queryEnd ()
 
- Public Member Functions inherited from UTAP::AbstractBuilder
 AbstractBuilder ()
 
virtual void setPosition (uint32_t, uint32_t)
 Sets the current position. More...
 
virtual void ganttDeclStart (const char *name)
 
virtual void ganttDeclSelect (const char *id)
 
virtual void ganttDeclEnd ()
 
virtual void ganttEntryStart ()
 
virtual void ganttEntrySelect (const char *id)
 
virtual void ganttEntryEnd ()
 
virtual void declProgress (bool)
 Guard progress measure declaration. More...
 
virtual void procBranchpoint (const char *name)
 
virtual void procProb ()
 
virtual void procInstanceLine ()
 
virtual void instanceName (const char *name, bool templ=true)
 
virtual void instanceNameBegin (const char *name)
 
virtual void instanceNameEnd (const char *name, size_t arguments)
 
virtual void procMessage (const char *from, const char *to, const int loc, const bool pch)
 
virtual void procMessage (Constants::synchronisation_t type)
 
virtual void procCondition (const std::vector< char * > anchors, const int loc, const bool pch, const bool hot)
 
virtual void procCondition ()
 
virtual void procLscUpdate (const char *anchor, const int loc, const bool pch)
 
virtual void procLscUpdate ()
 
virtual void hasPrechart (const bool pch)
 
virtual void switchBegin ()
 
virtual void switchEnd ()
 
virtual void caseBegin ()
 
virtual void caseEnd ()
 
virtual void defaultBegin ()
 
virtual void defaultEnd ()
 
virtual void assertStatement ()
 
virtual void exprDouble (double)
 
virtual void exprTernary (Constants::kind_t ternaryop, bool firstMissing)
 
virtual void exprSync (Constants::synchronisation_t type)
 
virtual void declIO (const char *, int, int)
 
virtual void exprSMCControl (int)
 
virtual void exprProbaQualitative (int, Constants::kind_t, Constants::kind_t, double)
 
virtual void exprProbaQuantitative (int, Constants::kind_t)
 
virtual void exprProbaCompare (int, Constants::kind_t, int, Constants::kind_t)
 
virtual void exprProbaExpected (int, const char *)
 
virtual void exprSimulate (int, int, int)
 
virtual void exprBuiltinFunction1 (Constants::kind_t)
 
virtual void exprBuiltinFunction2 (Constants::kind_t)
 
virtual void exprMitlFormula ()
 
virtual void exprMitlUntil (int, int)
 
virtual void exprMitlRelease (int, int)
 
virtual void exprMitlDisj ()
 
virtual void exprMitlConj ()
 
virtual void exprMitlNext ()
 
virtual void exprMitlAtom ()
 
virtual void property ()
 
virtual void scenario (const char *)
 
virtual void parse (const char *)
 
virtual void beginChanPriority ()
 
virtual void addChanPriority (char separator)
 
virtual void defaultChanPriority ()
 
virtual void incProcPriority ()
 
virtual void procPriority (const char *)
 
virtual void declDynamicTemplate (std::string)
 Dynamic. More...
 
virtual void exprSpawn (int)
 
virtual void exprExit ()
 
virtual void exprNumOf ()
 
virtual void exprForAllDynamicBegin (const char *, const char *)
 
virtual void exprForAllDynamicEnd (const char *name)
 
virtual void exprExistsDynamicBegin (const char *, const char *)
 
virtual void exprExistsDynamicEnd (const char *name)
 
virtual void exprSumDynamicBegin (const char *, const char *)
 
virtual void exprSumDynamicEnd (const char *)
 
virtual void exprForeachDynamicBegin (const char *, const char *)
 
virtual void exprForeachDynamicEnd (const char *name)
 
virtual void exprDynamicProcessExpr (const char *)
 
virtual void exprMITLForAllDynamicBegin (const char *, const char *)
 
virtual void exprMITLForAllDynamicEnd (const char *name)
 
virtual void exprMITLExistsDynamicBegin (const char *, const char *)
 
virtual void exprMITLExistsDynamicEnd (const char *name)
 
virtual void queryFormula (const char *formula, const char *location)
 
- Public Member Functions inherited from UTAP::ParserBuilder
virtual ~ParserBuilder ()
 
void handleWarning (const char *msg,...)
 
void handleError (const char *msg,...)
 

Additional Inherited Members

- Public Types inherited from UTAP::ParserBuilder
enum  PREFIX {
  PREFIX_NONE = 0, PREFIX_CONST = 1, PREFIX_URGENT = 2, PREFIX_BROADCAST = 4,
  PREFIX_URGENT_BROADCAST = 6, PREFIX_SYSTEM_META = 8, PREFIX_HYBRID = 16
}
 
- Public Attributes inherited from UTAP::ParserBuilder
std::vector< std::string > lscTemplateNames
 
- Protected Attributes inherited from UTAP::AbstractBuilder
position_t position
 

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  ref 
)
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.

References types.

void PrettyPrinter::declVar ( const char *  name,
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.

void PrettyPrinter::exprAssignment ( Constants::kind_t  op)
virtual
void PrettyPrinter::exprBinary ( Constants::kind_t  op)
virtual
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 *  field)
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::exprMitlBox ( int  low,
int  high 
)
virtual

Implements UTAP::ParserBuilder.

void PrettyPrinter::exprMitlDiamond ( int  low,
int  high 
)
virtual

Implements UTAP::ParserBuilder.

void PrettyPrinter::exprNary ( Constants::kind_t  op,
uint32_t  num 
)
virtual
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::exprProba ( bool  isTimedBound,
int  type,
double  proba,
int  ineq 
)
virtual
void PrettyPrinter::exprProba2 ( bool  isTimedBound,
int  type 
)
virtual

References UTAP::Constants::BOX.

void PrettyPrinter::exprProbaQuantitative ( int  isTimedBound,
Constants::kind_t  type,
bool  usesUntil 
)
virtual

Implements UTAP::ParserBuilder.

References UTAP::Constants::BOX.

void PrettyPrinter::exprScenario ( const char *  name)
virtual

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::exprSimulate ( int  nbRuns,
int  isTimedBound,
int  nbExpr,
bool  hasReach,
int  nbOfAcceptingRuns 
)
virtual

Implements UTAP::ParserBuilder.

void PrettyPrinter::exprStatement ( )
virtual

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::exprSumBegin ( const char *  name)
virtual

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::exprSumEnd ( const char *  name)
virtual

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::exprTernary ( Constants::kind_t  op)
virtual
void PrettyPrinter::exprTrue ( )
virtual

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::exprUnary ( Constants::kind_t  op)
virtual
void PrettyPrinter::forBegin ( )
virtual

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::forEnd ( )
virtual

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::handleError ( std::string  msg)
virtual

Implements UTAP::ParserBuilder.

void PrettyPrinter::handleWarning ( std::string  msg)
virtual

Implements UTAP::ParserBuilder.

void PrettyPrinter::ifBegin ( )
virtual

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::ifElse ( )
virtual

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::ifEnd ( bool  hasElse)
virtual

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::instantiationBegin ( const char *  id,
size_t  ,
const char *  templ 
)
virtual

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::instantiationEnd ( const char *  id,
size_t  parameters,
const char *  templ,
size_t  arguments 
)
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.

References types.

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,
const bool  isTA = true,
const std::string  type = "",
const std::string  mode = "" 
)
virtual

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::procEdgeBegin ( const char *  source,
const char *  target,
const bool  control 
)
virtual
void PrettyPrinter::procEdgeBegin ( const char *  source,
const char *  target,
const bool  control,
const char *  actname 
)
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::processListEnd ( )
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
void PrettyPrinter::procState ( const char *  id,
bool  hasInvariant,
bool  hasExpRate 
)
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.

void PrettyPrinter::procSync ( Constants::synchronisation_t  type)
virtual
void PrettyPrinter::procUpdate ( )
virtual

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::queryBegin ( )
virtual

Verification queries.

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::queryComment ( const char *  comment)
virtual

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::queryEnd ( )
virtual

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::queryFormula ( const char *  formula)
virtual
void PrettyPrinter::returnStatement ( bool  hasValue)
virtual

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::structField ( const char *  name)
virtual

Called to declare a field of a structure.

The type of the field has been reported using a typeXXX method prior to the call of structField(). In case of array fields, 'dim' expressions indicating the array sizes have been reported.

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::typeArrayOfSize ( size_t  )
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  )
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

Called whenever a boolean type is parsed.

Reimplemented from UTAP::AbstractBuilder.

References prefix_label.

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.

References prefix_label.

void PrettyPrinter::typeChannel ( PREFIX  )
virtual

Called whenever a channel type is parsed.

Reimplemented from UTAP::AbstractBuilder.

References prefix_label.

void PrettyPrinter::typeClock ( )
virtual
void PrettyPrinter::typeClock ( PREFIX  )
virtual

Called whenever a clock type is parsed.

Reimplemented from UTAP::AbstractBuilder.

References prefix_label.

void PrettyPrinter::typeDouble ( PREFIX  )
virtual

Called whenever a double type is parsed.

Reimplemented from UTAP::AbstractBuilder.

References prefix_label.

void PrettyPrinter::typeDuplicate ( )
virtual

Duplicate type at the top of the type stack.

Reimplemented from UTAP::AbstractBuilder.

void PrettyPrinter::typeInt ( PREFIX  )
virtual

Called whenever an integer type is parsed.

Reimplemented from UTAP::AbstractBuilder.

References prefix_label.

void PrettyPrinter::typeName ( PREFIX  ,
const char *  name 
)
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.

References prefix_label.

void PrettyPrinter::typePop ( )
virtual

Pop type at the topof the type stack.

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.

References prefix_label.

void PrettyPrinter::typeStruct ( PREFIX  ,
uint32_t  fields 
)
virtual

Called when a struct-type has been parsed.

Prior to the call 'fields' fields must have been declared using the structXXX methods.

Reimplemented from UTAP::AbstractBuilder.

References prefix_label.

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: