partiql-lang/org.partiql.lang.ast.passes.inference

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
fun StaticTypeInferencer.InferenceResult.staticTypeOrError(): StaticType
Content 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.