org.eclipse.viatra.transformation.debug

Class ManualConflictResolver

java.lang.Object

org.eclipse.viatra.transformation.evm.api.adapter.AbstractEVMAdapter

org.eclipse.viatra.transformation.debug.ManualConflictResolver

All Implemented Interfaces:

org.eclipse.viatra.transformation.evm.api.adapter.IEVMAdapter

public class ManualConflictResolver
extends org.eclipse.viatra.transformation.evm.api.adapter.AbstractEVMAdapter

Adapter implementation that enables the user to define the execution order of conflicting rule activations

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	ManualConflictResolver.ManualConflictResolverConflictSet
class	ManualConflictResolver.ManualConflictResolverIterator

Constructor Summary

Constructors

Constructor and Description
ManualConflictResolver(IDebugController usedUI)

Method Summary

Methods

Modifier and Type	Method and Description
org.eclipse.viatra.transformation.evm.api.resolver.ChangeableConflictSet	getConflictSet(org.eclipse.viatra.transformation.evm.api.resolver.ChangeableConflictSet set)
java.util.Iterator<org.eclipse.viatra.transformation.evm.api.Activation<?>>	getExecutableActivations(java.util.Iterator<org.eclipse.viatra.transformation.evm.api.Activation<?>> iterator)

Methods inherited from class java.lang.Object

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

Constructor Detail

ManualConflictResolver

public ManualConflictResolver(IDebugController usedUI)

Method Detail

getConflictSet

public org.eclipse.viatra.transformation.evm.api.resolver.ChangeableConflictSet getConflictSet(org.eclipse.viatra.transformation.evm.api.resolver.ChangeableConflictSet set)

Specified by:

getConflictSet in interface org.eclipse.viatra.transformation.evm.api.adapter.IEVMAdapter

Overrides:

getConflictSet in class org.eclipse.viatra.transformation.evm.api.adapter.AbstractEVMAdapter

getExecutableActivations

public java.util.Iterator<org.eclipse.viatra.transformation.evm.api.Activation<?>> getExecutableActivations(java.util.Iterator<org.eclipse.viatra.transformation.evm.api.Activation<?>> iterator)

Specified by:

getExecutableActivations in interface org.eclipse.viatra.transformation.evm.api.adapter.IEVMAdapter

Overrides:

getExecutableActivations in class org.eclipse.viatra.transformation.evm.api.adapter.AbstractEVMAdapter