com.inubit.research.gui.plugins.choreography.enforceabilityChecker

Class InclusiveGatewayCheck

java.lang.Object

com.inubit.research.gui.plugins.choreography.enforceabilityChecker.AbstractChoreographyCheck

com.inubit.research.gui.plugins.choreography.enforceabilityChecker.InclusiveGatewayCheck

public class InclusiveGatewayCheck
extends AbstractChoreographyCheck

Checks, that all participants, who are affected by an InclusiveGateway, have been participating in the choreography before.

Nested Class Summary

Nested classes/interfaces inherited from class com.inubit.research.gui.plugins.choreography.enforceabilityChecker.AbstractChoreographyCheck

AbstractChoreographyCheck.Direction

Field Summary

Fields inherited from class com.inubit.research.gui.plugins.choreography.enforceabilityChecker.AbstractChoreographyCheck

model

Constructor Summary

Constructors

Constructor and Description
InclusiveGatewayCheck(BPMNModel model)

Method Summary

Modifier and Type	Method and Description
java.util.Collection<EnforceabilityProblem>	checkObject(ProcessObject object) performs the checks necessary for a given object
java.util.Collection<java.lang.Class<? extends ProcessObject>>	getRelevantClasses() specifies, which types of ProcessObjects are of interest for this ChoreographyCheck.

Methods inherited from class com.inubit.research.gui.plugins.choreography.enforceabilityChecker.AbstractChoreographyCheck

checkRealizability, choreographyActivitiesIn, directlyPrecedingChoreographyActivities, directlySucceedingChoreographyActivities, getFinalTasksWithoutParticipant, neighbourChoreographyActivities, neighbourNodes, nextNeighbourChoreographyActivities, nodesWithoutSequenceFlowInDirection, nodesWithSequenceFlowOverBorder, noticesCompletion, precedingChoreographyActivities, setModel, succeedingChoreographyActivities

Methods inherited from class java.lang.Object

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

Constructor Detail

InclusiveGatewayCheck

public InclusiveGatewayCheck(BPMNModel model)

Method Detail

getRelevantClasses

public java.util.Collection<java.lang.Class<? extends ProcessObject>> getRelevantClasses()

Description copied from class: AbstractChoreographyCheck

specifies, which types of ProcessObjects are of interest for this ChoreographyCheck.

Specified by:

getRelevantClasses in class AbstractChoreographyCheck

checkObject

public java.util.Collection<EnforceabilityProblem> checkObject(ProcessObject object)

Description copied from class: AbstractChoreographyCheck

performs the checks necessary for a given object

Specified by:

checkObject in class AbstractChoreographyCheck

Parameters:

object - a ProcessObject that should be checked. This can be any ProcessObject. If the object is not of interest for this ChoreographyCheck, it will report no problems

Returns:

the Collection of problems that were detected related to this object. If there are no problems, this will be an empty Collection, but not null.