public class EventBasedGatewayCheck extends AbstractChoreographyCheck
AbstractChoreographyCheck.Direction
model
Constructor and Description |
---|
EventBasedGatewayCheck(BPMNModel model) |
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.
|
checkRealizability, choreographyActivitiesIn, directlyPrecedingChoreographyActivities, directlySucceedingChoreographyActivities, getFinalTasksWithoutParticipant, neighbourChoreographyActivities, neighbourNodes, nextNeighbourChoreographyActivities, nodesWithoutSequenceFlowInDirection, nodesWithSequenceFlowOverBorder, noticesCompletion, precedingChoreographyActivities, setModel, succeedingChoreographyActivities
public EventBasedGatewayCheck(BPMNModel model)
public java.util.Collection<java.lang.Class<? extends ProcessObject>> getRelevantClasses()
AbstractChoreographyCheck
getRelevantClasses
in class AbstractChoreographyCheck
public java.util.Collection<EnforceabilityProblem> checkObject(ProcessObject object)
AbstractChoreographyCheck
checkObject
in class AbstractChoreographyCheck
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