, class-string>
*/
private const BINARY_OP_TO_INVERSE_CLASSES = [Identical::class => NotIdentical::class, NotIdentical::class => Identical::class, Equal::class => NotEqual::class, NotEqual::class => Equal::class, Greater::class => SmallerOrEqual::class, Smaller::class => GreaterOrEqual::class, GreaterOrEqual::class => Smaller::class, SmallerOrEqual::class => Greater::class];
/**
* @var array, class-string>
*/
private const ASSIGN_OP_TO_BINARY_OP_CLASSES = [AssignBitwiseOr::class => BitwiseOr::class, AssignBitwiseAnd::class => BitwiseAnd::class, AssignBitwiseXor::class => BitwiseXor::class, AssignPlus::class => Plus::class, AssignDiv::class => Div::class, AssignMul::class => Mul::class, AssignMinus::class => Minus::class, AssignConcat::class => Concat::class, AssignPow::class => Pow::class, AssignMod::class => Mod::class, AssignShiftLeft::class => ShiftLeft::class, AssignShiftRight::class => ShiftRight::class];
/**
* @var array, class-string>
*/
private $binaryOpToAssignClasses = [];
public function __construct(NodeTypeResolver $nodeTypeResolver)
{
$this->nodeTypeResolver = $nodeTypeResolver;
/** @var array, class-string> $binaryClassesToAssignOp */
$binaryClassesToAssignOp = \array_flip(self::ASSIGN_OP_TO_BINARY_OP_CLASSES);
$this->binaryOpToAssignClasses = $binaryClassesToAssignOp;
}
/**
* @return class-string|null
*/
public function getAlternative(Node $node) : ?string
{
$nodeClass = \get_class($node);
if ($node instanceof AssignOp) {
return self::ASSIGN_OP_TO_BINARY_OP_CLASSES[$nodeClass] ?? null;
}
if ($node instanceof BinaryOp) {
return $this->binaryOpToAssignClasses[$nodeClass] ?? null;
}
return null;
}
/**
* @return class-string|null
*/
public function getInversed(BinaryOp $binaryOp) : ?string
{
$nodeClass = \get_class($binaryOp);
return self::BINARY_OP_TO_INVERSE_CLASSES[$nodeClass] ?? null;
}
public function getTruthyExpr(Expr $expr) : Expr
{
if ($expr instanceof Bool_) {
return $expr;
}
if ($expr instanceof BooleanNot) {
return $expr;
}
$exprType = $this->nodeTypeResolver->getType($expr);
// $type = $scope->getType($expr);
if ($exprType->isBoolean()->yes()) {
return $expr;
}
return new Bool_($expr);
}
}