org.jetbrains.jet.lang.resolve.calls.inference

Class SubtypingConstraint

java.lang.Object

org.jetbrains.jet.lang.resolve.calls.inference.SubtypingConstraint

public class SubtypingConstraint
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
SubtypingConstraint(ConstraintType type, JetType subtype, JetType supertype)

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	getErrorMessage()
JetType	getSubtype()
JetType	getSupertype()
ConstraintType	getType()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SubtypingConstraint

public SubtypingConstraint(@NotNull
                   ConstraintType type,
                   @NotNull
                   JetType subtype,
                   @NotNull
                   JetType supertype)

Method Detail

getSubtype

@NotNull
public JetType getSubtype()

getSupertype

@NotNull
public JetType getSupertype()

getType

@NotNull
public ConstraintType getType()

getErrorMessage

@NotNull
public java.lang.String getErrorMessage()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object