Uses of Class
dev.cel.common.types.CelType

Packages that use CelType

Package	Description
dev.cel.bundle
dev.cel.checker
dev.cel.common
dev.cel.common.types
dev.cel.common.values
dev.cel.compiler
dev.cel.runtime

Uses of CelType in dev.cel.bundle

Methods in dev.cel.bundle with parameters of type CelType

Modifier and Type	Method	Description
CelBuilder	CelBuilder.addVar(java.lang.String name, CelType type)	Add a variable declaration with a given name and CelType.
CelBuilder	CelBuilder.setResultType(CelType resultType)	Set the expected resultType for the type-checked expression.

Uses of CelType in dev.cel.checker

Methods in dev.cel.checker that return CelType

Modifier and Type	Method	Description
CelType	TypeProvider.FieldType.celType()
CelType	InferenceContext.finalize(CelType type)	Finalizes the given type by applying the current type substitution and mapping all remaining type parameters to DYN.
CelType	Env.getType(CelExpr expr)	Returns the type associated with an expression by expression id.
static CelType	Types.mostGeneral(CelType type1, CelType type2)	Returns the more general of two types which are known to unify.
CelType	InferenceContext.newInstance(java.lang.Iterable<java.lang.String> typeParams, CelType type)	Returns an instance of the given type where all given type parameters are replaced by fresh type variables.
CelType	InferenceContext.newTypeVar(java.lang.String prefix)	Creates a fresh type variable in the given context.
CelType	InferenceContext.specialize(CelType type)	Specializes the given type using the substitution of this context.
static CelType	Types.substitute(java.util.Map<CelType,CelType> subs, CelType type, boolean typeParamToDyn)	Apply substitution to given type, replacing all direct and indirect occurrences of bound type parameters.
abstract CelType	CelIdentDecl.type()	The type of the variable.
abstract CelType	ExprChecker.OverloadResolution.type()	The Type of the result associated with the overload.

Methods in dev.cel.checker that return types with arguments of type CelType

Modifier and Type	Method	Description
java.util.Optional<CelType>	ProtoTypeMaskTypeProvider.findType(java.lang.String typeName)
java.util.Map<java.lang.Long,CelType>	Env.getTypeMap()	Returns the type map.
static @Nullable java.util.Map<CelType,CelType>	Types.isAssignable(java.util.Map<CelType,CelType> subs, CelType type1, CelType type2)	Checks whether type1 is assignable to type2, based on the given substitution for type parameters.
static @Nullable java.util.Map<CelType,CelType>	Types.isAssignable(java.util.Map<CelType,CelType> subs, CelType type1, CelType type2)	Checks whether type1 is assignable to type2, based on the given substitution for type parameters.
static @Nullable java.util.Map<CelType,CelType>	Types.isAssignable(java.util.Map<CelType,CelType> subs, java.util.List<CelType> list1, java.util.List<CelType> list2)	Same as Types.isAssignable(Map, Type, Type) but performs pairwise check on lists of types.
static @Nullable java.util.Map<CelType,CelType>	Types.isAssignable(java.util.Map<CelType,CelType> subs, java.util.List<CelType> list1, java.util.List<CelType> list2)	Same as Types.isAssignable(Map, Type, Type) but performs pairwise check on lists of types.
default java.util.Optional<CelType>	TypeProvider.lookupCelType(java.lang.String typeName)	Deprecated. Lookup the a CelType given a qualified typeName.
java.util.List<CelType>	InferenceContext.specialize(java.util.List<CelType> types)	Specializes using given type list of types using the substitution of this context.
com.google.common.collect.ImmutableCollection<CelType>	ProtoTypeMaskTypeProvider.types()

Methods in dev.cel.checker with parameters of type CelType

Modifier and Type	Method	Description
CelType	InferenceContext.finalize(CelType type)	Finalizes the given type by applying the current type substitution and mapping all remaining type parameters to DYN.
boolean	InferenceContext.isAssignable(CelType type1, CelType type2)	Checks whether type1 is assignable to type2 under refinement of the type substitution.
static @Nullable java.util.Map<CelType,CelType>	Types.isAssignable(java.util.Map<CelType,CelType> subs, CelType type1, CelType type2)	Checks whether type1 is assignable to type2, based on the given substitution for type parameters.
static boolean	Types.isDyn(CelType type)
static boolean	Types.isDynOrError(CelType type)	Tests whether the type has error or dyn kind.
static boolean	Types.isEqualOrLessSpecific(CelType type1, CelType type2)	Check whether one type is equal or less specific than the other one.
default @Nullable TypeProvider.FieldType	TypeProvider.lookupFieldType(CelType type, java.lang.String fieldName)	Deprecated. Lookup the FieldType for a fieldName within a type.
static CelType	Types.mostGeneral(CelType type1, CelType type2)	Returns the more general of two types which are known to unify.
static CelIdentDecl	CelIdentDecl.newIdentDeclaration(java.lang.String name, CelType type)	Create a new CelIdentDecl with a given name and type.
CelType	InferenceContext.newInstance(java.lang.Iterable<java.lang.String> typeParams, CelType type)	Returns an instance of the given type where all given type parameters are replaced by fresh type variables.
static ExprChecker.OverloadResolution	ExprChecker.OverloadResolution.of(CelReference reference, CelType type)	Construct a new OverloadResolution from a reference and type.
CelCheckerBuilder	CelCheckerBuilder.setResultType(CelType resultType)	Set the expected resultType for the type-checked expression.
CelCheckerBuilder	CelCheckerLegacyImpl.Builder.setResultType(CelType resultType)
abstract CelIdentDecl.Builder	CelIdentDecl.Builder.setType(CelType name)
CelExpr	Env.setType(CelExpr expr, CelType type)	Sets the type associated with an expression by id.
CelType	InferenceContext.specialize(CelType type)	Specializes the given type using the substitution of this context.
static CelType	Types.substitute(java.util.Map<CelType,CelType> subs, CelType type, boolean typeParamToDyn)	Apply substitution to given type, replacing all direct and indirect occurrences of bound type parameters.

Method parameters in dev.cel.checker with type arguments of type CelType

Modifier and Type	Method	Description
boolean	InferenceContext.isAssignable(java.util.List<CelType> list1, java.util.List<CelType> list2)	Same as InferenceContext.isAssignable(CelType, CelType) for lists of types.
static @Nullable java.util.Map<CelType,CelType>	Types.isAssignable(java.util.Map<CelType,CelType> subs, CelType type1, CelType type2)	Checks whether type1 is assignable to type2, based on the given substitution for type parameters.
static @Nullable java.util.Map<CelType,CelType>	Types.isAssignable(java.util.Map<CelType,CelType> subs, CelType type1, CelType type2)	Checks whether type1 is assignable to type2, based on the given substitution for type parameters.
static @Nullable java.util.Map<CelType,CelType>	Types.isAssignable(java.util.Map<CelType,CelType> subs, java.util.List<CelType> list1, java.util.List<CelType> list2)	Same as Types.isAssignable(Map, Type, Type) but performs pairwise check on lists of types.
static @Nullable java.util.Map<CelType,CelType>	Types.isAssignable(java.util.Map<CelType,CelType> subs, java.util.List<CelType> list1, java.util.List<CelType> list2)	Same as Types.isAssignable(Map, Type, Type) but performs pairwise check on lists of types.
static @Nullable java.util.Map<CelType,CelType>	Types.isAssignable(java.util.Map<CelType,CelType> subs, java.util.List<CelType> list1, java.util.List<CelType> list2)	Same as Types.isAssignable(Map, Type, Type) but performs pairwise check on lists of types.
java.util.List<CelType>	InferenceContext.specialize(java.util.List<CelType> types)	Specializes using given type list of types using the substitution of this context.
static CelType	Types.substitute(java.util.Map<CelType,CelType> subs, CelType type, boolean typeParamToDyn)	Apply substitution to given type, replacing all direct and indirect occurrences of bound type parameters.
static CelType	Types.substitute(java.util.Map<CelType,CelType> subs, CelType type, boolean typeParamToDyn)	Apply substitution to given type, replacing all direct and indirect occurrences of bound type parameters.
static CelAbstractSyntaxTree	ExprChecker.typecheck(Env env, java.lang.String inContainer, CelAbstractSyntaxTree ast, com.google.common.base.Optional<CelType> expectedResultType)	Deprecated. Type-checks the parsed expression within the given environment and returns a checked expression.

Uses of CelType in dev.cel.common

Methods in dev.cel.common that return CelType

Modifier and Type	Method	Description
CelType	CelAbstractSyntaxTree.getResultType()	For a type checked abstract syntax tree the resulting type is returned.
abstract CelType	CelOverloadDecl.Builder.resultType()
abstract CelType	CelOverloadDecl.resultType()	Required.
abstract CelType	CelVarDecl.type()	The type of the variable.

Methods in dev.cel.common that return types with arguments of type CelType

Modifier and Type	Method	Description
java.util.Optional<CelType>	CelAbstractSyntaxTree.getType(long exprId)
com.google.common.collect.ImmutableMap<java.lang.Long,CelType>	CelAbstractSyntaxTree.getTypeMap()
abstract com.google.common.collect.ImmutableList<CelType>	CelOverloadDecl.Builder.parameterTypes()
abstract com.google.common.collect.ImmutableList<CelType>	CelOverloadDecl.parameterTypes()	List of function parameter type values.

Methods in dev.cel.common with parameters of type CelType

Modifier and Type	Method	Description
CelOverloadDecl.Builder	CelOverloadDecl.Builder.addParameterTypes(CelType... parameterTypes)	Accumulates parameter types into CelOverloadDecl.Builder.parameterTypesBuilder()
static CelOverloadDecl	CelOverloadDecl.newGlobalOverload(java.lang.String overloadId, CelType resultType, CelType... paramTypes)	Helper method for declaring a global function overload
static CelOverloadDecl	CelOverloadDecl.newGlobalOverload(java.lang.String overloadId, CelType resultType, java.util.List<CelType> paramTypes)	Helper method for declaring a global function overload
static CelOverloadDecl	CelOverloadDecl.newGlobalOverload(java.lang.String overloadId, java.lang.String doc, CelType resultType, CelType... paramTypes)	Helper method for declaring a global function overload
static CelOverloadDecl	CelOverloadDecl.newGlobalOverload(java.lang.String overloadId, java.lang.String doc, CelType resultType, java.util.List<CelType> paramTypes)	Helper method for declaring a global function overload
static CelOverloadDecl	CelOverloadDecl.newMemberOverload(java.lang.String overloadId, CelType resultType, CelType... paramTypes)	Helper method for declaring a member function overload
static CelOverloadDecl	CelOverloadDecl.newMemberOverload(java.lang.String overloadId, CelType resultType, java.util.List<CelType> paramTypes)	Helper method for declaring a member function overload
static CelOverloadDecl	CelOverloadDecl.newMemberOverload(java.lang.String overloadId, java.lang.String doc, CelType resultType, CelType... paramTypes)	Helper method for declaring a member function overload
static CelOverloadDecl	CelOverloadDecl.newMemberOverload(java.lang.String overloadId, java.lang.String doc, CelType resultType, java.util.List<CelType> paramTypes)	Helper method for declaring a member function overload
static CelVarDecl	CelVarDecl.newVarDeclaration(java.lang.String name, CelType type)	Create a new CelVarDecl with a given name and type.
abstract CelOverloadDecl.Builder	CelOverloadDecl.Builder.setResultType(CelType value)	Sets the result type CelOverloadDecl.Builder.resultType()

Method parameters in dev.cel.common with type arguments of type CelType

Modifier and Type	Method	Description
CelOverloadDecl.Builder	CelOverloadDecl.Builder.addParameterTypes(java.lang.Iterable<CelType> parameterTypes)	Accumulates parameter types into CelOverloadDecl.Builder.parameterTypesBuilder()
static CelOverloadDecl	CelOverloadDecl.newGlobalOverload(java.lang.String overloadId, CelType resultType, java.util.List<CelType> paramTypes)	Helper method for declaring a global function overload
static CelOverloadDecl	CelOverloadDecl.newGlobalOverload(java.lang.String overloadId, java.lang.String doc, CelType resultType, java.util.List<CelType> paramTypes)	Helper method for declaring a global function overload
static CelOverloadDecl	CelOverloadDecl.newMemberOverload(java.lang.String overloadId, CelType resultType, java.util.List<CelType> paramTypes)	Helper method for declaring a member function overload
static CelOverloadDecl	CelOverloadDecl.newMemberOverload(java.lang.String overloadId, java.lang.String doc, CelType resultType, java.util.List<CelType> paramTypes)	Helper method for declaring a member function overload
abstract CelOverloadDecl.Builder	CelOverloadDecl.Builder.setParameterTypes(com.google.common.collect.ImmutableList<CelType> value)	Sets the parameter types CelOverloadDecl.Builder.parameterTypes().

Uses of CelType in dev.cel.common.types

Subclasses of CelType in dev.cel.common.types

Modifier and Type	Class	Description
class	EnumType	Enum types to support strongly typed enums with lookups by value name and number.
class	ListType	Lists are a parameterized type with the parameter indicating the elemType.
class	MapType	Maps are a parameterized type where the two parameters supported indicate the keyType and valueType of map entries.
class	NullableType	Nullable types are a union type which indicate that the value is either the targetType or SimpleType.NULL_TYPE
class	OpaqueType	An opaque type's properties may only be accessed via function calls associated with the type.
class	OptionalType	OptionalType is an opaque type that that represents an optional value.
class	ProtoMessageType	The ProtoMessageType is a StructType with support for proto Extensions and field masks.
class	SimpleType	Simple types represent scalar, dynamic, and error values.
class	StructType	Struct type indicates that the type name is a structured object with typed properties.
class	StructTypeReference	A simple type reference to a struct.
class	TypeParamType	Type parameters are 'free' types which take on a concrete type contextually.
class	TypeType	The TypeType is a type which holds a reference to a type-kind.
class	UnspecifiedType	Represents an unspecified CEL-Type.

