faudes::StackSymbolSet Class Reference
[Pushdown PlugIn]

Container class to model a set of stack symbols. More...

#include <pd_basics.h>

List of all members.

Public Member Functions

 StackSymbolSet (void)
 Constructor.
 StackSymbolSet (const StackSymbolSet &rOtherSet)
 Copy-constructor.
 StackSymbolSet (const std::string &rFilename, const std::string &rLabel="StackSymbols")
 Construct from file.

Static Public Member Functions

static SymbolTableStaticSymbolTablep (void)
 Get pointer to static stack SymbolTable.

Protected Member Functions

virtual void DoAssign (const StackSymbolSet &rSourceSet)
 Assign from other stack symbol set.
virtual bool DoEqual (const StackSymbolSet &rOtherSet) const
 Test equality with other clock set.

Static Protected Attributes

static SymbolTable msSymbolTable
 Static global SymbolTable for stack symbol names.

Detailed Description

Container class to model a set of stack symbols.

Technically, this is a NameSet with a static SymbolTable to map symbolic stack symbol names to stack symbol indices. Thus, stack symbol names are global similar to event names.

Definition at line 43 of file pd_basics.h.


Constructor & Destructor Documentation

faudes::StackSymbolSet::StackSymbolSet ( void   ) 

Constructor.

Definition at line 31 of file pd_basics.cpp.

faudes::StackSymbolSet::StackSymbolSet ( const StackSymbolSet rOtherSet  ) 

Copy-constructor.

Parameters:
rOtherSet Set to copy

Definition at line 39 of file pd_basics.cpp.

faudes::StackSymbolSet::StackSymbolSet ( const std::string &  rFilename,
const std::string &  rLabel = "StackSymbols" 
)

Construct from file.

Uses the NameSet's Read() function to scan a file for a specified clockset.

Parameters:
rFilename File to read
rLabel Section label for the clocks in the file; default value "Clocks"

Definition at line 44 of file pd_basics.cpp.


Member Function Documentation

void faudes::StackSymbolSet::DoAssign ( const StackSymbolSet rSourceSet  )  [protected, virtual]

Assign from other stack symbol set.

Parameters:
rSourceSet Destination to copy from
Returns:
ref to this set

Definition at line 59 of file pd_basics.cpp.

bool faudes::StackSymbolSet::DoEqual ( const StackSymbolSet rOtherSet  )  const [protected, virtual]

Test equality with other clock set.

Parameters:
rOtherSet Set to compare with
Returns:
True/false

Definition at line 65 of file pd_basics.cpp.

SymbolTable * faudes::StackSymbolSet::StaticSymbolTablep ( void   )  [static]

Get pointer to static stack SymbolTable.

Returns:
Pointer to static stack SymbolTable

Definition at line 71 of file pd_basics.cpp.


Member Data Documentation

Static global SymbolTable for stack symbol names.

Definition at line 85 of file pd_basics.h.


The documentation for this class was generated from the following files:

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen