public class BehavioralConstraintsChecking
extends java.lang.Object
Constructor and Description |
---|
BehavioralConstraintsChecking() |
Modifier and Type | Method and Description |
---|---|
void |
checking(XOCLog log,
OCBCModel model) |
static java.util.List<XOCObject> |
filterObjects(java.util.List<XOCObject> inputObjects,
ClassNode classNodeReference) |
java.util.Map<ActivityEdge,java.util.Map<XOCEvent,java.util.List<XOCEvent>>> |
getBehavioralConstraintVSEventVSPrecedenceEventListMap()
get the preceding corresponding events of deviating event for one behavioral constraint
|
java.util.Map<ActivityEdge,java.util.Map<XOCEvent,java.util.List<XOCEvent>>> |
getBehavioralConstraintVSEventVSResponseEventListMap()
get the subsequent corresponding events of deviating event for one behavioral constraint
|
public java.util.Map<ActivityEdge,java.util.Map<XOCEvent,java.util.List<XOCEvent>>> getBehavioralConstraintVSEventVSPrecedenceEventListMap()
public java.util.Map<ActivityEdge,java.util.Map<XOCEvent,java.util.List<XOCEvent>>> getBehavioralConstraintVSEventVSResponseEventListMap()