Fields in dev.cel.common.types declared as CelType

Modifier and Type	Field	Description
static CelType	SimpleType.ANY
static CelType	SimpleType.BOOL
static CelType	SimpleType.BYTES
static CelType	SimpleType.DOUBLE
static CelType	SimpleType.DURATION
static CelType	SimpleType.DYN
static CelType	SimpleType.ERROR
static CelType	SimpleType.INT
static CelType	SimpleType.NULL_TYPE
static CelType	SimpleType.STRING
static CelType	SimpleType.TIMESTAMP
static CelType	SimpleType.UINT

Methods in dev.cel.common.types that return CelType

Modifier and Type	Method	Description
CelType	ListType.elemType()
CelType	MapType.keyType()
abstract CelType	ProtoMessageType.Extension.messageType()
abstract CelType	NullableType.targetType()
abstract CelType	ProtoMessageType.Extension.type()
abstract CelType	StructType.Field.type()
CelType	TypeType.type()
static CelType	CelTypes.typeToCelType(Type type)	Converts a Protobuf type to CEL native type.
CelType	MapType.valueType()
CelType	CelType.withFreshTypeParamVariables(java.util.function.Function<java.lang.String,java.lang.String> varNameGenerator)	Instantiate a new copy of this type with alternative parameters.
CelType	NullableType.withFreshTypeParamVariables(java.util.function.Function<java.lang.String,java.lang.String> varNameGenerator)
CelType	TypeParamType.withFreshTypeParamVariables(java.util.function.Function<java.lang.String,java.lang.String> varNameGenerator)
CelType	CelType.withParameters(com.google.common.collect.ImmutableList<CelType> parameters)	Instantiate a new copy of this type with alternative parameters.
CelType	ListType.withParameters(com.google.common.collect.ImmutableList<CelType> parameters)
CelType	MapType.withParameters(com.google.common.collect.ImmutableList<CelType> parameters)
CelType	NullableType.withParameters(com.google.common.collect.ImmutableList<CelType> parameters)
CelType	OpaqueType.withParameters(com.google.common.collect.ImmutableList<CelType> parameters)
CelType	TypeType.withParameters(com.google.common.collect.ImmutableList<CelType> parameters)

Methods in dev.cel.common.types that return types with arguments of type CelType

Modifier and Type	Method	Description
java.util.Optional<CelType>	StructType.FieldResolver.findField(java.lang.String fieldName)	Find the CelType for the given fieldName if the field is defined.
java.util.Optional<CelType>	CelTypeProvider.CombinedCelTypeProvider.findType(java.lang.String typeName)
java.util.Optional<CelType>	CelTypeProvider.findType(java.lang.String typeName)	Return the CelType for the given typeName if supported.
java.util.Optional<CelType>	ProtoMessageTypeProvider.findType(java.lang.String typeName)
static java.util.Optional<CelType>	CelTypes.getWellKnownCelType(java.lang.String typeName)
com.google.common.collect.ImmutableList<CelType>	CelType.parameters()	Return the type parameters.
abstract com.google.common.collect.ImmutableList<CelType>	ListType.parameters()
abstract com.google.common.collect.ImmutableList<CelType>	MapType.parameters()
abstract com.google.common.collect.ImmutableList<CelType>	OpaqueType.parameters()
abstract com.google.common.collect.ImmutableList<CelType>	OptionalType.parameters()
abstract com.google.common.collect.ImmutableList<CelType>	TypeType.parameters()
com.google.common.collect.ImmutableCollection<CelType>	CelTypeProvider.CombinedCelTypeProvider.types()
com.google.common.collect.ImmutableCollection<CelType>	CelTypeProvider.types()	Return the set of CelType instances supported by this provider.
com.google.common.collect.ImmutableCollection<CelType>	ProtoMessageTypeProvider.types()

Methods in dev.cel.common.types with parameters of type CelType

