Package org.openzen.zenscript.codemodel.type

Class DefinitionTypeID

java.lang.Object

org.openzen.zenscript.codemodel.type.DefinitionTypeID

All Implemented Interfaces:

TypeID

public class DefinitionTypeID
extends Object
implements TypeID

Field Summary

Fields

Modifier and Type	Field	Description
final HighLevelDefinition	definition
final DefinitionTypeID	outer
final TypeID[]	typeArguments

Fields inherited from interface org.openzen.zenscript.codemodel.type.TypeID

NONE

Constructor Summary

Constructors

Constructor	Description
DefinitionTypeID(HighLevelDefinition definition)
DefinitionTypeID(GlobalTypeRegistry typeRegistry, HighLevelDefinition definition, TypeID[] typeArguments)
DefinitionTypeID(GlobalTypeRegistry typeRegistry, HighLevelDefinition definition, TypeID[] typeArguments, DefinitionTypeID outer)

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)
boolean	canCastImplicitFrom(TypeID other)
Expression	castImplicitFrom(CodePosition position, Expression value)
boolean	equals(Object obj)
void	extractTypeParameters(List<TypeParameter> typeParameters)
DefinitionTypeID	getInnerType(GenericName name, GlobalTypeRegistry registry)
TypeID	getNormalized()
TypeID	getSuperType(GlobalTypeRegistry registry)
Map<TypeParameter,TypeID>	getTypeParameterMapping()
boolean	hasDefaultValue()
int	hashCode()
boolean	hasTypeParameters()
TypeID	instance(GenericMapper mapper)
boolean	isDefinition(HighLevelDefinition definition)
boolean	isEnum()
boolean	isOptional()
boolean	isValueType()
boolean	isVariant()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.openzen.zenscript.codemodel.type.TypeID

canCastExplicitFrom, canCastExplicitTo, canCastImplicitTo, castExplicitFrom, castExplicitTo, castImplicitTo, getDefaultValue, inferTypeParameters, isGeneric, withoutOptional

Field Details

definition

public final HighLevelDefinition definition

typeArguments

public final TypeID[] typeArguments

outer

public final DefinitionTypeID outer

Constructor Details

DefinitionTypeID

public DefinitionTypeID(GlobalTypeRegistry typeRegistry,
 HighLevelDefinition definition,
 TypeID[] typeArguments)

DefinitionTypeID

public DefinitionTypeID(GlobalTypeRegistry typeRegistry,
 HighLevelDefinition definition,
 TypeID[] typeArguments,
 DefinitionTypeID outer)

DefinitionTypeID

public DefinitionTypeID(HighLevelDefinition definition)

Method Details

hasTypeParameters

public boolean hasTypeParameters()

getTypeParameterMapping

public Map<TypeParameter,TypeID> getTypeParameterMapping()

getNormalized

public TypeID getNormalized()

Specified by:

getNormalized in interface TypeID

instance

public TypeID instance(GenericMapper mapper)

Specified by:

instance in interface TypeID

getSuperType

public TypeID getSuperType(GlobalTypeRegistry registry)

Specified by:

getSuperType in interface TypeID

accept

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

Specified by:

accept in interface TypeID

accept

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

Specified by:

accept in interface TypeID

Throws:

E extends Exception

isOptional

public boolean isOptional()

Specified by:

isOptional in interface TypeID

isValueType

public boolean isValueType()

Specified by:

isValueType in interface TypeID

isEnum

public boolean isEnum()

Specified by:

isEnum in interface TypeID

isVariant

public boolean isVariant()

Specified by:

isVariant in interface TypeID

isDefinition

public boolean isDefinition(HighLevelDefinition definition)

Specified by:

isDefinition in interface TypeID

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

hasDefaultValue

public boolean hasDefaultValue()

Specified by:

hasDefaultValue in interface TypeID

extractTypeParameters

public void extractTypeParameters(List<TypeParameter> typeParameters)

Specified by:

extractTypeParameters in interface TypeID

getInnerType

public DefinitionTypeID getInnerType(GenericName name,
 GlobalTypeRegistry registry)

canCastImplicitFrom

public boolean canCastImplicitFrom(TypeID other)

Specified by:

canCastImplicitFrom in interface TypeID

castImplicitFrom

public Expression castImplicitFrom(CodePosition position,
 Expression value)

Specified by:

castImplicitFrom in interface TypeID