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

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

All Implemented Interfaces:

Annotated, TypeConstructor

public class DoubleValueTypeConstructor
extends NumberValueTypeConstructor

Method Summary

static DoubleValueTypeConstructor	create(double value)
java.util.Collection<JetType>	getSupertypes()

Methods inherited from class org.jetbrains.jet.lang.resolve.constants.NumberValueTypeConstructor

getAnnotations, getDeclarationDescriptor, getParameters, isDenotable, isSealed

Methods inherited from class java.lang.Object

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

Method Detail

create

public static DoubleValueTypeConstructor create(double value)

getSupertypes

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