Package tools.refinery.store.reasoning.translator.containment

Class ContainmentHierarchyTranslator

java.lang.Object

tools.refinery.store.reasoning.translator.containment.ContainmentHierarchyTranslator

All Implemented Interfaces:

ModelStoreConfiguration

public class ContainmentHierarchyTranslator
extends Object
implements ModelStoreConfiguration

Field Summary

Fields

Modifier and Type	Field	Description
static final PartialRelation	CONTAINED_SYMBOL
static final PartialRelation	CONTAINER_SYMBOL
static final PartialRelation	CONTAINS_SYMBOL
static final PartialRelation	INVALID_CONTAINER

Constructor Summary

Constructors

Constructor	Description
ContainmentHierarchyTranslator(Map<PartialRelation,ContainmentInfo> containmentInfoMap)
ContainmentHierarchyTranslator(Map<PartialRelation,ContainmentInfo> containmentInfoMap, List<PartialRelation> focusingDisallowedTypes)

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

CONTAINER_SYMBOL

public static final PartialRelation CONTAINER_SYMBOL

CONTAINED_SYMBOL

public static final PartialRelation CONTAINED_SYMBOL

INVALID_CONTAINER

public static final PartialRelation INVALID_CONTAINER

CONTAINS_SYMBOL

public static final PartialRelation CONTAINS_SYMBOL

Constructor Details

ContainmentHierarchyTranslator

public ContainmentHierarchyTranslator(Map<PartialRelation,ContainmentInfo> containmentInfoMap)

ContainmentHierarchyTranslator

public ContainmentHierarchyTranslator(Map<PartialRelation,ContainmentInfo> containmentInfoMap,
 List<PartialRelation> focusingDisallowedTypes)

Method Details

apply

public void apply(ModelStoreBuilder storeBuilder)

Specified by:

apply in interface ModelStoreConfiguration