Hoa central
Implicit.php
Go to the documentation of this file.
1 <?php
2 
38 
39 use Hoa\Praspel;
40 use Hoa\Realdom;
41 
42 from('Hoa')
43 
44 
47 -> import('Realdom.Disjunction', true);
48 
57 class Implicit extends Variable
58 {
68  public function __construct(
69  $name,
70  $local,
71  Praspel\Model\Clause $clause = null
72  ) {
73  if ('this' !== $name) {
74  throw new Praspel\Exception\Model(
75  'Variable %s is not an implicit one.',
76  0,
77  $name
78  );
79  }
80 
81  parent::__construct($name, $local, $clause);
82 
83  $this->in = realdom()->object();
84 
85  return;
86  }
87 
94  public function bindTo($value)
95  {
96  foreach ($this->getDomains() as $domain) {
97  if ($domain instanceof Realdom\Object) {
98  $domain->setObject($value);
99  }
100  }
101 
102  return;
103  }
104 }
__construct($name, $local, Praspel\Model\Clause $clause=null)
Definition: Implicit.php:68