public class EventNumberPerObjectChecking
extends java.lang.Object
Constructor and Description |
---|
EventNumberPerObjectChecking() |
Modifier and Type | Method and Description |
---|---|
void |
checking(XOCLog log,
OCBCModel model) |
java.util.List<IntegerPair> |
createObjectDeviatingPeriodList(XOCObject object,
java.util.List<java.lang.Integer> checkingMomentList,
java.util.List<XOCEvent> relatedEventList,
Cardinality cardinality,
java.lang.String cardinalityType)
create the deviating period for an object based on the checking moment list, related event list and cardinality;
|
java.util.Map<AOCEdge,java.util.Map<XOCObject,java.util.List<IntegerPair>>> |
getViolatedAOCRelationAlwaysVSObjectVSPeriodListMap()
get the violatedAOCRelationAlwaysVSObjectVSPeriodList which records deviating objects for each AOC relation;
note that, each object has a list of periods, which means object versions of one object during these periods are deviating;
|
java.util.Map<AOCEdge,java.util.Map<XOCObject,java.util.List<IntegerPair>>> |
getViolatedAOCRelationEventuallyVSObjectVSPeriodListMap()
get the violatedAOCRelationEventuallyVSObjectVSPeriodList which records deviating objects for each AOC relation;
note that, each object has a list of periods, which means object versions of one object during these periods are deviating;
|
java.util.List<AOCEdge> |
getViolatedAOCRelationList() |
boolean |
isEventNumberCorrectAtLastMomentForObjectVersion(XOCObject object,
int objectVersionMoment,
java.util.List<java.lang.Integer> checkingMomentList,
java.util.List<XOCEvent> relatedEventList,
Cardinality activityEventuallyCardinality)
check if an object version (at one checking moment, i.e., the object version's birth moment)
has the required number of corresponding events at the last moment (corresponding to the last event in a log);
currently, we consider all event in relatedEventList are corresponding events (because all events are before or equal the last event);
|
boolean |
isEventNumberCorrectAtLatterMomentsForObjectVersion(XOCObject object,
int objectVersionMoment,
java.util.List<java.lang.Integer> checkingMomentList,
java.util.List<XOCEvent> relatedEventList,
Cardinality activityAlwaysCardinality)
check if an object version (at one checking moment, i.e., the object version's birth moment)
has the required number of corresponding events at each latter moment (after or equal to its birth moment);
|
public java.util.List<AOCEdge> getViolatedAOCRelationList()
public java.util.Map<AOCEdge,java.util.Map<XOCObject,java.util.List<IntegerPair>>> getViolatedAOCRelationAlwaysVSObjectVSPeriodListMap()
public java.util.Map<AOCEdge,java.util.Map<XOCObject,java.util.List<IntegerPair>>> getViolatedAOCRelationEventuallyVSObjectVSPeriodListMap()
public boolean isEventNumberCorrectAtLatterMomentsForObjectVersion(XOCObject object, int objectVersionMoment, java.util.List<java.lang.Integer> checkingMomentList, java.util.List<XOCEvent> relatedEventList, Cardinality activityAlwaysCardinality)
object
- objectVersionMoment
- checkingMomentList
- relatedEventList
- activityAlwaysCardinality
- public boolean isEventNumberCorrectAtLastMomentForObjectVersion(XOCObject object, int objectVersionMoment, java.util.List<java.lang.Integer> checkingMomentList, java.util.List<XOCEvent> relatedEventList, Cardinality activityEventuallyCardinality)
object
- objectVersionMoment
- checkingMomentList
- relatedEventList
- activityAlwaysCardinality
- public java.util.List<IntegerPair> createObjectDeviatingPeriodList(XOCObject object, java.util.List<java.lang.Integer> checkingMomentList, java.util.List<XOCEvent> relatedEventList, Cardinality cardinality, java.lang.String cardinalityType)
object
- checkingMomentList
- relatedEventList
- activityAlwaysCardinality
-