Documentation

UnaryOperator extends Operator
in package

AbstractYes
Tags
no-named-arguments

Parameter names are not covered by the backward compatibility promise for PHPUnit

Table of Contents

Properties

$constraint  : Constraint

Methods

__construct()  : mixed
arity()  : int
Returns the number of operands (constraints).
count()  : int
Counts the number of constraint elements.
evaluate()  : bool|null
Evaluates the constraint for parameter $other.
operator()  : string
Returns the name of this operator.
precedence()  : int
Returns this operator's precedence.
toString()  : string
Returns a string representation of the constraint.
additionalFailureDescription()  : string
Return additional failure description where needed.
checkConstraint()  : Constraint
Validates $constraint argument.
constraint()  : Constraint
Provides access to $this->constraint for subclasses.
constraintNeedsParentheses()  : bool
Returns true if the $constraint needs to be wrapped with parentheses.
exporter()  : Exporter
fail()  : never
Throws an exception for the given compared value and test description.
failureDescription()  : string
Returns the description of the failure.
failureDescriptionInContext()  : string
Returns the description of the failure when this constraint appears in context of an $operator expression.
matches()  : bool
Evaluates the constraint for parameter $other. Returns true if the constraint is met, false otherwise.
reduce()  : self
Reduces the sub-expression starting at $this by skipping degenerate sub-expression and returns first descendant constraint that starts a non-reducible sub-expression.
toStringInContext()  : string
Returns a custom string representation of the constraint object when it appears in context of an $operator expression.
transformString()  : string
Transforms string returned by the memeber constraint's toString() or failureDescription() such that it reflects constraint's participation in this expression.
valueToTypeStringFragment()  : string

Properties

Methods

__construct()

public __construct(mixed $constraint) : mixed
Parameters
$constraint : mixed

arity()

Returns the number of operands (constraints).

public arity() : int
Return values
int

count()

Counts the number of constraint elements.

public count() : int
Return values
int

evaluate()

Evaluates the constraint for parameter $other.

public evaluate(mixed $other[, string $description = '' ][, bool $returnResult = false ]) : bool|null

If $returnResult is set to false (the default), an exception is thrown in case of a failure. null is returned otherwise.

If $returnResult is true, the result of the evaluation is returned as a boolean value instead: true in case of success, false in case of a failure.

Parameters
$other : mixed
$description : string = ''
$returnResult : bool = false
Tags
throws
ExpectationFailedException
Return values
bool|null

operator()

Returns the name of this operator.

public abstract operator() : string
Return values
string

toString()

Returns a string representation of the constraint.

public toString() : string
Return values
string

additionalFailureDescription()

Return additional failure description where needed.

protected additionalFailureDescription(mixed $other) : string

The function can be overridden to provide additional failure information like a diff

Parameters
$other : mixed
Return values
string

checkConstraint()

Validates $constraint argument.

protected checkConstraint(mixed $constraint) : Constraint
Parameters
$constraint : mixed
Return values
Constraint

constraintNeedsParentheses()

Returns true if the $constraint needs to be wrapped with parentheses.

protected constraintNeedsParentheses(Constraint $constraint) : bool
Parameters
$constraint : Constraint
Return values
bool

fail()

Throws an exception for the given compared value and test description.

protected fail(mixed $other, string $description[, ComparisonFailure|null $comparisonFailure = null ]) : never
Parameters
$other : mixed
$description : string
$comparisonFailure : ComparisonFailure|null = null
Tags
throws
ExpectationFailedException
Return values
never

failureDescription()

Returns the description of the failure.

protected failureDescription(mixed $other) : string

The beginning of failure messages is "Failed asserting that" in most cases. This method should return the second part of that sentence.

Parameters
$other : mixed
Return values
string

failureDescriptionInContext()

Returns the description of the failure when this constraint appears in context of an $operator expression.

protected failureDescriptionInContext(Operator $operator, mixed $role, mixed $other) : string

The purpose of this method is to provide meaningful failure description in context of operators such as LogicalNot. Native PHPUnit constraints are supported out of the box by LogicalNot, but externally developed ones had no way to provide correct messages in this context.

The method shall return empty string, when it does not handle customization by itself.

Parameters
$operator : Operator
$role : mixed
$other : mixed
Return values
string

matches()

Evaluates the constraint for parameter $other. Returns true if the constraint is met, false otherwise.

protected matches(mixed $other) : bool

This method can be overridden to implement the evaluation algorithm.

Parameters
$other : mixed
Return values
bool

reduce()

Reduces the sub-expression starting at $this by skipping degenerate sub-expression and returns first descendant constraint that starts a non-reducible sub-expression.

protected reduce() : self

Returns $this for terminal constraints and for operators that start non-reducible sub-expression, or the nearest descendant of $this that starts a non-reducible sub-expression.

A constraint expression may be modelled as a tree with non-terminal nodes (operators) and terminal nodes. For example:

 LogicalOr           (operator, non-terminal)
 + LogicalAnd        (operator, non-terminal)
 | + IsType('int')   (terminal)
 | + GreaterThan(10) (terminal)
 + LogicalNot        (operator, non-terminal)
   + IsType('array') (terminal)

A degenerate sub-expression is a part of the tree, that effectively does not contribute to the evaluation of the expression it appears in. An example of degenerate sub-expression is a BinaryOperator constructed with single operand or nested BinaryOperators, each with single operand. An expression involving a degenerate sub-expression is equivalent to a reduced expression with the degenerate sub-expression removed, for example

 LogicalAnd          (operator)
 + LogicalOr         (degenerate operator)
 | + LogicalAnd      (degenerate operator)
 |   + IsType('int') (terminal)
 + GreaterThan(10)   (terminal)

is equivalent to

 LogicalAnd          (operator)
 + IsType('int')     (terminal)
 + GreaterThan(10)   (terminal)

because the subexpression

 + LogicalOr
   + LogicalAnd
     + -

is degenerate. Calling reduce() on the LogicalOr object above, as well as on LogicalAnd, shall return the IsType('int') instance.

Other specific reductions can be implemented, for example cascade of LogicalNot operators

 + LogicalNot
   + LogicalNot
     +LogicalNot
      + IsTrue

can be reduced to

 LogicalNot
 + IsTrue
Return values
self

toStringInContext()

Returns a custom string representation of the constraint object when it appears in context of an $operator expression.

protected toStringInContext(Operator $operator, mixed $role) : string

The purpose of this method is to provide meaningful descriptive string in context of operators such as LogicalNot. Native PHPUnit constraints are supported out of the box by LogicalNot, but externally developed ones had no way to provide correct strings in this context.

The method shall return empty string, when it does not handle customization by itself.

Parameters
$operator : Operator
$role : mixed
Return values
string

transformString()

Transforms string returned by the memeber constraint's toString() or failureDescription() such that it reflects constraint's participation in this expression.

protected transformString(string $string) : string

The method may be overwritten in a subclass to apply default transformation in case the operand constraint does not provide its own custom strings via toStringInContext() or failureDescriptionInContext().

Parameters
$string : string
Return values
string

valueToTypeStringFragment()

protected valueToTypeStringFragment(mixed $value) : string
Parameters
$value : mixed
Tags
psalm-return

non-empty-string

Return values
string 

        

        
    




    

    

                                

                

                                
    

        On this page

        
    


                

                            

            

    

        

            
Search results