classLiteralTerm

packages/sql-catalog/src/Core/Evaluation/LiteralTerm.php:16

final class LiteralTerm
    implements Term

Restricted visibility: declared "@visibility root". Code outside that scope must not name this declaration.

A scalar the analyzer resolved exactly.

Properties§

public string|int|float|bool|null $value

source §

Methods§

public function __construct(public string|int|float|bool|null $value)

source §

Parameters

$value string|int|float|bool|null The resolved value

public function toPattern(): TextPattern

source §

The value as PHP writes it into a string.

Returns

TextPattern

Test cases 2

Calls 2

static-call TextPattern::fromText() line 33
method-call LiteralTerm::toText() line 33

public function toText(): string

source §

The value cast to a string the way PHP casts it.

Returns

string

Test cases 1

LiteralTermTest::testToText calls

Called from 2

public function type(): TypeShape

source §

The scalar type of the resolved value.

Returns

TypeShape

Test cases 2

Calls 4

static-call TypeShape::of() line 61
function-call is_bool line 63
function-call is_int line 66
function-call is_float line 69

public function signature(): string

source §

The value tagged with its type so 1 and '1' stay distinct.

Returns

string

Test cases 2

Calls 2

function-call get_debug_type line 82
method-call LiteralTerm::toText() line 82

Private surface 1§

Implementation details, listed for orientation only.

private ?string $signature = null

Test cases 67§

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

Dedicated tests 4

Other tests reaching this symbol 63

CatalogCommandTest calls
BuiltinCallModelTest calls
CallEvaluatorTest calls
ConstantReaderTest calls
BindingTest calls
CalleeReturnsTest calls
CallersTest calls
DeriverTest calls
EntryBinderTest::testAffordableJoinsTheWaysInBeyondTheLimitIntoOne calls
CallbackEffectsTest calls
ObjectEffectsTest calls
PropertyWritesTest calls
SliceExecutorTest::providerSplitKeepsWhole calls
SliceExecutorTest::testSplitGoesOnPastANameWithNoValuesToTellApart calls
SliceExecutorTest::testSplitJoinsWhatGoesPastTheLimit calls
SliceExecutorTest::testSplitPairsEveryValueOfEveryName calls
SliceExecutorTest::testSplitSkipsANameTheEnvironmentDoesNotBind calls
SliceExecutorTest::testSplitWithALimitBelowTwoKeepsTheEnvironment calls
SliceExecutorTest::testSplitWritesOneEnvironmentPerValue calls
SolutionTest calls
WriteEffectsTest calls
EntryFactoryTest calls
ExpressionEvaluatorTest calls
NamedModelTest calls
RegistryTest calls
InterpreterTest::testRecordStatementsMarksAStatementCombinedWhenEitherTheTextOrTheReadingIs calls
ModelQueriesTest calls
QueryRecordTest calls
ReferenceEvaluatorTest::testReadVariablePreservesProvenanceAndDomainFlagsWhileNamingOpaqueValues calls
ValueBinderTest calls
ValueDomainTest calls
ArrayEntryTest calls
ArrayTermTest calls
CallResultsTest calls
DomainTest::testAsTermCollapsesAResolvedPatternToALiteral calls
DomainTest::testFromTermsDeduplicatesAlternatives calls
DomainTest::testFromTermsGeneralizesBeyondTheBound calls
DomainTest::testGeneralizeCoversEveryAlternative calls
DomainTest::testOfHoldsOneAlternative calls
DomainTest::testWithVariableNamesOnlyOpaqueAlternativesWithoutChangingTheirMeaning calls
EnvironmentTest calls
ObjectMemoryTest calls
TermTest::testSignatureSeparatesTermsOfDifferentKinds calls
TermTest::testToPatternIsExactOnlyForResolvedTerms calls
TermTest::testTypeIsReportedByEveryKindOfTerm calls
QueryModelInterfaceTest calls
QueryOutputTest calls
BuilderCallsTest::testBoundedMarksTooManyAlternativesAsOneOpenStateInsteadOfLosingEffects calls
BuilderQueriesTest calls
CallbackModelTest calls
CallModelTest calls
ClausesTest calls
GrammarTest::testOpenedKeepsNonLiteralTermsAndRejectsNonStringLiterals calls
GrammarTest::testWrapKeepsEachAlternativeAndTheOriginOfUnresolvedNames calls
ModelMetadataTest calls
PredicatesTest calls
QueryStateTest calls
SelectCompilerTest calls
WriteCompilerTest calls
AnalyzerTest calls
ConfigurationTest calls
JsonReporterTest calls
TextReporterTest calls

Relations§

Instantiated in 2

Type checks 6

Type declarations 1

type SqlCatalog\Core\Evaluation\Domain packages/sql-catalog/src/Core/Evaluation/Domain.php:205