namespaceSqlCatalog\Core\Analysis
Classes 15§
| BuiltinCallModel @visibility root | What the PHP functions that shape query text do to the values they are given. |
| CallEvaluator @visibility root | Works out what a call produces. |
| ConstantReader @visibility root | Reads constants: global ones, class ones, enum cases and ::class. |
| EntryFactory @visibility root | Turns the statements found while walking a file into catalog entries. |
| EvaluationBudget @visibility root | The work one analysis is allowed to do before it gives up and widens. |
| ExpressionEvaluator @visibility root | Works out what values an expression can take at the point it is written. |
| ExternalInput @visibility root | The places a value can enter the program from outside it. |
| FunctionScope @visibility root | Which function body the analyzer is currently walking. |
| Interpreter @visibility root | Reads the statements a source tree can issue, starting from every call that issues one. |
| QueryRecord @visibility root | One statement found at a call site, while values may still be bound to it. |
| ReferenceEvaluator @visibility root | Reads the value behind a name: a variable, a property, a constant or an element. |
| SinkFinder @visibility root | Finds every call that is written the way a database call is written. |
| SinkMatcher @visibility root | Decides whether a call in the source is one of the database calls to catalog. |
| StatementRecorder @visibility root | Collects the statements found while walking one file. |
| ValueBinder @visibility root | Attaches the values a call binds to the statements they are bound to. |