Package tools.refinery.store.reasoning.translator.typehierarchy

Class TypeHierarchyTranslator

java.lang.Object

tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyTranslator

All Implemented Interfaces:

ModelStoreConfiguration

public class TypeHierarchyTranslator
extends Object
implements ModelStoreConfiguration

Field Summary

Fields

Modifier and Type	Field	Description
static final Symbol<InferredType>	TYPE_SYMBOL

Constructor Summary

Constructors

Constructor	Description
TypeHierarchyTranslator(TypeHierarchy typeHierarchy)

Method Summary

Modifier and Type	Method	Description
void	apply(ModelStoreBuilder storeBuilder)

Methods inherited from class java.lang.Object

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

Field Details

TYPE_SYMBOL

public static final Symbol<InferredType> TYPE_SYMBOL

Constructor Details

TypeHierarchyTranslator

public TypeHierarchyTranslator(TypeHierarchy typeHierarchy)

Method Details

apply

public void apply(ModelStoreBuilder storeBuilder)

Specified by:

apply in interface ModelStoreConfiguration