Package tools.refinery.language.validation

Class ClassHierarchyCollector

java.lang.Object

tools.refinery.language.validation.ClassHierarchyCollector

public class ClassHierarchyCollector
extends Object

Constructor Summary

Constructors

Constructor	Description
ClassHierarchyCollector()

Method Summary

Modifier and Type	Method	Description
Collection<Relation>	getSuperTypes(ClassDeclaration classDeclaration)

Methods inherited from class java.lang.Object

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

Constructor Details

ClassHierarchyCollector

public ClassHierarchyCollector()

Method Details

getSuperTypes

public Collection<Relation> getSuperTypes(ClassDeclaration classDeclaration)