Hoa central
Public Attributes | List of all members
Hoa\Praspel\Model\Ensures Class Reference
Inheritance diagram for Hoa\Praspel\Model\Ensures:

Public Attributes

const NAME = 'ensures'
 

Additional Inherited Members

- Public Member Functions inherited from Hoa\Praspel\Model\Declaration
 offsetExists ($offset)
 
 offsetGet ($offset)
 
 getVariable ($name, $borrowing=false)
 
 addVariable ($name, Variable $variable)
 
 offsetSet ($offset, $value)
 
 offsetUnset ($offset)
 
 __get ($name)
 
 getIterator ()
 
 count ()
 
getLocalVariables ()
 
 getInScopeVariables ()
 
 predicate ($predicate)
 
 getPredicates ()
 
- 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)
 
- Protected Member Functions inherited from Hoa\Praspel\Model\Clause
 setParent (Clause $parent)
 
 _getId ()
 
- Protected Attributes inherited from Hoa\Praspel\Model\Declaration
 $_variables = []
 
 $_predicates = []
 
 $_let = false
 
- Protected Attributes inherited from Hoa\Praspel\Model\Clause
 $_parent = null
 

Detailed Description

Class .

Represent the clause.

Definition at line 47 of file Ensures.php.

Member Data Documentation

const Hoa\Praspel\Model\Ensures::NAME = 'ensures'

Name.

string

Definition at line 54 of file Ensures.php.


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