1: 2: 3: 4: 5: 6: 7: 8: 9: 10: 11: 12: 13: 14: 15: 16: 17: 18: 19: 20: 21: 22: 23: 24: 25: 26: 27: 28: 29: 30: 31: 32: 33: 34: 35: 36: 37: 38: 39: 40: 41: 42: 43: 44: 45: 46: 47: 48: 49: 50: 51: 52: 53: 54: 55: 56: 57: 58: 59: 60: 61: 62: 63: 64: 65: 66: 67: 68: 69: 70: 71: 72: 73: 74: 75: 76: 77: 78: 79: 80: 81:
<?php
/*
* This file is part of the webmozart/expression package.
*
* (c) Bernhard Schussek <bschussek@gmail.com>
*
* For the full copyright and license information, please view the LICENSE
* file that was distributed with this source code.
*/
namespace Webmozart\Expression\Logic;
use Webmozart\Expression\Expression;
/**
* Negates another expression.
*
* @since 1.0
*
* @author Bernhard Schussek <bschussek@gmail.com>
*/
final class Not extends Literal
{
/**
* @var Expression
*/
private $expr;
/**
* Creates the negation.
*
* @param Expression $expr The negated expression.
*/
public function __construct(Expression $expr)
{
$this->expr = $expr;
}
/**
* Returns the negated expression.
*
* @return Expression The negated expression.
*/
public function getNegatedExpression()
{
return $this->expr;
}
/**
* {@inheritdoc}
*/
public function evaluate($value)
{
return !$this->expr->evaluate($value);
}
/**
* {@inheritdoc}
*/
public function equivalentTo(Expression $other)
{
// Since this class is final, we can check with instanceof
return $other instanceof $this && $this->expr->equivalentTo($other->expr);
}
/**
* {@inheritdoc}
*/
public function toString()
{
$exprString = $this->expr->toString();
if (isset($exprString[0]) && '(' === $exprString[0]) {
return 'not'.$exprString;
}
return 'not('.$exprString.')';
}
}