enumPresence
enum Presence: string
Restricted visibility: declared "@visibility root". Code outside that scope must not name this declaration.
Whether a variable exists, independently of its value domain.
Cases§
case Present = 'present'case Absent = 'absent'case Maybe = 'maybe'Test cases 10§
Test cases that cover or call this symbol, from the coverage report and from the analyzed test sources.
Dedicated tests 1
Other tests reaching this symbol 9
SliceExecutorTest::testSplitBoundsIntermediateProductsWithoutLosingValuescallsWriteEffectsTest::testApplyInvalidatesAbsenceAndValuesWithoutChangingUnrelatedBindingscallsWriteEffectsTest::testAssignmentInvalidatesAliasValuesBeforeWritingTheTargetcallsExpressionEvaluatorTest::testEvaluateTraversesIncludeEffectsBeforeReadingAnotherOperandcallsEnvironmentTest::testInvalidateDoesNotTurnUnknownWritesIntoEmptyStringscallsEnvironmentTest::testJoinPreservesCombinationUncertaintyAndPresenceWithoutInventingItcallsEnvironmentTest::testMarkAbsentSurvivesCopyAndJoincallsEnvironmentTest::testNarrowDoesNotTurnPossibleAbsenceIntoPresentNullcallsEnvironmentTest::testPresenceSeparatesUndefinedNullAndUnknowncalls
Relations§
Constant reads 9
- class-const SqlCatalog\Core\Evaluation\Environment::__construct() packages/sql-catalog/src/Core/Evaluation/Environment.php:44
- class-const SqlCatalog\Core\Evaluation\Environment::read() packages/sql-catalog/src/Core/Evaluation/Environment.php:52
- class-const SqlCatalog\Core\Evaluation\Environment::write() packages/sql-catalog/src/Core/Evaluation/Environment.php:70
- class-const SqlCatalog\Core\Evaluation\Environment::narrow() packages/sql-catalog/src/Core/Evaluation/Environment.php:80
- class-const SqlCatalog\Core\Evaluation\Environment::join() packages/sql-catalog/src/Core/Evaluation/Environment.php:135
- class-const SqlCatalog\Core\Evaluation\Environment::presence() packages/sql-catalog/src/Core/Evaluation/Environment.php:149
- class-const SqlCatalog\Core\Evaluation\Environment::markAbsent() packages/sql-catalog/src/Core/Evaluation/Environment.php:158
- class-const SqlCatalog\Core\Evaluation\Environment::invalidate() packages/sql-catalog/src/Core/Evaluation/Environment.php:168
- class-const SqlCatalog\Core\Evaluation\Environment::signature() packages/sql-catalog/src/Core/Evaluation/Environment.php:190