Modifier and Type	Method	Description
static Type	CelTypes.celTypeToType(CelType celType)	Converts a Protobuf type into CEL native type.
static ListType	ListType.create(CelType elemType)
static MapType	MapType.create(CelType keyType, CelType valueType)
static NullableType	NullableType.create(CelType targetType)
static OpaqueType	OpaqueType.create(java.lang.String typeName, CelType... parameters)
static OptionalType	OptionalType.create(CelType parameter)
static TypeType	TypeType.create(CelType type)
static OpaqueType	CelTypes.createFunctionType(CelType resultType, java.lang.Iterable<CelType> argumentTypes)	Create an abstract type with an expected result type (first argument in the parameter) and the argument types.
static java.lang.String	CelTypes.format(CelType type)	Method to adapt a simple Type into a String representation.
static java.lang.String	CelTypes.formatFunction(CelType resultType, java.lang.Iterable<CelType> argTypes, boolean isInstance, boolean typeParamToDyn)	Format a function signature string from the input argTypes and resultType.
boolean	CelType.isAssignableFrom(CelType other)	Determine whether this type is assignable from the other type value.
boolean	EnumType.isAssignableFrom(CelType other)
boolean	NullableType.isAssignableFrom(CelType other)
boolean	SimpleType.isAssignableFrom(CelType other)
boolean	StructType.isAssignableFrom(CelType other)
boolean	StructTypeReference.isAssignableFrom(CelType other)
static StructType.Field	StructType.Field.of(java.lang.String name, CelType type)

Method parameters in dev.cel.common.types with type arguments of type CelType

Modifier and Type	Method	Description
static OpaqueType	OpaqueType.create(java.lang.String typeName, com.google.common.collect.ImmutableList<CelType> parameters)
static OpaqueType	CelTypes.createFunctionType(CelType resultType, java.lang.Iterable<CelType> argumentTypes)	Create an abstract type with an expected result type (first argument in the parameter) and the argument types.
static java.lang.String	CelTypes.formatFunction(CelType resultType, java.lang.Iterable<CelType> argTypes, boolean isInstance, boolean typeParamToDyn)	Format a function signature string from the input argTypes and resultType.
CelType	CelType.withParameters(com.google.common.collect.ImmutableList<CelType> parameters)	Instantiate a new copy of this type with alternative parameters.
CelType	ListType.withParameters(com.google.common.collect.ImmutableList<CelType> parameters)
CelType	MapType.withParameters(com.google.common.collect.ImmutableList<CelType> parameters)
CelType	NullableType.withParameters(com.google.common.collect.ImmutableList<CelType> parameters)
CelType	OpaqueType.withParameters(com.google.common.collect.ImmutableList<CelType> parameters)
CelType	TypeType.withParameters(com.google.common.collect.ImmutableList<CelType> parameters)

Uses of CelType in dev.cel.common.values

Methods in dev.cel.common.values that return CelType

Modifier and Type	Method	Description
CelType	BoolValue.celType()
CelType	BytesValue.celType()
abstract CelType	CelValue.celType()	The CelType that represents this value.
CelType	DoubleValue.celType()
CelType	DurationValue.celType()
CelType	EnumValue.celType()
CelType	ErrorValue.celType()
CelType	IntValue.celType()
CelType	ListValue.celType()
CelType	MapValue.celType()
CelType	NullValue.celType()
abstract CelType	ProtoMessageValue.celType()
CelType	StringValue.celType()
CelType	TimestampValue.celType()
CelType	UintValue.celType()
abstract CelType	TypeValue.value()

Methods in dev.cel.common.values with parameters of type CelType

Modifier and Type	Method	Description
static TypeValue	TypeValue.create(CelType value)

Uses of CelType in dev.cel.compiler

Methods in dev.cel.compiler with parameters of type CelType

Modifier and Type	Method	Description
CelCompilerBuilder	CelCompilerBuilder.addVar(java.lang.String name, CelType type)	Add a variable declaration with a given name and CelType.
CelCompilerBuilder	CelCompilerImpl.Builder.addVar(java.lang.String name, CelType type)
CelCompilerBuilder	CelCompilerBuilder.setResultType(CelType resultType)	Set the expected resultType for the type-checked expression.
CelCompilerBuilder	CelCompilerImpl.Builder.setResultType(CelType resultType)

Uses of CelType in dev.cel.runtime

Methods in dev.cel.runtime with parameters of type CelType

Modifier and Type	Method	Description
Value	DescriptorMessageProvider.adaptType(CelType type)	Adapt the check-time type instance to a runtime Value.
Value	RuntimeTypeProviderLegacyImpl.adaptType(CelType type)
@Nullable Value	StandardTypeResolver.adaptType(CelType type)	Adapt the check-time type instance to a runtime Value.
@Nullable Value	TypeResolver.adaptType(CelType type)	Adapt the check-time type instance to a runtime Value.