Package dev.frostlake.executor.expressions

Class RoutineReturnTypeOracle

java.lang.Object

dev.frostlake.executor.expressions.RoutineReturnTypeOracle

public final class RoutineReturnTypeOracle
extends Object

Static return-type inference for scalar SQL routine bodies: the type the body expression is KNOWN to produce over the routine's declared parameters, or null when undetermined. Parameter references resolve against a synthetic single-table context built from the declared parameter list, so a body like x + 1 types from x's declared type exactly as a column reference would; a body the expression grammar cannot read stays undetermined, never refused.

Method Summary

Modifier and Type	Method	Description
static DataType	bodyType(String expressionText, Table parameters, FunctionRegistry functionRegistry, Catalog catalog)	The statically-known type of expressionText, or null (undetermined never guesses).

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

bodyType

public static DataType bodyType(String expressionText,
 Table parameters,
 FunctionRegistry functionRegistry,
 Catalog catalog)

The statically-known type of expressionText, or null (undetermined never guesses).