Package org. partiql. lang. ast. passes. inference
Types
Link copied to clipboard
class StaticTypeInferencer(globalBindings: Bindings<StaticType>, customFunctionSignatures: List<FunctionSignature>, customTypedOpParameters: Map<String, TypedOpParameter>)
Content copied to clipboard
Infers the StaticType of a PartiqlAst.Statement. Assumes StaticTypeVisitorTransform was run before on this PartiqlAst.Statement and all implicit variables have been resolved.
Functions
Link copied to clipboard
From this, returns the StaticType if and only if there are no Problems encountered with ProblemSeverity.ERROR. Otherwise, throws the first Problem with ProblemSeverity.ERROR as a SemanticException.