namespaceSqlCatalog\Core\Evaluation
Interfaces 1§
| Term @visibility root | One alternative an expression may evaluate to. |
Classes 10§
| ArrayEntry @visibility root | One element of a statically reconstructed array. |
| ArrayTerm @visibility root | An array literal the analyzer reconstructed element by element. |
| CallResults @visibility root | What following a call produced, remembered for the next caller that leads there. |
| Domain @visibility root | Every value an expression may take, over-approximated. |
| Environment @visibility root | What the analyzer knows about each variable at one point in a function body. |
| LiteralTerm @visibility root | A scalar the analyzer resolved exactly. |
| ObjectMemory @visibility root | Immutable object snapshots indexed by allocation, shared by aliases within one run. |
| ObjectTerm @visibility root | An object the analyzer tracked by class. |
| OpaqueTerm @visibility root | A value the analyzer knows only by its type and where it came from. |
| PatternTerm @visibility root | A string whose resolved parts are known but which still has gaps. |
Enums 1§
| Presence @visibility root | Whether a variable exists, independently of its value domain. |