Package org.mpi_sws.jmc.strategies.trust

Class Event.Key

java.lang.Object

org.mpi_sws.jmc.strategies.trust.Event.Key

Enclosing class:

Event

public static class Event.Key
extends Object

Unique key for the event.

Constructor Summary

Constructors

Constructor	Description
Key(Long taskId)	Creates a new key with the given task ID and timestamp.
Key(Event.Key other)

Method Summary

Modifier and Type	Method	Description
Event.Key	clone()
int	compareTo(Event.Key key)
boolean	equals(Object o)
Long	getTaskId()
Integer	getTimestamp()
Integer	getToStamp()
int	hashCode()
void	setTimestamp(Integer timestamp)
void	setToStamp(Integer toStamp)
com.google.gson.JsonElement	toJson()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

Key

public Key(Long taskId)

Creates a new key with the given task ID and timestamp.

Parameters:

taskId - The task ID.

Key

public Key(Event.Key other)

Method Details

clone

public Event.Key clone()

Overrides:

clone in class Object

getTaskId

public Long getTaskId()

getTimestamp

public Integer getTimestamp()

setTimestamp

public void setTimestamp(Integer timestamp)

getToStamp

public Integer getToStamp()

setToStamp

public void setToStamp(Integer toStamp)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

toJson

public com.google.gson.JsonElement toJson()

compareTo

public int compareTo(Event.Key key)