org.processmining.framework.log
Class LogStateMachine

java.lang.Object
  extended by org.processmining.framework.log.LogStateMachine

public class LogStateMachine
extends java.lang.Object

Captures the state machine on log events and provides some helper methods.

Version:
1.0
Author:
Peter van den Brand

Field Summary
static java.lang.String ABORTED
           
static java.lang.String ASSIGN
           
static java.lang.String ASSIGNED
           
static java.lang.String ATE_ABORT
           
static java.lang.String AUTOSKIP
           
static java.lang.String COMPLETE
           
static java.lang.String COMPLETED
           
static java.lang.String[] EVENT_TYPES
           
static java.lang.String INITIALIZED
           
static java.lang.String MANUALSKIP
           
static int ORD_ABORTED
           
static int ORD_ASSIGN
           
static int ORD_ASSIGNED
           
static int ORD_ATE_ABORT
           
static int ORD_AUTOSKIP
           
static int ORD_COMPLETE
           
static int ORD_COMPLETED
           
static int ORD_INITIALIZED
           
static int ORD_MANUALSKIP
           
static int ORD_PI_ABORT
           
static int ORD_REASSIGN
           
static int ORD_RESUME
           
static int ORD_SCHEDULE
           
static int ORD_SCHEDULED
           
static int ORD_START
           
static int ORD_STARTED
           
static int ORD_SUSPEND
           
static int ORD_SUSPENDED
           
static int ORD_WITHDRAW
           
static java.lang.String PI_ABORT
           
static java.lang.String REASSIGN
           
static java.lang.String RESUME
           
static java.lang.String SCHEDULE
           
static java.lang.String SCHEDULED
           
static java.lang.String START
           
static java.lang.String STARTED
           
static java.lang.String[] STATE_TYPES
           
static java.lang.String SUSPEND
           
static java.lang.String SUSPENDED
           
static java.lang.String WITHDRAW
           
 
Method Summary
static LogStateMachine getInstance()
           
static boolean inPostset(int s, int e, boolean tc)
           
static boolean inPreset(int s, int e, boolean tc)
           
 boolean isPossibleEvent(java.lang.String evt)
          Return true if the given string equals any of the constants SCHEDULE, ASSIGN, REASSIGN, START, AUTOSKIP, MANUALSKIP, PI_ABORT, ATE_ABORT, WITHDRAW, COMPLETE, SUSPEND, RESUME
 boolean mayEventuallyOccurAfter(java.lang.String eventBefore, java.lang.String eventAfter)
           
 java.lang.String[] possibleEventsAfter(java.lang.String event)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

SCHEDULE

public static final java.lang.String SCHEDULE
See Also:
Constant Field Values

ASSIGN

public static final java.lang.String ASSIGN
See Also:
Constant Field Values

REASSIGN

public static final java.lang.String REASSIGN
See Also:
Constant Field Values

START

public static final java.lang.String START
See Also:
Constant Field Values

AUTOSKIP

public static final java.lang.String AUTOSKIP
See Also:
Constant Field Values

MANUALSKIP

public static final java.lang.String MANUALSKIP
See Also:
Constant Field Values

PI_ABORT

public static final java.lang.String PI_ABORT
See Also:
Constant Field Values

ATE_ABORT

public static final java.lang.String ATE_ABORT
See Also:
Constant Field Values

WITHDRAW

public static final java.lang.String WITHDRAW
See Also:
Constant Field Values

COMPLETE

public static final java.lang.String COMPLETE
See Also:
Constant Field Values

SUSPEND

public static final java.lang.String SUSPEND
See Also:
Constant Field Values

RESUME

public static final java.lang.String RESUME
See Also:
Constant Field Values

ORD_SCHEDULE

public static final int ORD_SCHEDULE
See Also:
Constant Field Values

ORD_ASSIGN

public static final int ORD_ASSIGN
See Also:
Constant Field Values

ORD_REASSIGN

public static final int ORD_REASSIGN
See Also:
Constant Field Values

ORD_START

public static final int ORD_START
See Also:
Constant Field Values

ORD_AUTOSKIP

public static final int ORD_AUTOSKIP
See Also:
Constant Field Values

ORD_MANUALSKIP

public static final int ORD_MANUALSKIP
See Also:
Constant Field Values

ORD_PI_ABORT

public static final int ORD_PI_ABORT
See Also:
Constant Field Values

ORD_ATE_ABORT

public static final int ORD_ATE_ABORT
See Also:
Constant Field Values

ORD_WITHDRAW

public static final int ORD_WITHDRAW
See Also:
Constant Field Values

ORD_COMPLETE

public static final int ORD_COMPLETE
See Also:
Constant Field Values

ORD_SUSPEND

public static final int ORD_SUSPEND
See Also:
Constant Field Values

ORD_RESUME

public static final int ORD_RESUME
See Also:
Constant Field Values

EVENT_TYPES

public static final java.lang.String[] EVENT_TYPES

INITIALIZED

public static final java.lang.String INITIALIZED
See Also:
Constant Field Values

SCHEDULED

public static final java.lang.String SCHEDULED
See Also:
Constant Field Values

ASSIGNED

public static final java.lang.String ASSIGNED
See Also:
Constant Field Values

STARTED

public static final java.lang.String STARTED
See Also:
Constant Field Values

COMPLETED

public static final java.lang.String COMPLETED
See Also:
Constant Field Values

SUSPENDED

public static final java.lang.String SUSPENDED
See Also:
Constant Field Values

ABORTED

public static final java.lang.String ABORTED
See Also:
Constant Field Values

ORD_INITIALIZED

public static final int ORD_INITIALIZED
See Also:
Constant Field Values

ORD_SCHEDULED

public static final int ORD_SCHEDULED
See Also:
Constant Field Values

ORD_ASSIGNED

public static final int ORD_ASSIGNED
See Also:
Constant Field Values

ORD_STARTED

public static final int ORD_STARTED
See Also:
Constant Field Values

ORD_COMPLETED

public static final int ORD_COMPLETED
See Also:
Constant Field Values

ORD_SUSPENDED

public static final int ORD_SUSPENDED
See Also:
Constant Field Values

ORD_ABORTED

public static final int ORD_ABORTED
See Also:
Constant Field Values

STATE_TYPES

public static final java.lang.String[] STATE_TYPES
Method Detail

isPossibleEvent

public boolean isPossibleEvent(java.lang.String evt)
Return true if the given string equals any of the constants SCHEDULE, ASSIGN, REASSIGN, START, AUTOSKIP, MANUALSKIP, PI_ABORT, ATE_ABORT, WITHDRAW, COMPLETE, SUSPEND, RESUME

Parameters:
evt - String possible event name to check
Returns:
boolean true if the event name is in the list of constants

inPreset

public static boolean inPreset(int s,
                               int e,
                               boolean tc)

inPostset

public static boolean inPostset(int s,
                                int e,
                                boolean tc)

getInstance

public static LogStateMachine getInstance()

possibleEventsAfter

public java.lang.String[] possibleEventsAfter(java.lang.String event)

mayEventuallyOccurAfter

public boolean mayEventuallyOccurAfter(java.lang.String eventBefore,
                                       java.lang.String eventAfter)