classEvaluationContractException

packages/deriver/src/Exception/EvaluationContractException.php:16

final class EvaluationContractException
    extends RuntimeException

Public API: explicitly declared with @visibility public.

A registered evaluator violates the contract required for sound analysis.

Inspecting a evaluator contract failuredoctest

(new \Deriver\Exception\EvaluationContractException('Invalid domain join'))->getMessage() // => 'Invalid domain join'

Test cases 13§

Test cases that cover or call this symbol, from the coverage report and from the analyzed test sources.

Dedicated tests 1

EvaluationContractExceptionTest::testGetMessagePreservesTheModelFailureCause calls

Other tests reaching this symbol 12

ExtensionFailureTest::testMicroEvaluatorFailuresPropagateWithTheirIdentity calls
MicroEvaluatorTest::testCallbackFailureReportsTheEvaluatorIdentity calls
MicroEvaluatorTest::testInvalidInputDemandReportsTheEvaluatorIdentity calls
DomainOperationsTest::testApplyRejectsFactsOwnedByAnotherDomain calls
DomainOperationsTest::testApplyRejectsUnknownOperations calls
DomainOperationsTest::testApplyRejectsWideningThatDoesNotContainBothInputs calls
DomainOperationsTest::testRegistrationRejectsViolationsOfTheDeclaredLaws calls
CallResolutionTest::testBodyRejectsInvalidPlansAndKeepsTheCallSpecificFailureReason calls
IntrinsicEvaluationTest::testEvaluateRejectsAnArityMismatchAsAContractFailure calls
IntrinsicEvaluationTest::testEvaluateRejectsIncompleteArguments calls
RequestTest::testRegisterRejectsAbsentInputsWithoutExpandingSource calls
BranchTest::testInputRejectsAnAbsentConditionOperand calls

Relations§

Instantiated in 15

new Deriver\Deriver\Evaluator\CallEvaluation::evaluate() packages/deriver/src/Deriver/Evaluator/CallEvaluation.php:62
new Deriver\Deriver\Evaluator\CallEvaluation::evaluate() packages/deriver/src/Deriver/Evaluator/CallEvaluation.php:73
new Deriver\Deriver\Evaluator\CallEvaluation::demand() packages/deriver/src/Deriver/Evaluator/CallEvaluation.php:93
new Deriver\Deriver\Evaluator\CallEvaluation::demand() packages/deriver/src/Deriver/Evaluator/CallEvaluation.php:99
new Deriver\Deriver\Evaluator\Domain\DomainOperations::registration() packages/deriver/src/Deriver/Evaluator/Domain/DomainOperations.php:27
new Deriver\Deriver\Evaluator\Domain\DomainOperations::apply() packages/deriver/src/Deriver/Evaluator/Domain/DomainOperations.php:50
new Deriver\Deriver\Evaluator\Domain\DomainOperations::apply() packages/deriver/src/Deriver/Evaluator/Domain/DomainOperations.php:53
new Deriver\Deriver\Evaluator\Execution\Call\CallResolution::body() packages/deriver/src/Deriver/Evaluator/Execution/Call/CallResolution.php:79
new Deriver\Deriver\Evaluator\Intrinsic\IntrinsicEvaluation::evaluate() packages/deriver/src/Deriver/Evaluator/Intrinsic/IntrinsicEvaluation.php:28
new Deriver\Deriver\Evaluator\Micro\ConfiguredEvaluator::evaluate() packages/deriver/src/Deriver/Evaluator/Micro/ConfiguredEvaluator.php:53
new Deriver\Deriver\Evaluator\Micro\Request::__construct() packages/deriver/src/Deriver/Evaluator/Micro/Request.php:31
new Deriver\Deriver\Evaluator\Micro\Request::register() packages/deriver/src/Deriver/Evaluator/Micro/Request.php:94
new Deriver\Deriver\Evaluator\Micro\Request::instruction() packages/deriver/src/Deriver/Evaluator/Micro/Request.php:105
new Deriver\Deriver\Evaluator\Micro\ReturnEvaluator::input() packages/deriver/src/Deriver/Evaluator/Micro/ReturnEvaluator.php:65
new Deriver\Deriver\Evaluator\Predicate\Branch::input() packages/deriver/src/Deriver/Evaluator/Predicate/Branch.php:65