org.ref_send.log
Class Anchor

java.lang.Object
  org.ref_send.log.Anchor

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<Anchor>, Immutable, Powerless, Selfless, Record

public class Anchor
extends java.lang.Object
implements java.lang.Comparable<Anchor>, Powerless, Record, java.io.Serializable

A marker for a point in an event loop turn where an event originated.

See Also:

Serialized Form

Field Summary

long	number intra-turn event number
Turn	turn event loop turn in which the event originated

Constructor Summary

Anchor(Turn turn, long number)
Constructs an instance.

Method Summary

int	compareTo(Anchor o)
boolean	equals(java.lang.Object o)
int	hashCode()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

turn

public final Turn turn

event loop turn in which the event originated

number

public final long number

intra-turn event number

Constructor Detail

Anchor

public Anchor(Turn turn,
              long number)

Constructs an instance.

Parameters:

turn - turn

number - number

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Specified by:

hashCode in interface Selfless

Overrides:

hashCode in class java.lang.Object

compareTo

public int compareTo(Anchor o)

Specified by:

compareTo in interface java.lang.Comparable<Anchor>