org.jmlspecs.samples.jmlkluwer
Class QueueEntry

java.lang.Object
  org.jmlspecs.samples.jmlkluwer.QueueEntry

All Implemented Interfaces:

Cloneable, JMLType, Serializable

public class QueueEntry

extends Object

implements JMLType

Field Summary
private  Object	_obj
private  int	_priorityLevel
private  long	_timeStamp

 

Constructor Summary

QueueEntry(Object argObj, int argLevel, long argTimeStamp)

 

Method Summary
Object	clone()           Return a clone of this object.
boolean	equals(Object o)           Test whether this object's value is equal to the given argument.
int	getLevel()
Object	getObj()
int	hashCode()           Return a hash code for this object.
String	toString()

 

Methods inherited from class java.lang.Object

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

 

Field Detail

_obj

private Object _obj

_priorityLevel

private int _priorityLevel

_timeStamp

private long _timeStamp

QueueEntry

public QueueEntry(Object argObj,
                  int argLevel,
                  long argTimeStamp)

equals

public boolean equals(Object o)

Description copied from interface: JMLType

Test whether this object's value is equal to the given argument.

Specified by:

equals in interface JMLType

Overrides:

equals in class Object

hashCode

public int hashCode()

Description copied from interface: JMLType

Return a hash code for this object.

Specified by:

hashCode in interface JMLType

Overrides:

hashCode in class Object

clone

public Object clone()

Description copied from interface: JMLType

Return a clone of this object.

Specified by:

clone in interface JMLType

Overrides:

clone in class Object

getLevel

public int getLevel()

getObj

public Object getObj()

toString

public String toString()

Overrides:

toString in class Object