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

Class ForbiddenNodesCheck

java.lang.Object

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

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

public class ForbiddenNodesCheck
extends AbstractChoreographyCheck

Checks, that only nodes, that are allowed in ChoreographyDiagrams occur in this BPMNModel.

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
ForbiddenNodesCheck(BPMNModel model)

Method Summary

Modifier and Type	Method and Description
java.util.Collection<EnforceabilityProblem>	checkNode(ProcessNode node) checks, that a specified node is allowed in Choreography diagrams and that it is attached, if it must be attached and not attached if it must not be attached.
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

ForbiddenNodesCheck

public ForbiddenNodesCheck(BPMNModel model)

Method Detail

checkNode

public java.util.Collection<EnforceabilityProblem> checkNode(ProcessNode node)

checks, that a specified node is allowed in Choreography diagrams and that it is attached, if it must be attached and not attached if it must not be attached.

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.