classSolution
final class Solution
Restricted visibility: declared "@visibility root". Code outside that scope must not name this declaration.
What a set of expressions can be at a point, along one way of getting there.
Properties§
public list<Domain> $valuespublic list<string> $throughpublic bool $truncated = falsepublic bool $combined = falseMethods§
public function __construct(
public list<Domain> $values,
public list<string> $through,
public bool $truncated = false,
public bool $combined = false,
)Parameters
$values | list<Domain> | One value for each expression asked about, in the order they were asked about |
$through | list<string> | The bodies the way passes through, outermost first |
$truncated | bool | Whether a bound cut the search short of every way there |
$combined | bool | Whether values worked out separately were paired, so the pairing may never occur |
Test cases 31§
Test cases that cover or call this symbol, from the coverage report and from the analyzed test sources.
Dedicated tests 2
Other tests reaching this symbol 29
CatalogCommandTestcallsCallEvaluatorTestcallsCallersTestcallsDeriverTest::testBoundedKeepsSolutionsWithinTheLimitAsTheyArecallsDeriverTest::testBoundedMarksSolutionsBeyondTheLimitTruncatedcallsDeriverTest::testRunGivesOneSolutionPerArrivalWithOneValuePerGoalcallsDeriverTest::testRunKeepsNoMoreSolutionsThanTheLimitcallsDeriverTest::testRunMarksSolutionsTruncatedWhenTheirPathWasCutShortcallsDeriverTest::testSolveAtExitsReadsGoalsAtEveryReturnAndAtTheEndcallsDeriverTest::testSolveGivesOneSolutionPerBranchWithCorrelatedValuescallsDeriverTest::testSolveKeepsTheRunsOfEveryWayInApartWhileTheBudgetAffordsThemcallsDeriverTest::testSolveMarksEverySolutionTruncatedWhenCallsWereLeftOutcallsDeriverTest::testSolveMarksTheWaysInJoinedForWantOfBudgetAsCombinedcallsDeriverTest::testSolveReadsAParameterAtEveryCallOfItsBodycallsDeriverTest::testSolveReadsWhatTheGoalsNeedWithTheNamesItWasGivencallsDeriverTest::testSolveSharesTheRunsTheBudgetAffordsAmongTheWaysIncallsEntryBinderTestcallsPropertyWritesTestcallsExpressionEvaluatorTestcallsInterpreterTest::testRecordStatementsFilesTheStatementsOfEveryReadingUnderThePreparedHandlecallsInterpreterTest::testRecordStatementsMarksAStatementCombinedWhenEitherTheTextOrTheReadingIscallsInterpreterTest::testRecordStatementsSkipsAReadingWithoutTheStatementcallsModelQueriesTestcallsQueryModelInterfaceTestcallsBuilderQueriesTestcallsCallModelTestcallsAnalyzerTestcallsJsonReporterTestcallsTextReporterTestcalls
Relations§
Instantiated in 4
- new SqlCatalog\Core\Analysis\Derivation\Deriver::run() packages/sql-catalog/src/Core/Analysis/Derivation/Deriver.php:172
- new SqlCatalog\Core\Analysis\Derivation\Deriver::bounded() packages/sql-catalog/src/Core/Analysis/Derivation/Deriver.php:217
- new SqlCatalog\Core\Analysis\Model\ModelQueries::solve() packages/sql-catalog/src/Core/Analysis/Model/ModelQueries.php:28
- new SqlCatalog\Core\Analysis\Model\ModelQueries::solve() packages/sql-catalog/src/Core/Analysis/Model/ModelQueries.php:33