Esempio n. 1
0
function f()
{
    \HH\invariant(1 == 1, 'test');
    \HH\invariant_violation('test2');
}
 public function key()
 {
     \HH\invariant_violation("Cannot Access Key");
 }
Esempio n. 3
0
function f()
{
    \HH\invariant(1 == 1, "test");
    \HH\invariant_violation("test2");
}