org.classdump.luna.compiler.analysis.types

Interface GradualTypeLike<T>

All Known Implementing Classes:

AbstractType, BottomType, ConcreteLitType, ConcreteType, DynamicType, FunctionType, LiteralType, TopType, Type, TypeSeq

public interface GradualTypeLike<T>

Method Summary

Modifier and Type	Method and Description
boolean	isConsistentSubtypeOf(T that)
boolean	isConsistentWith(T that)

Method Detail

isConsistentWith

boolean isConsistentWith(T that)

isConsistentSubtypeOf

boolean isConsistentSubtypeOf(T that)