org.jetbrains.jet.lang.resolve.constants
Class NumberValueTypeConstructor

java.lang.Object
  org.jetbrains.jet.lang.resolve.constants.NumberValueTypeConstructor

All Implemented Interfaces:

Annotated, TypeConstructor

Direct Known Subclasses:

DoubleValueTypeConstructor, IntegerValueTypeConstructor

public abstract class NumberValueTypeConstructor
extends java.lang.Object
implements TypeConstructor

Constructor Summary

NumberValueTypeConstructor()

Method Summary

java.util.List<AnnotationDescriptor>	getAnnotations()
ClassifierDescriptor	getDeclarationDescriptor()
java.util.List<TypeParameterDescriptor>	getParameters()
boolean	isDenotable() If the type is non-denotable, it can't be written in code directly, it only can appear internally inside a type checker.
boolean	isFinal() Cannot have subtypes.

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.jetbrains.jet.lang.types.TypeConstructor

getSupertypes

Constructor Detail

NumberValueTypeConstructor

public NumberValueTypeConstructor()

Method Detail

getParameters

@NotNull
public java.util.List<TypeParameterDescriptor> getParameters()

Specified by:

getParameters in interface TypeConstructor

isFinal

public boolean isFinal()

Description copied from interface: TypeConstructor

Cannot have subtypes.

Specified by:

isFinal in interface TypeConstructor

isDenotable

public boolean isDenotable()

Description copied from interface: TypeConstructor

If the type is non-denotable, it can't be written in code directly, it only can appear internally inside a type checker. Examples: intersection type or number value type.

Specified by:

isDenotable in interface TypeConstructor

getDeclarationDescriptor

@Nullable
public ClassifierDescriptor getDeclarationDescriptor()

Specified by:

getDeclarationDescriptor in interface TypeConstructor

getAnnotations

@NotNull
public java.util.List<AnnotationDescriptor> getAnnotations()

Specified by:

getAnnotations in interface Annotated