org.processmining.operationalsupport.messages.query

Class DestroySession

java.lang.Object

org.processmining.operationalsupport.messages.Message

org.processmining.operationalsupport.messages.SessionMessage

org.processmining.operationalsupport.messages.query.TraceSessionMessage

org.processmining.operationalsupport.messages.query.DestroySession

All Implemented Interfaces:

Request

public class DestroySession
extends TraceSessionMessage
implements Request

Author:

mwesterg

Field Summary

Fields inherited from class org.processmining.operationalsupport.messages.query.TraceSessionMessage

trace

Constructor Summary

Constructors

Constructor and Description
DestroySession(SessionID session)

Method Summary

Methods inherited from class org.processmining.operationalsupport.messages.query.TraceSessionMessage

addAllEvents, getTrace

Methods inherited from class org.processmining.operationalsupport.messages.SessionMessage

getSession

Methods inherited from class org.processmining.operationalsupport.messages.Message

toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DestroySession

public DestroySession(SessionID session)