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

SubtypingConstraint(ConstraintType type, JetType subtype, JetType supertype)

Method Summary

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