Hoa central
List of all members
Hoa\Praspel\Trace Class Reference
Inheritance diagram for Hoa\Praspel\Trace:

Additional Inherited Members

- Public Member Functions inherited from Hoa\Praspel\Model\Specification
 __construct ()
 
 getImplicitVariable ($identifier)
 
 bindToClass ($classname)
 
 getBindedClass ()
 
- Public Member Functions inherited from Hoa\Praspel\Model\Behavior
 getClause ($clause)
 
 addClause (Clause $clause)
 
 clauseExists ($clause)
 
 setIdentifier ($identifier)
 
 getIdentifier ()
 
- Public Member Functions inherited from Hoa\Praspel\Model\Clause
 __construct (Clause $parent)
 
 getParent ()
 
 getRoot ()
 
 getName ()
 
 getId ()
 
 accept (Visitor\Visit $visitor, &$handle=null, $eldnah=null)
 
- Public Member Functions inherited from Hoa\Visitor\Element
 accept (Visit $visitor, &$handle=null, $eldnah=null)
 
- Static Public Member Functions inherited from Hoa\Praspel\Model\Behavior
static getAllowedClauses ()
 
- Public Attributes inherited from Hoa\Praspel\Model\Specification
const NAME = ''
 
- Public Attributes inherited from Hoa\Praspel\Model\Behavior
const NAME = 'behavior'
 
- Protected Member Functions inherited from Hoa\Praspel\Model\Specification
 _getId ()
 
- Protected Member Functions inherited from Hoa\Praspel\Model\Behavior
 _getId ()
 
- Protected Member Functions inherited from Hoa\Praspel\Model\Clause
 setParent (Clause $parent)
 
 _getId ()
 
- Protected Attributes inherited from Hoa\Praspel\Model\Specification
 $_implicitVariables = []
 
 $_bindedClass = null
 
- Protected Attributes inherited from Hoa\Praspel\Model\Behavior
 $_clauses = []
 
 $_identifier = null
 
- Protected Attributes inherited from Hoa\Praspel\Model\Clause
 $_parent = null
 
- Static Protected Attributes inherited from Hoa\Praspel\Model\Specification
static $_allowedClauses
 
- Static Protected Attributes inherited from Hoa\Praspel\Model\Behavior
static $_allowedClauses
 

Detailed Description

Class .

A trace is a derivated specification.

Definition at line 47 of file Trace.php.


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