org.eclipse.viatra.transformation.evm.specific.resolver

Class InvertedDisappearancePriorityConflictResolver

java.lang.Object

org.eclipse.viatra.transformation.evm.specific.resolver.ReconfigurableConflictResolver<FixedPriorityConflictSet>

org.eclipse.viatra.transformation.evm.specific.resolver.FixedPriorityConflictResolver

org.eclipse.viatra.transformation.evm.specific.resolver.InvertedDisappearancePriorityConflictResolver

All Implemented Interfaces:

ConflictResolver

public class InvertedDisappearancePriorityConflictResolver
extends FixedPriorityConflictResolver

A conflict resolver implementation that assigns a fixed priority for each RuleSpecification it understands, and uses this priority for the appeared activations, while uses the inverse of this for the disappeared events.

This conflict resolver is especially useful to make sure all deletions precede the creation of new model elements.

Since:

1.0

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	InvertedDisappearancePriorityConflictResolver.InvertedDisappearancePriorityConflictSet

Field Summary

Fields inherited from class org.eclipse.viatra.transformation.evm.specific.resolver.FixedPriorityConflictResolver

priorities

Constructor Summary

Constructors

Constructor and Description
InvertedDisappearancePriorityConflictResolver()

Method Summary

Modifier and Type	Method and Description
protected FixedPriorityConflictSet	createReconfigurableConflictSet()

Methods inherited from class org.eclipse.viatra.transformation.evm.specific.resolver.FixedPriorityConflictResolver

setPriority

Methods inherited from class org.eclipse.viatra.transformation.evm.specific.resolver.ReconfigurableConflictResolver

createConflictSet, getConflictSets

Methods inherited from class java.lang.Object

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

Constructor Detail

InvertedDisappearancePriorityConflictResolver

public InvertedDisappearancePriorityConflictResolver()

Method Detail

createReconfigurableConflictSet

protected FixedPriorityConflictSet createReconfigurableConflictSet()

Overrides:

createReconfigurableConflictSet in class FixedPriorityConflictResolver