org.objectweb.fractal.api

Interface Type

Known Subinterfaces:
ComponentType, InterfaceType

public interface Type

Specifies the minimal interface that all type systems must implement. This interface defines only one method to test if a type is a sub-type of another one.

Method Summary

boolean
isFcSubTypeOf(Type type)
Returns true if the given type is a sub-type of this type.

Method Details

isFcSubTypeOf

public boolean isFcSubTypeOf(Type type)
Returns true if the given type is a sub-type of this type. The relation defined by this method should be:
  • reflexive: if t is equals to u then t.isFcSubTypeOf(u) should return true
  • <!--
  • anti-symetric: if t.isFcSubTypeOf(u) and u.isFcSubTypeOf(t) are true then t must be equals to u
  • -->
  • transitive: if t.isFcSubTypeOf(u) and u.isFcSubTypeOf(v) are true then t.isFcSubTypeOf(v) must be true

Parameters:
type - the type to be compared to this type.

Returns:
true if the given type is a sub-type of this type.