org.reflext.api.relationship
Class SubType

java.lang.Object
  org.reflext.api.relationship.SubType

All Implemented Interfaces:

TypeRelationship<TypeInfo,TypeInfo>

public class SubType
extends java.lang.Object
implements TypeRelationship<TypeInfo,TypeInfo>

Version:

$Revision$

Author:

Julien Viet

Field Summary

Fields inherited from interface org.reflext.api.relationship.TypeRelationship

SUB_TYPE

Constructor Summary

SubType()

Method Summary

boolean	checkVariableExtension(TypeVariableInfo superTVI, TypeVariableInfo subTVI, TypeInfo ti)
boolean	isSatisfied(TypeInfo t1, TypeInfo t2) The sub type relationship is satisfied when the t1 type extends the t2 type.
boolean	isSubType(TypeInfo subTI, ArrayTypeInfo superATI)
boolean	isSubType(TypeInfo subTI, ClassTypeInfo superCTI)
boolean	isSubType(TypeInfo subTI, ParameterizedTypeInfo superPTI)
boolean	isSubType(TypeInfo subTI, TypeInfo superTI)
boolean	isSubType(TypeInfo subTI, TypeVariableInfo superTVI)
boolean	isSubType(TypeInfo subTI, VoidTypeInfo superVTI)

Methods inherited from class java.lang.Object

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

Constructor Detail

SubType

public SubType()

Method Detail

isSatisfied

public boolean isSatisfied(TypeInfo t1,
                           TypeInfo t2)

The sub type relationship is satisfied when the t1 type extends the t2 type.

Specified by:

isSatisfied in interface TypeRelationship<TypeInfo,TypeInfo>

Parameters:

t1 - the first type

t2 - the second type

Returns:

the satisfaction of the relationship

isSubType

public boolean isSubType(TypeInfo subTI,
                         TypeInfo superTI)

isSubType

public boolean isSubType(TypeInfo subTI,
                         ClassTypeInfo superCTI)

isSubType

public boolean isSubType(TypeInfo subTI,
                         VoidTypeInfo superVTI)

checkVariableExtension

public boolean checkVariableExtension(TypeVariableInfo superTVI,
                                      TypeVariableInfo subTVI,
                                      TypeInfo ti)

isSubType

public boolean isSubType(TypeInfo subTI,
                         TypeVariableInfo superTVI)

isSubType

public boolean isSubType(TypeInfo subTI,
                         ParameterizedTypeInfo superPTI)

isSubType

public boolean isSubType(TypeInfo subTI,
                         ArrayTypeInfo superATI)