Package org.openzen.zenscript.codemodel.type

Interface TypeID

All Known Implementing Classes:

ArrayTypeID, AssocTypeID, BasicTypeID, DefinitionTypeID, FunctionTypeID, GenericMapTypeID, GenericTypeID, InvalidTypeID, IteratorTypeID, JavaFunctionalInterfaceTypeID, OptionalTypeID, RangeTypeID

public interface TypeID

Field Summary

Fields

Modifier and Type	Field	Description
static final TypeID[]	NONE

Method Summary

Modifier and Type	Method	Description
<C, R, E extends Exception> R	accept(C context, TypeVisitorWithContext<C,R,E> visitor)
<R> R	accept(TypeVisitor<R> visitor)
default boolean	canCastExplicitFrom(TypeID other)
default boolean	canCastExplicitTo(TypeID other)
default boolean	canCastImplicitFrom(TypeID other)
default boolean	canCastImplicitTo(TypeID other)
default Expression	castExplicitFrom(CodePosition position, Expression value)
default Expression	castExplicitTo(CodePosition position, Expression value, TypeID toOther)
default Expression	castImplicitFrom(CodePosition position, Expression value)
default Expression	castImplicitTo(CodePosition position, Expression value, TypeID toType)
void	extractTypeParameters(List<TypeParameter> typeParameters)
default Expression	getDefaultValue()
static Map<TypeParameter,TypeID>	getMapping(TypeParameter[] parameters, TypeID[] arguments)
TypeID	getNormalized()
static Map<TypeParameter,TypeID>	getSelfMapping(GlobalTypeRegistry registry, TypeParameter[] parameters)
default TypeID	getSuperType(GlobalTypeRegistry registry)
boolean	hasDefaultValue()
default Map<TypeParameter,TypeID>	inferTypeParameters(LocalMemberCache cache, TypeID targetType)
TypeID	instance(GenericMapper mapper)
default boolean	isDefinition(HighLevelDefinition definition)
default boolean	isEnum()
default boolean	isGeneric()
default boolean	isOptional()
boolean	isValueType()
default boolean	isVariant()
default TypeID	withoutOptional()

Field Details

NONE

static final TypeID[] NONE

Method Details

getMapping

static Map<TypeParameter,TypeID> getMapping(TypeParameter[] parameters,
 TypeID[] arguments)

getSelfMapping

static Map<TypeParameter,TypeID> getSelfMapping(GlobalTypeRegistry registry,
 TypeParameter[] parameters)

getSuperType

default TypeID getSuperType(GlobalTypeRegistry registry)

instance

TypeID instance(GenericMapper mapper)

getNormalized

TypeID getNormalized()

hasDefaultValue

boolean hasDefaultValue()

getDefaultValue

default Expression getDefaultValue()

inferTypeParameters

default Map<TypeParameter,TypeID> inferTypeParameters(LocalMemberCache cache,
 TypeID targetType)

extractTypeParameters

void extractTypeParameters(List<TypeParameter> typeParameters)

accept

<R> R accept(TypeVisitor<R> visitor)

accept

<C,
R,
E extends Exception> R accept(C context,
 TypeVisitorWithContext<C,R,E> visitor)
                            throws E

Throws:

E extends Exception

isOptional

default boolean isOptional()

isGeneric

default boolean isGeneric()

isValueType

boolean isValueType()

withoutOptional

default TypeID withoutOptional()

isVariant

default boolean isVariant()

isEnum

default boolean isEnum()

isDefinition

default boolean isDefinition(HighLevelDefinition definition)

canCastImplicitTo

default boolean canCastImplicitTo(TypeID other)

canCastExplicitTo

default boolean canCastExplicitTo(TypeID other)

canCastImplicitFrom

default boolean canCastImplicitFrom(TypeID other)

canCastExplicitFrom

default boolean canCastExplicitFrom(TypeID other)

castImplicitTo

default Expression castImplicitTo(CodePosition position,
 Expression value,
 TypeID toType)

castExplicitTo

default Expression castExplicitTo(CodePosition position,
 Expression value,
 TypeID toOther)

castImplicitFrom

default Expression castImplicitFrom(CodePosition position,
 Expression value)

castExplicitFrom

default Expression castExplicitFrom(CodePosition position,
 Expression value)