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: 82: 83: 84: 85: 86: 87: 88: 89: 90: 91: 92: 93: 94: 95: 96: 97: 98: 99: 100: 101: 102: 103: 104: 105: 106: 107: 108: 109: 110: 111: 112: 113: 114: 115: 116: 117: 118: 119: 120: 121: 122: 123: 124: 125: 126: 127: 128: 129: 130: 131: 132: 133: 134: 135: 136: 137: 138: 139: 140: 141: 142: 143: 144: 145: 146: 147: 148: 149: 150: 151: 152: 153: 154: 155: 156: 157: 158: 159: 160: 161: 162: 163: 164: 165: 166: 167: 168: 169: 170: 171: 172: 173: 174: 175: 176: 177: 178: 179: 180: 181: 182: 183: 184: 185: 186: 187: 188: 189: 190: 191: 192: 193: 194: 195: 196: 197: 198: 199: 200: 201: 202: 203: 204: 205: 206: 207: 208: 209: 210: 211: 212: 213: 214: 215: 216: 217: 218: 219: 220: 221: 222: 223: 224: 225: 226: 227: 228: 229: 230: 231: 232: 233: 234: 235: 236: 237: 238: 239: 240: 241: 242: 243: 244: 245: 246: 247: 248: 249: 250: 251: 252: 253: 254: 255: 256: 257: 258: 259: 260: 261: 262: 263: 264: 265: 266: 267: 268: 269: 270: 271: 272: 273: 274: 275: 276: 277: 278: 279: 280: 281: 282: 283: 284: 285: 286: 287: 288: 289: 290: 291: 292: 293: 294: 295: 296: 297: 298: 299: 300: 301:
<?php
namespace Webmozart\Expression\Logic;
use Webmozart\Expression\Expr;
use Webmozart\Expression\Expression;
final class Disjunction implements Expression
{
private $disjuncts = array();
public function __construct(array $disjuncts = array())
{
foreach ($disjuncts as $disjunct) {
if ($disjunct instanceof self) {
foreach ($disjunct->disjuncts as $expr) {
$this->disjuncts[] = $expr;
}
} else {
$this->disjuncts[] = $disjunct;
}
}
}
public function getDisjuncts()
{
return $this->disjuncts;
}
public function orX(Expression $expr)
{
if ($expr instanceof AlwaysFalse) {
return $this;
} elseif ($expr instanceof AlwaysTrue) {
return $expr;
}
foreach ($this->disjuncts as $disjunct) {
if ($disjunct->equivalentTo($expr)) {
return $this;
}
}
$disjuncts = $this->disjuncts;
if ($expr instanceof self) {
$disjuncts = array_merge($disjuncts, $expr->disjuncts);
} else {
$disjuncts[] = $expr;
}
return new self($disjuncts);
}
public function orNot(Expression $expr)
{
return $this->orX(Expr::not($expr));
}
public function orTrue()
{
return Expr::true();
}
public function orFalse()
{
return $this;
}
public function orKey($keyName, Expression $expr)
{
return $this->orX(Expr::key($keyName, $expr));
}
public function orMethod($methodName, $args)
{
return $this->orX(call_user_func_array(array('Webmozart\Expression\Expr', 'method'), func_get_args()));
}
public function orProperty($propertyName, Expression $expr)
{
return $this->orX(Expr::property($propertyName, $expr));
}
public function orAtLeast($count, Expression $expr)
{
return $this->orX(Expr::atLeast($count, $expr));
}
public function orAtMost($count, Expression $expr)
{
return $this->orX(Expr::atMost($count, $expr));
}
public function orExactly($count, Expression $expr)
{
return $this->orX(Expr::exactly($count, $expr));
}
public function orCount(Expression $expr)
{
return $this->orX(Expr::count($expr));
}
public function orAll(Expression $expr)
{
return $this->orX(Expr::all($expr));
}
public function orNull()
{
return $this->orX(Expr::null());
}
public function orNotNull()
{
return $this->orX(Expr::notNull());
}
public function orEmpty()
{
return $this->orX(Expr::isEmpty());
}
public function orNotEmpty()
{
return $this->orX(Expr::notEmpty());
}
public function orInstanceOf($className)
{
return $this->orX(Expr::isInstanceOf($className));
}
public function orEquals($value)
{
return $this->orX(Expr::equals($value));
}
public function orNotEquals($value)
{
return $this->orX(Expr::notEquals($value));
}
public function orSame($value)
{
return $this->orX(Expr::same($value));
}
public function orNotSame($value)
{
return $this->orX(Expr::notSame($value));
}
public function orGreaterThan($value)
{
return $this->orX(Expr::greaterThan($value));
}
public function orGreaterThanEqual($value)
{
return $this->orX(Expr::greaterThanEqual($value));
}
public function orLessThan($value)
{
return $this->orX(Expr::lessThan($value));
}
public function orLessThanEqual($value)
{
return $this->orX(Expr::lessThanEqual($value));
}
public function orIn(array $values)
{
return $this->orX(Expr::in($values));
}
public function orMatches($regExp)
{
return $this->orX(Expr::matches($regExp));
}
public function orStartsWith($prefix)
{
return $this->orX(Expr::startsWith($prefix));
}
public function orEndsWith($suffix)
{
return $this->orX(Expr::endsWith($suffix));
}
public function orContains($string)
{
return $this->orX(Expr::contains($string));
}
public function orKeyExists($keyName)
{
return $this->orX(Expr::keyExists($keyName));
}
public function orKeyNotExists($keyName)
{
return $this->orX(Expr::keyNotExists($keyName));
}
public function evaluate($values)
{
foreach ($this->disjuncts as $expr) {
if ($expr->evaluate($values)) {
return true;
}
}
return false;
}
public function equivalentTo(Expression $other)
{
if (get_class($this) !== get_class($other)) {
return false;
}
$leftDisjuncts = $this->disjuncts;
$rightDisjuncts = $other->disjuncts;
foreach ($leftDisjuncts as $leftDisjunct) {
foreach ($rightDisjuncts as $j => $rightDisjunct) {
if ($leftDisjunct->equivalentTo($rightDisjunct)) {
unset($rightDisjuncts[$j]);
continue 2;
}
}
return false;
}
return 0 === count($rightDisjuncts);
}
public function toString()
{
return implode(' || ', array_map(function (Expression $disjunct) {
return $disjunct instanceof Conjunction ? '('.$disjunct->toString().')' : $disjunct->toString();
}, $this->disjuncts));
}
public function __toString()
{
return $this->toString();
}
}