org.processmining.plugins.declare2ltl

Class Event

java.lang.Object

org.processmining.plugins.declare2ltl.Event

All Implemented Interfaces:

java.lang.Cloneable

public class Event
extends java.lang.Object
implements java.lang.Cloneable

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Event.Type

Field Summary

Fields

Modifier and Type	Field and Description
protected org.processmining.plugins.declareminer.visualizing.ActivityDefinition	activity
static java.lang.String	DOT
protected User	user
static java.lang.String	WORKITEM_ID

Constructor Summary

Constructors

Constructor and Description
Event(User anUser, org.processmining.plugins.declareminer.visualizing.ActivityDefinition anJob, Event.Type t) AbstractEvent

Method Summary

Modifier and Type	Method and Description
java.lang.Object	clone() clone
boolean	equals(java.lang.Object object) equals
org.processmining.plugins.declareminer.visualizing.ActivityDefinition	getActivity() getJob
java.util.HashMap<java.lang.String,java.lang.String>	getAttributes()
java.lang.String	getProposition() getProposition
PrettyTime	getTime()
Event.Type	getType()
User	getUser()
static java.util.Collection<Event>	possibleEvents(org.processmining.plugins.declareminer.visualizing.Activity activity)
void	setActivity(org.processmining.plugins.declareminer.visualizing.ActivityDefinition act)
void	setUser(User u)
void	setWorkItem(java.lang.String a)
java.lang.String	toString() toString

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

DOT

public static final java.lang.String DOT

See Also:

Constant Field Values

WORKITEM_ID

public static final java.lang.String WORKITEM_ID

See Also:

Constant Field Values

user

protected User user

activity

protected org.processmining.plugins.declareminer.visualizing.ActivityDefinition activity

Constructor Detail

Event

public Event(User anUser,
             org.processmining.plugins.declareminer.visualizing.ActivityDefinition anJob,
             Event.Type t)

AbstractEvent

Parameters:

anUser - User

anJob - Job

Method Detail

getUser

public User getUser()

setUser

public void setUser(User u)

getActivity

public org.processmining.plugins.declareminer.visualizing.ActivityDefinition getActivity()

getJob

Returns:

Job

setActivity

public void setActivity(org.processmining.plugins.declareminer.visualizing.ActivityDefinition act)

getType

public Event.Type getType()

getTime

public PrettyTime getTime()

Returns:

PrettyTime

clone

public java.lang.Object clone()

clone

Overrides:

clone in class java.lang.Object

Returns:

Object

Throws:

java.lang.CloneNotSupportedException

equals

public boolean equals(java.lang.Object object)

equals

Overrides:

equals in class java.lang.Object

Parameters:

object - Object

Returns:

boolean

getProposition

public java.lang.String getProposition()

getProposition

Returns:

String

toString

public java.lang.String toString()

toString

Overrides:

toString in class java.lang.Object

possibleEvents

public static java.util.Collection<Event> possibleEvents(org.processmining.plugins.declareminer.visualizing.Activity activity)

setWorkItem

public void setWorkItem(java.lang.String a)

getAttributes

public java.util.HashMap<java.lang.String,java.lang.String> getAttributes()