Uses of Class
dev.frostlake.types.DataType

Packages that use DataType

Package	Description
dev.frostlake.executor
dev.frostlake.executor.commands
dev.frostlake.executor.expressions
dev.frostlake.executor.procedural
dev.frostlake.functions
dev.frostlake.functions.aggregate
dev.frostlake.functions.scalar.conversion
dev.frostlake.jdbc
dev.frostlake.metastore.model
dev.frostlake.storage
dev.frostlake.types
dev.frostlake.values

Uses of DataType in dev.frostlake.executor

Fields in dev.frostlake.executor declared as DataType

Modifier and Type	Field	Description
static final DataType	DeclarationTypes.WHOLE_NUMBER	The type a whole number gives an untyped declaration.

Methods in dev.frostlake.executor that return DataType

Modifier and Type	Method	Description
static DataType	AnonymousBlockResult.columnType(DataType type)	The type the result column declares for a value of type: a text at VARCHAR's full width and a binary at BINARY's, whatever width was written (live-verified: a VARCHAR(10) reads VARCHAR(16777216) and a BINARY(10) BINARY(8388608)); any other type as it is.
DataType	ProceduralExecutor.declaredReturnOfNextBlock()	The declared RETURNS type the block about to run judges its direct RETURNs against: only the procedure's OWN block, entered at the depth its body started from, and only for a scalar RETURNS type; null for every other block.
DataType	StarColumn.getDataType()
DataType	ProceduralExecutor.getDeclaredVariableType(String name)	The declared type recorded for a variable, or null when its declaration carried none.
DataType	ProceduralExecutor.getReturnedDeclaredType()	The declared RETURNS type the executed RETURN converted its value to, or null when it kept its own.
DataType	ProceduralExecutor.getReturnedResultType()	The type the executed RETURN's result column declares (live-verified): the declared RETURNS type when the value converted to it, else the static type of the expression the RETURN names (see ProceduralExecutor.staticTypeOfReturn(dev.frostlake.executor.procedural.ReturnStatement, java.lang.Object)) — a text or a binary one at the column's full width either way, see AnonymousBlockResult.columnType(dev.frostlake.types.DataType) — else null, which leaves the column to the nominal VARCHAR.
DataType	DeclaredReturnFrame.getType()	The declared RETURNS type, or null for a table-returning or untyped body.
DataType	ExpressionEvaluator.inferStaticType(Expression expression)	The type expression is statically KNOWN to produce in this table context, or null when it cannot be determined.
DataType	ProceduralExecutor.inferUntypedDeclarationType(BaseExpression initialiser)	The type an UNTYPED declaration takes from its initialiser (live-verified): an integer literal makes a NUMBER(38,0), a decimal literal a FLOAT, and a NAME hands over its own type when that is a whole-number NUMBER — a FOR counter's NUMBER(9,0) — or FLOAT when it carries a scale (a NUMBER(10,4) holding 1.7777 makes a FLOAT).
static DataType	DeclarationTypes.ofExpression(Expression expression, Map<String,DataType> typesInScope, QueryExecutor queryExecutor)
static DataType	DeclarationTypes.ofInitialiser(FrostlakeParser.ExpressionContext initialiser, Map<String,DataType> typesInScope, QueryExecutor queryExecutor)
DataType	SQLCommandVisitor.parseDataType(FrostlakeParser.DataTypeNameContext ctx, FrostlakeParser.TypeParametersContext typeParams)
DataType	ExpressionEvaluator.spelledNumber(Expression expression)	The NUMBER expression spells when it is a bare string literal, or a column carrying one out of a derived relation — what a projected column hands on so a conditional over it folds as live folds the literal (see TableColumn#getSpelledNumber); null for anything else.
static DataType	DeclarationTypes.staticType(Expression expression, Map<String,DataType> typesInScope, QueryExecutor queryExecutor)	The static type an expression carries over the declared types in scope, as SQL types it — before any widening a declaration applies.
DataType	ProceduralExecutor.typeOfSqlInitialiser(Expression sqlInitialiser)	The type an untyped declaration takes from an initialiser ProceduralExecutor.inferUntypedDeclarationType(dev.frostlake.executor.procedural.BaseExpression) does not type directly — see DeclarationTypes — over the declared types in scope.

Methods in dev.frostlake.executor with parameters of type DataType

Modifier and Type	Method	Description
Object	ProceduralExecutor.coerceArgument(Object value, DataType type)	A CALL argument under its parameter's declared type.
Object	ProceduralExecutor.coerceToType(Object value, DataType type)	Apply a DECLARED type to a value, exactly as the :: cast would — live converts at every assignment (a TZ initialiser assigned to a bare timestamp becomes the session mapping's NTZ, assigned to a date it truncates, a scalar assigned to an OBJECT is TO_OBJECT's own refusal and to an ARRAY it wraps), and the declared WIDTH is enforced: a too-long string is refused with the truncation sentence, never silently kept.
static DataType	AnonymousBlockResult.columnType(DataType type)	The type the result column declares for a value of type: a text at VARCHAR's full width and a binary at BINARY's, whatever width was written (live-verified: a VARCHAR(10) reads VARCHAR(16777216) and a BINARY(10) BINARY(8388608)); any other type as it is.
void	ProceduralExecutor.declareVariableType(String name, DataType type)
static ResultSet	AnonymousBlockResult.of(Object value, DataType type)	The result of a block whose RETURN produced value.
static String	SystemTypeOfDescription.of(DataType declared, String typeText, ValueRange range, boolean predicate)	The description for an argument of declared type whose values lie in range.
DeclaredReturnFrame	ProceduralExecutor.pushDeclaredReturn(DataType returnsType, Set<String> parameterNames)	Start a procedure body under its declared RETURNS type (null for a table-returning body), and hand back the caller's frame to put back when the body is done.
static void	ColumnTypeFamilies.rejectIncompatible(DataType targetType, DataType sourceType)	Refuse a column-listed CTAS's source column whose family the declared column does not take, with the sentence a CTAS gives: CREATE TABLE t (n NUMBER) AS SELECT 1 = 1 is "incompatible types: [BOOLEAN] and [NUMBER(38,0)]" (live-verified).
static void	ColumnTypeFamilies.rejectMismatch(TableColumn target, DataType sourceType)	Refuse a value written to target whose static type the column's family does not take, with the write's sentence, Expression type does not match column data type, expecting NUMBER(38,0) but got BOOLEAN for column N.

Method parameters in dev.frostlake.executor with type arguments of type DataType

Modifier and Type	Method	Description
static DataType	DeclarationTypes.ofExpression(Expression expression, Map<String,DataType> typesInScope, QueryExecutor queryExecutor)
static DataType	DeclarationTypes.ofInitialiser(FrostlakeParser.ExpressionContext initialiser, Map<String,DataType> typesInScope, QueryExecutor queryExecutor)
void	ExpressionEvaluator.setOutputAliasTypes(Map<String,DataType> types)	The static types of the query's SELECT output aliases, so a bare alias in a predicate is typed from the expression it names.
static DataType	DeclarationTypes.staticType(Expression expression, Map<String,DataType> typesInScope, QueryExecutor queryExecutor)	The static type an expression carries over the declared types in scope, as SQL types it — before any widening a declaration applies.

Constructors in dev.frostlake.executor with parameters of type DataType

Modifier	Constructor	Description
	DeclaredReturnFrame(DataType type, int blockDepth, int compoundDepth, Set<String> parameterNames)
	StarColumn(String expression, String outputName, String sourceName, DataType dataType)
	StarColumn(String expression, String outputName, String sourceName, DataType dataType, boolean nullable)
	StarColumn(String expression, String outputName, String sourceName, DataType dataType, boolean nullable, boolean nullabilityKnown)

Uses of DataType in dev.frostlake.executor.commands

Methods in dev.frostlake.executor.commands that return DataType

Modifier and Type	Method	Description
static DataType	DataTypeParser.parse(FrostlakeParser.DataTypeNameContext ctx, FrostlakeParser.TypeParametersContext typeParams)
static DataType	DataTypeParser.parse(FrostlakeParser.DataTypeNameContext ctx, FrostlakeParser.TypeParametersContext typeParams, int bareStringDefault)	DataTypeParser.parse(dev.frostlake.parser.FrostlakeParser.DataTypeNameContext, dev.frostlake.parser.FrostlakeParser.TypeParametersContext) with the bare-VARCHAR default the CONTEXT implies — DataTypeParser.CAST_STRING_DEFAULT for a cast target, DDL_STRING_DEFAULT for a column definition.
DataType	ColumnDefinitionParser.parseDataType(FrostlakeParser.DataTypeNameContext ctx)
DataType	ColumnDefinitionParser.parseDataType(FrostlakeParser.DataTypeNameContext ctx, FrostlakeParser.TypeParametersContext typeParams)

Uses of DataType in dev.frostlake.executor.expressions

Methods in dev.frostlake.executor.expressions that return DataType

Modifier and Type	Method	Description
static DataType	RoutineReturnTypeOracle.bodyType(String expressionText, Table parameters, FunctionRegistry functionRegistry, Catalog catalog)	The statically-known type of expressionText, or null (undetermined never guesses).
static DataType	UdfParameterTypes.effective(DataType declared, DataType argument)	The type the body reads this parameter at.
DataType	CastExpression.getDeclaredTarget()	The parsed target type when its PARAMETERS matter (a structured type, or a VECTOR(t, n)), or null when the plain target-type text says everything.
DataType	ExpressionEvaluatorVisitor.inferStaticType(Expression expr)	The statically-known type of expr in this table context, or null when undetermined — the projection-time entry point that gives a derived relation's columns their declared types.
static DataType	BinaryOperationTypes.resultOf(BinaryOperator operator, DataType left, DataType right)	The result type of left operator right, or null when it cannot be determined.
DataType	ExpressionEvaluatorVisitor.spelledNumber(Expression expr)	The NUMBER expr spells when it is a bare string literal, or a column that carries one out of a derived relation, else null — see TableColumn#getSpelledNumber.

Methods in dev.frostlake.executor.expressions with parameters of type DataType

Modifier and Type	Method	Description
static boolean	ExpressionEvaluatorVisitor.castMatrixRefuses(DataType source, DataType target)	Whether the plain cast refuses outright to carry a source value into a SCALAR target: the matrix's conversion verdict, the pairs ExpressionEvaluatorVisitor.rejectUncastableSource(dev.frostlake.executor.expressions.CastExpression) refuses while a statement compiles.
static DataType	UdfParameterTypes.effective(DataType declared, DataType argument)	The type the body reads this parameter at.
static boolean	BinaryOperationTypes.isArithmeticOperand(DataType type)	Whether a family may stand beside an arithmetic operator: a number, a text or a VARIANT it converts, or a temporal value the measured temporal table then judges.
static boolean	BinaryOperationTypes.isLogicalOperand(DataType type)	Whether a family may stand beside a logical operator.
static Object	FoldedValues.presented(Object value, DataType declared)
static String	BinaryOperationTypes.refusalFor(BinaryOperator operator, DataType left, DataType right)	The refusal an operand pair earns, or null when the pair is legal or unjudged.
static DataType	BinaryOperationTypes.resultOf(BinaryOperator operator, DataType left, DataType right)	The result type of left operator right, or null when it cannot be determined.

Method parameters in dev.frostlake.executor.expressions with type arguments of type DataType

Modifier and Type	Method	Description
void	ExpressionEvaluatorVisitor.setOutputAliasTypes(Map<String,DataType> types)

Constructors in dev.frostlake.executor.expressions with parameters of type DataType

Modifier	Constructor	Description
	CastExpression(Expression expression, String targetType, boolean tryMode, DataType declaredTarget, CastFieldsModifier fieldsModifier)

Uses of DataType in dev.frostlake.executor.procedural

Methods in dev.frostlake.executor.procedural that return DataType

Modifier and Type	Method	Description
DataType	DeclareStatement.getDeclaredType()	The variable's declared type, or null when the declaration didn't carry one.
DataType	SetStatement.getDeclaredType()

Constructors in dev.frostlake.executor.procedural with parameters of type DataType

Modifier	Constructor	Description
	DeclareStatement(String variableName, Object defaultValue, DataType declaredType)
	SetStatement(String variableName, BaseExpression expression, DataType declaredType)	A LET inside a compound body: an assignment that also declares the name's type.

Uses of DataType in dev.frostlake.functions

Methods in dev.frostlake.functions that return DataType

Modifier and Type	Method	Description
DataType	BuiltInFunction.getReturnType()

Methods in dev.frostlake.functions with parameters of type DataType

Modifier and Type	Method	Description
SemiStructuredRejection	BuiltInFunction.temporalRejection(int position, int argumentCount, DataType temporal)	The refusal this position gives a declared temporal argument of type temporal.

Constructors in dev.frostlake.functions with parameters of type DataType

Modifier	Constructor	Description
protected	AggregateFunction(String name, DataType returnType)	Names the aggregate and fixes its declared result type.
protected	BuiltInFunction(String name, DataType returnType)
protected	NumericArgumentFunction(String name, DataType returnType)
protected	StructuredArgumentFunction(String name, DataType returnType)
protected	TextArgumentFunction(String name, DataType returnType)
protected	VariantAccessorFunction(String name, DataType returnType)

Uses of DataType in dev.frostlake.functions.aggregate

Methods in dev.frostlake.functions.aggregate with parameters of type DataType

Modifier and Type	Method	Description
void	ApproxTopKStateAccumulator.setDeclaredArgumentType(DataType declaredType)
void	DeclaredArgumentAccumulator.setDeclaredArgumentType(DataType declared)

Constructors in dev.frostlake.functions.aggregate with parameters of type DataType

Modifier	Constructor	Description
protected	BooleanAggregate(String name, DataType returnType)

Uses of DataType in dev.frostlake.functions.scalar.conversion

Methods in dev.frostlake.functions.scalar.conversion that return DataType

Modifier and Type	Method	Description
DataType	ToTimestamp.getReturnType()	The BARE spelling is re-resolved on every call, because the session's TIMESTAMP_TYPE_MAPPING can change between statements and the registry builds each function ONCE at startup — a type decided in the constructor would be frozen at whatever the mapping was before any session existed.
DataType	TryToTimestamp.getReturnType()	The BARE spelling follows the session's TIMESTAMP_TYPE_MAPPING, re-resolved on every call as TO_TIMESTAMP's is: the registry builds each function once, before any session exists.

Methods in dev.frostlake.functions.scalar.conversion with parameters of type DataType

Modifier and Type	Method	Description
SemiStructuredRejection	TimeFunction.temporalRejection(int position, int argumentCount, DataType temporal)	A TIME is refused on its way to the TIMESTAMP_LTZ overload; a DATE and a timestamp are read.

Uses of DataType in dev.frostlake.jdbc

Methods in dev.frostlake.jdbc with parameters of type DataType

Modifier and Type	Method	Description
static int	JdbcMarshaling.toSqlType(DataType type)	Map an engine DataType to a Types constant, using its PARAMETERS where they decide the answer.

Uses of DataType in dev.frostlake.metastore.model

Methods in dev.frostlake.metastore.model that return DataType

Modifier and Type	Method	Description
DataType	Parameter.getDataType()
DataType	TableColumn.getDataType()
DataType	Function.getReturnType()
DataType	Procedure.getReturnType()
DataType	TableColumn.getSpelledNumber()	The NUMBER this column's values spell when a derived relation projects a bare string literal as it — (SELECT '12.5' AS t, …) — or projects another such column; null for every other column.

Methods in dev.frostlake.metastore.model with parameters of type DataType

Modifier and Type	Method	Description
void	Table.addColumn(String name, DataType dataType)
void	Table.alterColumnType(String columnName, DataType newDataType)
void	TableColumn.setSpelledNumber(DataType spelledNumber)

Method parameters in dev.frostlake.metastore.model with type arguments of type DataType

Modifier and Type	Method	Description
void	Schema.dropFunctionBySignature(String name, List<DataType> argumentTypes)
void	Schema.dropProcedureBySignature(String name, List<DataType> argumentTypes)
Function	Schema.getFunctionBySignature(String name, List<DataType> argumentTypes)
Procedure	Schema.getProcedureBySignature(String name, List<DataType> argumentTypes)

Constructors in dev.frostlake.metastore.model with parameters of type DataType

Modifier	Constructor	Description
	Function(String name, List<Parameter> parameters, DataType returnType, String body, boolean isTableFunction)
	Function(String name, List<Parameter> parameters, DataType returnType, String body, boolean isTableFunction, String language)
	Function(String name, List<Parameter> parameters, DataType returnType, String body, boolean isTableFunction, String language, String handler, String runtimeVersion)
	Function(String name, List<Parameter> parameters, DataType returnType, List<Parameter> returnColumns, String body, boolean isTableFunction, String language, String handler, String runtimeVersion)
	Parameter(String name, DataType dataType)
	Parameter(String name, DataType dataType, String defaultValue)
	Procedure(String name, List<Parameter> parameters, DataType returnType, String body)
	Procedure(String name, List<Parameter> parameters, DataType returnType, String body, String language)
	Procedure(String name, List<Parameter> parameters, DataType returnType, String body, String language, String handler, String runtimeVersion, List<String> packages)
	TableColumn(String name, DataType dataType, boolean nullable, Object defaultValue, boolean primaryKey, boolean unique, boolean autoIncrement)
	TableColumn(String name, DataType dataType, boolean nullable, Object defaultValue, boolean primaryKey, boolean unique, boolean autoIncrement, long identityStart, long identityIncrement)

Uses of DataType in dev.frostlake.storage

Methods in dev.frostlake.storage that return DataType

Modifier and Type	Method	Description
DataType	Column.getDataType()
DataType	ResultSetColumn.getDataType()
DataType	ResultSetColumn.getSpelledNumber()	The NUMBER this column's values spell, or null — see TableColumn#getSpelledNumber.
DataType	ResultSetColumn.getStaticType()	The type this column is statically KNOWN to produce, or null when a projection could not tell — in which case ResultSetColumn.getDataType() is a placeholder that no type rule may read.

Constructors in dev.frostlake.storage with parameters of type DataType

Modifier	Constructor	Description
	Column(String name, DataType dataType)
	Column(String name, DataType dataType, String tableName)
	ResultSetColumn(String name, DataType dataType)
	ResultSetColumn(String name, DataType dataType, String tableName)
	ResultSetColumn(String name, DataType dataType, String tableName, DataType staticType)
	ResultSetColumn(String name, DataType dataType, String tableName, DataType staticType, boolean nullable)
	ResultSetColumn(String name, DataType dataType, String tableName, DataType staticType, boolean nullable, boolean nullabilityKnown)
	ResultSetColumn(String name, DataType dataType, String tableName, DataType staticType, boolean nullable, boolean nullabilityKnown, ValueRange valueRange)
	ResultSetColumn(String name, DataType dataType, String tableName, DataType staticType, boolean nullable, boolean nullabilityKnown, ValueRange valueRange, DataType spelledNumber)

Uses of DataType in dev.frostlake.types

Subclasses of DataType in dev.frostlake.types

Modifier and Type	Class	Description
class	ArrayType
class	BinaryType	The BINARY family.
class	BooleanType
class	DateTimeType
class	FileType	The FILE column type: a reference to a file on a stage.
class	GeographyType	The GEOGRAPHY column type: spherical (lon/lat, SRID 4326) geospatial values carried as GeoValue.
class	GeometryType	The GEOMETRY column type: planar (cartesian, default SRID 0) geospatial values carried as GeoValue.
class	LengthlessStringType	A VARCHAR the plan carries with no length of its own — the KEY and PATH columns of FLATTEN and the VALUE column of SPLIT_TO_TABLE — which SYSTEM$TYPEOF spells as the bare word VARCHAR while a table built over it declares the full-width VARCHAR(16777216) (live-verified).
class	MapType	The structured MAP(keyType, valueType) type.
class	NumericType
class	ObjectType
class	StringType
class	StructuredArrayType	A STRUCTURED array type — ARRAY(INT) — as opposed to the plain semi-structured ArrayType.
class	StructuredObjectType	A STRUCTURED object type — OBJECT(x VARCHAR, y NUMBER) — as opposed to the plain semi-structured ObjectType.
class	UuidType	Snowflake's UUID type: a 128-bit value held and shown as its canonical lower-case text, 1b4e28ba-2fa1-11d2-883f-0016d3cca427.
class	VariantType
class	VectorType	Snowflake's VECTOR(element_type, dimension) type; values are VectorValue.

Methods in dev.frostlake.types that return DataType

Modifier and Type	Method	Description
static DataType	DeclaredTypeFold.combine(DataType left, DataType right)	The type two branches — or two set-operation ARMS — fold to, or null when they cannot be combined.
static DataType	DeclaredTypeFold.foldBranches(List<DataType> branchTypes)
static DataType	DeclaredTypeFold.foldBranches(List<DataType> branchTypes, List<DataType> literalMeasurements)	The branch fold, told which branches were written as STRING LITERALS and what each measures as a number.
static DataType	StringResultWidths.forFunction(String funcName, List<DataType> argTypes)	The width the named function's string result is declared at, or null when the arguments do not determine one and the caller should keep what the registry declares.
DataType	ArrayType.getCommonType(DataType other)
DataType	BinaryType.getCommonType(DataType other)
DataType	BooleanType.getCommonType(DataType other)
abstract DataType	DataType.getCommonType(DataType other)
DataType	DateTimeType.getCommonType(DataType other)
DataType	FileType.getCommonType(DataType other)
DataType	GeographyType.getCommonType(DataType other)
DataType	GeometryType.getCommonType(DataType other)
DataType	MapType.getCommonType(DataType other)
DataType	NumericType.getCommonType(DataType other)
DataType	ObjectType.getCommonType(DataType other)
DataType	StringType.getCommonType(DataType other)
DataType	VariantType.getCommonType(DataType other)
DataType	VectorType.getCommonType(DataType other)
DataType	StructuredField.getDataType()
DataType	ArrayType.getElementType()
DataType	MapType.getKeyType()
DataType	MapType.getValueType()
static DataType	DeclaredTypeFold.stringContribution(DataType nonString)	What a VARCHAR branch contributes when it sits beside exactly one OTHER family: it joins that family rather than dragging everything to text.

Methods in dev.frostlake.types with parameters of type DataType

Modifier and Type	Method	Description
static String	SqlTypeNames.canonical(DataType type)
static String	SqlTypeNames.columnMetadata(DataType type)	The canonical name a COLUMN's metadata prints, which stops a string at the width a column can declare.
static DataType	DeclaredTypeFold.combine(DataType left, DataType right)	The type two branches — or two set-operation ARMS — fold to, or null when they cannot be combined.
static String	StructuredTypes.describe(DataType type)	A type as Snowflake spells it in an argument-type / cast error message.
static String	StructuredTypes.familyName(DataType type)	Snowflake's family label for a structured type, used verbatim in its cast error messages.
DataType	ArrayType.getCommonType(DataType other)
DataType	BinaryType.getCommonType(DataType other)
DataType	BooleanType.getCommonType(DataType other)
abstract DataType	DataType.getCommonType(DataType other)
DataType	DateTimeType.getCommonType(DataType other)
DataType	FileType.getCommonType(DataType other)
DataType	GeographyType.getCommonType(DataType other)
DataType	GeometryType.getCommonType(DataType other)
DataType	MapType.getCommonType(DataType other)
DataType	NumericType.getCommonType(DataType other)
DataType	ObjectType.getCommonType(DataType other)
DataType	StringType.getCommonType(DataType other)
DataType	VariantType.getCommonType(DataType other)
DataType	VectorType.getCommonType(DataType other)
static String	SqlTypeNames.internalName(DataType type)	The INTERNAL name Snowflake uses for a type where it does not spell the SQL one: TEXT for the string family, FIXED for the exact numerics, REAL for the approximate ones, and the SQL name for everything else — never with parameters.
static boolean	NumericType.isApproximate(DataType type)	Whether a type is one of the APPROXIMATE numeric spellings, which carry no precision and scale.
boolean	ArrayType.isCompatible(DataType other)
boolean	BinaryType.isCompatible(DataType other)
boolean	BooleanType.isCompatible(DataType other)
abstract boolean	DataType.isCompatible(DataType other)
boolean	DateTimeType.isCompatible(DataType other)
boolean	FileType.isCompatible(DataType other)
boolean	GeographyType.isCompatible(DataType other)
boolean	GeometryType.isCompatible(DataType other)
boolean	MapType.isCompatible(DataType other)
boolean	NumericType.isCompatible(DataType other)
boolean	ObjectType.isCompatible(DataType other)
boolean	StringType.isCompatible(DataType other)
boolean	StructuredObjectType.isCompatible(DataType other)
boolean	VariantType.isCompatible(DataType other)
boolean	VectorType.isCompatible(DataType other)
static boolean	GeoTypes.isGeo(DataType type)	Whether type is GEOGRAPHY or GEOMETRY.
static boolean	StructuredTypes.isStructured(DataType type)	Whether type is one of the STRUCTURED types (a declared shape, not plain OBJECT/ARRAY/VARIANT).
static boolean	StructuredTypes.isStructuredObjectFamily(DataType type)	Whether type is in Snowflake's STRUCTURED_OBJECT family (structured OBJECT or MAP).
static Integer	ColumnLengths.of(DataType type)	The length of a column of the given type.
static String	SqlTypeNames.refusalSpelling(DataType type)	A type as a refusal sentence spells it: the canonical name, except that a bare BINARY is always BINARY(67108864), whatever width the engine holds one at (live-verified in the CALL argument and declared-RETURNS sentences).
static String	ColumnTypeJson.render(DataType type, boolean nullable)	Renders one column's descriptor.
static String	ColumnTypeJson.render(DataType type, boolean nullable, String collation)	The same for a column declared with a collation: live adds it after every other fact — {"type":"TEXT",...,"fixed":false,"collation":"en-ci"} — and a column without one, or with the empty specification, has no such key.
static String	SqlTypeNames.routineType(DataType type)	A ROUTINE's type as the account spells it - in a signature, in a RETURNS clause and in a DESCRIBE row alike.
static boolean	StructuredTypes.sameBindingShape(DataType source, DataType target)	Whether two types match for UDF ARGUMENT BINDING: the same structured layout and the same leaf type FAMILIES, ignoring length/precision.
static boolean	DeclaredTypeFold.sameDeclaredType(DataType left, DataType right)	Whether two declared types are the SAME type — the family and its parameters.
static boolean	SqlTypeNames.sameFamily(DataType left, DataType right)	Whether two types belong to the same FAMILY, which is what a policy attachment is judged on: the parameters are ignored — a VARCHAR(5) policy argument takes a VARCHAR(20) column — while the timestamp variants stay distinct from each other, and NUMBER never matches FLOAT (live-verified).
static DataType	DeclaredTypeFold.stringContribution(DataType nonString)	What a VARCHAR branch contributes when it sits beside exactly one OTHER family: it joins that family rather than dragging everything to text.

Method parameters in dev.frostlake.types with type arguments of type DataType

Modifier and Type	Method	Description
static DataType	DeclaredTypeFold.foldBranches(List<DataType> branchTypes)
static DataType	DeclaredTypeFold.foldBranches(List<DataType> branchTypes, List<DataType> literalMeasurements)	The branch fold, told which branches were written as STRING LITERALS and what each measures as a number.
static DataType	StringResultWidths.forFunction(String funcName, List<DataType> argTypes)	The width the named function's string result is declared at, or null when the arguments do not determine one and the caller should keep what the registry declares.

Constructors in dev.frostlake.types with parameters of type DataType

Modifier	Constructor	Description
	ArrayType(DataType elementType)
	MapType(DataType keyType, DataType valueType)
	StructuredArrayType(DataType elementType)
	StructuredField(String name, DataType dataType, boolean notNull)

Uses of DataType in dev.frostlake.values

Methods in dev.frostlake.values with parameters of type DataType

Modifier and Type	Method	Description
static boolean	VariantJsonText.isSemiStructured(DataType declared)	Whether a column's declared type is one whose cells a client reads as JSON text.
static String	ClientValueText.render(Object value, DataType declared)	The text a client sees for one value.
static String	TemporalText.render(Object value, DataType declared)	value as getString should report it for a column of declared, or null when the value is null.
static String	VariantJsonText.unwrappedDoubleText(Object value, DataType declared)	The client text of a DOUBLE read out of a semi-structured value, or null when value is not one.
static String	TemporalText.wireText(Object value, DataType declared)	The TRANSPORT text of a temporal cell: TemporalText.render(java.lang.Object, dev.frostlake.types.DataType)'s shape with nothing cut from the fraction of a second.
static Object	TemporalText.wireValue(Object value, DataType declared)	The value a JSON wire should carry for a column of declared: a temporal cell as its transport text, and anything else UNTOUCHED.