ref_send API 2.17
defensive programming in Java

org.ref_send.log
Class Anchor

java.lang.Object
  extended by 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>

ref_send API 2.17
defensive programming in Java

Submit a bug or feature, or get help

Copyright 1998-2009 Waterken Inc. under the terms of the MIT X license.