Hoa central
Public Attributes | Protected Member Functions | Static Protected Attributes | List of all members
Hoa\Praspel\Model\DefaultBehavior Class Reference
Inheritance diagram for Hoa\Praspel\Model\DefaultBehavior:

Public Attributes

const NAME = 'default'
 
- Public Attributes inherited from Hoa\Praspel\Model\Behavior
const NAME = 'behavior'
 

Protected Member Functions

 _getId ()
 
- Protected Member Functions inherited from Hoa\Praspel\Model\Behavior
 _getId ()
 
- Protected Member Functions inherited from Hoa\Praspel\Model\Clause
 setParent (Clause $parent)
 
 _getId ()
 

Static Protected Attributes

static $_allowedClauses
 
- Static Protected Attributes inherited from Hoa\Praspel\Model\Behavior
static $_allowedClauses
 

Additional Inherited Members

- 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 ()
 
- Protected Attributes inherited from Hoa\Praspel\Model\Behavior
 $_clauses = []
 
 $_identifier = null
 
- Protected Attributes inherited from Hoa\Praspel\Model\Clause
 $_parent = null
 

Detailed Description

Class .

Represent a default behavior.

Definition at line 47 of file DefaultBehavior.php.

Member Function Documentation

Hoa\Praspel\Model\DefaultBehavior::_getId ( )
protected

Get identifier (fallback).

Returns
string

Definition at line 74 of file DefaultBehavior.php.

75  {
76  return $this->getName();
77  }

Here is the call graph for this function:

Member Data Documentation

Hoa\Praspel\Model\DefaultBehavior::$_allowedClauses
staticprotected
Initial value:
= [
'invariant',
'ensures',
'throwable'
]

Definition at line 61 of file DefaultBehavior.php.

const Hoa\Praspel\Model\DefaultBehavior::NAME = 'default'

Name.

string

Definition at line 54 of file DefaultBehavior.php.


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