PUMA Library Reference Manual
Loading...
Searching...
No Matches
Puma::PreAssertDirective Class Reference

#include <Puma/PreTreeNodes.h>

+ Inheritance diagram for Puma::PreAssertDirective:

Description

Preprocessor tree node representing an #assert directive.

Example:

#assert OSTYPE (linux)

Public Member Functions

 PreAssertDirective (PreTree *a, PreTree *p, PreTree *an)
 Constructor.
 
 PreAssertDirective (PreTree *a, PreTree *tl)
 Constructor.
 
void accept (PreVisitor &v)
 Part of the tree visitor pattern.
 
- Public Member Functions inherited from Puma::PreTreeComposite
virtual ~PreTreeComposite ()
 Destructor.
 
virtual void add_son (PreTree *s)
 Add a son (syntactic child node).
 
virtual void replace_son (int n, PreTree *new_s)
 Replace the n-th son.
 
virtual PreTreeson (int n) const
 Get the n-th son.
 
virtual int sons () const
 Get the number of sons.
 
virtual void add_daughter (PreTree *d)
 Add a daughter (semantic child node).
 
virtual void replace_daughter (int n, PreTree *new_d)
 Replace the n-th daughter.
 
virtual PreTreedaughter (int n) const
 Get the n-th daughter.
 
virtual int daughters () const
 Get the number of daughters.
 
virtual TokenstartToken () const
 Get the first token of the syntactic construct represented by the sub-tree.
 
virtual TokenendToken () const
 Get the last token of the syntactic construct represented by the sub-tree.
 
- Public Member Functions inherited from Puma::PreTree
virtual ~PreTree ()
 Destructor.
 
virtual bool isLeaf () const
 Check if the node is a leaf, i.e.
 

Additional Inherited Members

- Static Public Attributes inherited from Puma::PreTreeComposite
static const int DYNAMIC = -1
 Dynamic number of sons and daughters.
 
- Protected Member Functions inherited from Puma::PreTreeComposite
 PreTreeComposite (int s, int d)
 Constructor.
 
- Protected Member Functions inherited from Puma::PreTree
 PreTree ()
 Constructor.
 

Constructor & Destructor Documentation

◆ PreAssertDirective() [1/2]

Puma::PreAssertDirective::PreAssertDirective ( PreTree * a,
PreTree * p,
PreTree * an )
inline

Constructor.

Parameters
aThe #assert token.
pThe predicate name.
anThe answer to the predicate.

◆ PreAssertDirective() [2/2]

Puma::PreAssertDirective::PreAssertDirective ( PreTree * a,
PreTree * tl )
inline

Constructor.

Parameters
aThe #assert token.
tlThe remaining tokens of the line.

Member Function Documentation

◆ accept()

void Puma::PreAssertDirective::accept ( PreVisitor & v)
inlinevirtual

Part of the tree visitor pattern.

Calls the node visiting functions suitable for this node type.

Parameters
vThe visitor object on which to call the visiting functions.

Implements Puma::PreTreeComposite.