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

Class AttachedEventsCheck

java.lang.Object

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

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

public class AttachedEventsCheck
extends AbstractChoreographyCheck

Checks, that attached events have no incomming sequence flow

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
AttachedEventsCheck(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

AttachedEventsCheck

public AttachedEventsCheck(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.