org.checkerframework.qualframework.base

Class DefaultTypeHierarchy<Q>

java.lang.Object

org.checkerframework.qualframework.base.DefaultTypeHierarchy<Q>

All Implemented Interfaces:

TypeHierarchy<Q>

public class DefaultTypeHierarchy<Q>
extends Object
implements TypeHierarchy<Q>

Default implementation of TypeHierarchy. Applies standard Java subtyping rules to compare Java types.

Constructor Summary

Constructors

Constructor and Description
DefaultTypeHierarchy()

Method Summary

Modifier and Type	Method and Description
boolean	isSubtype(QualifiedTypeMirror<Q> subtype, QualifiedTypeMirror<Q> supertype) Checks if subtype is a subtype of supertype.

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultTypeHierarchy

public DefaultTypeHierarchy()

Method Detail

isSubtype

public boolean isSubtype(QualifiedTypeMirror<Q> subtype,
                         QualifiedTypeMirror<Q> supertype)

Description copied from interface: TypeHierarchy

Checks if subtype is a subtype of supertype.

Specified by:

isSubtype in interface TypeHierarchy<Q>