org.eclipse.xtext.common.types.util
Class TypeConformanceResult

java.lang.Object
  org.eclipse.xtext.common.types.util.TypeConformanceResult

public class TypeConformanceResult
extends java.lang.Object

Author:

Sebastian Zarnekow - Initial contribution and API

Nested Class Summary

static class

TypeConformanceResult.Kind

Field Summary

static TypeConformanceResult	FAILED
static TypeConformanceResult	SUBTYPE
static TypeConformanceResult	SUCCESS

Constructor Summary

TypeConformanceResult(java.util.EnumSet<TypeConformanceResult.Kind> kinds, java.lang.Exception trace)

TypeConformanceResult(TypeConformanceResult.Kind kind)

TypeConformanceResult(TypeConformanceResult.Kind kind, java.lang.Exception trace)

Method Summary

JvmTypeReference	getConvertFrom()
JvmTypeReference	getConvertTo()
java.util.EnumSet<TypeConformanceResult.Kind>	getKinds()
int	getSynonymIndex()
java.lang.Exception	getTrace()
boolean	isConformant()
static TypeConformanceResult	merge(TypeConformanceResult first, TypeConformanceResult second)
protected void	setConversion(JvmTypeReference from, JvmTypeReference to)
protected void	setSynonymIndex(int synonymIndex)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

SUCCESS

public static final TypeConformanceResult SUCCESS

SUBTYPE

public static final TypeConformanceResult SUBTYPE

FAILED

public static final TypeConformanceResult FAILED

Constructor Detail

TypeConformanceResult

public TypeConformanceResult(TypeConformanceResult.Kind kind)

TypeConformanceResult

public TypeConformanceResult(TypeConformanceResult.Kind kind,
                             java.lang.Exception trace)

TypeConformanceResult

public TypeConformanceResult(java.util.EnumSet<TypeConformanceResult.Kind> kinds,
                             java.lang.Exception trace)

Method Detail

merge

public static TypeConformanceResult merge(TypeConformanceResult first,
                                          TypeConformanceResult second)

isConformant

public boolean isConformant()

setConversion

protected void setConversion(JvmTypeReference from,
                             JvmTypeReference to)

setSynonymIndex

protected void setSynonymIndex(int synonymIndex)

getConvertFrom

public JvmTypeReference getConvertFrom()

getConvertTo

public JvmTypeReference getConvertTo()

getKinds

public java.util.EnumSet<TypeConformanceResult.Kind> getKinds()

getSynonymIndex

public int getSynonymIndex()

getTrace

public java.lang.Exception getTrace()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object