PHP PHPSA Variable::dec Examples

dec() public method

Decrement value of the variable

public dec ( )

Example #1

File: VariableTest.php Project: sekjun9878/phpsa

 public function testDecValue()
 {
     $variable = new Variable('a', 1, CompiledExpression::INTEGER);
     static::assertSame(1, $variable->getValue());
     $variable->dec();
     static::assertSame(0, $variable->getValue());
     $variable->dec();
     static::assertSame(-1, $variable->getValue());
     $variable->dec();
     $variable->dec();
     static::assertSame(-3, $variable->getValue());
 }