org.eclipse.incquery.runtime.evm.specific.resolver.impl

Class RandomAccessConflictSetImpl

java.lang.Object

org.eclipse.incquery.runtime.evm.specific.resolver.impl.RandomAccessConflictSetImpl

All Implemented Interfaces:

ChangeableConflictSet, ConflictSet

public abstract class RandomAccessConflictSetImpl
extends java.lang.Object
implements ChangeableConflictSet

Constructor Summary

Constructors

Constructor and Description
RandomAccessConflictSetImpl()

Method Summary

Modifier and Type	Method and Description
boolean	addActivation(Activation<?> activation) This method is called by the Agenda when an activation changes state and becomes or is still enabled.
java.util.Set<Activation<?>>	getConflictingActivations()
java.util.Set<Activation<?>>	getNextActivations()
boolean	removeActivation(Activation<?> activation) This method is called by the Agenda when an activation changes state and becomes or is still disabled.

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.incquery.runtime.evm.api.resolver.ConflictSet

getConflictResolver, getNextActivation

Constructor Detail

RandomAccessConflictSetImpl

public RandomAccessConflictSetImpl()

Method Detail

getConflictingActivations

public java.util.Set<Activation<?>> getConflictingActivations()

Specified by:

getConflictingActivations in interface ConflictSet

Returns:

the set of all activations that are in conflict (all enabled activations)

addActivation

public boolean addActivation(Activation<?> activation)

Description copied from interface: ChangeableConflictSet

This method is called by the Agenda when an activation changes state and becomes or is still enabled.

NOTE: The ChangeableConflictSet is responsible for handling that add may be called multiple times on an Activation already in the conflict set!

Specified by:

addActivation in interface ChangeableConflictSet

Parameters:

activation - the activation that should be added to the conflict set

Returns:

true, if the conflict set changed

removeActivation

public boolean removeActivation(Activation<?> activation)

Description copied from interface: ChangeableConflictSet

This method is called by the Agenda when an activation changes state and becomes or is still disabled.

NOTE: The ChangeableConflictSet is responsible for handling that remove may be called on Activations that are not in the conflict set!

Specified by:

removeActivation in interface ChangeableConflictSet

Parameters:

activation - the activation that should be removed from the conflict set

Returns:

true, if the conflict set changed

getNextActivations

public java.util.Set<Activation<?>> getNextActivations()

Specified by:

getNextActivations in interface ConflictSet

Returns:

the set of activations that are considered as equal by the resolver