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

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

All Implemented Interfaces:

Annotated, TypeConstructor

public class IntegerValueTypeConstructor
extends java.lang.Object
implements TypeConstructor

Constructor Summary

IntegerValueTypeConstructor(long value)

Method Summary

Annotations	getAnnotations()
ClassifierDescriptor	getDeclarationDescriptor()
java.util.List<TypeParameterDescriptor>	getParameters()
java.util.Collection<JetType>	getSupertypes()
java.lang.Long	getValue()
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.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

IntegerValueTypeConstructor

public IntegerValueTypeConstructor(long value)

Method Detail

getSupertypes

@NotNull
public java.util.Collection<JetType> getSupertypes()

Specified by:

getSupertypes in interface TypeConstructor

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 Annotations getAnnotations()

Specified by:

getAnnotations in interface Annotated

getValue

public java.lang.Long getValue()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object