krieger.oclsolve
Class TypeHierarchy<T,TID>

java.lang.Object
  krieger.oclsolve.TypeHierarchy<T,TID>

Type Parameters:

T - The type used for representing classes.

TID - A separate type for identifying classes.

public abstract class TypeHierarchy<T,TID>
extends java.lang.Object

Represents a type hierarchy.

Constructor Summary

TypeHierarchy()

Method Summary

abstract java.util.Collection<T>	getAllTypes() Returns all types in the type hierachy.
abstract TID	getName(T type) Returns an identifier for the given type.
java.lang.String	getPath(T type) Returns a path to the Java file for the given type/class.
java.util.Set<T>	getSubtypes(T type) Returns the subtypes of the given type.
boolean	isAbstract(T type) Returns whether the given type is abstract.

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeHierarchy

public TypeHierarchy()

Method Detail

getAllTypes

public abstract java.util.Collection<T> getAllTypes()

Returns all types in the type hierachy.

getSubtypes

public java.util.Set<T> getSubtypes(T type)

Returns the subtypes of the given type.

isAbstract

public boolean isAbstract(T type)

Returns whether the given type is abstract.

getName

public abstract TID getName(T type)

Returns an identifier for the given type.

getPath

public java.lang.String getPath(T type)

Returns a path to the Java file for the given type/class.