hla.rti1516
Interface LogicalTime

All Superinterfaces:

java.lang.Comparable, java.io.Serializable

public interface LogicalTime
extends java.lang.Comparable, java.io.Serializable

LogicalTime declares an interface to an immutable time value

Method Summary

LogicalTime	add(LogicalTimeInterval val) Returns a LogicalTime whose value is (this + val).
int	compareTo(java.lang.Object other)
LogicalTimeInterval	distance(LogicalTime val) Returns a LogicalTimeInterval whose value is the time interval between this and val.
void	encode(byte[] buffer, int offset)
int	encodedLength()
boolean	equals(java.lang.Object other) Returns true iff this and other represent the same logical time Supports standard Java mechanisms.
int	hashCode() Two LogicalTimes for which equals() is true should yield same hash code
boolean	isFinal()
boolean	isInitial()
LogicalTime	subtract(LogicalTimeInterval val) Returns a LogicalTime whose value is (this - val).
java.lang.String	toString()

Method Detail

isInitial

boolean isInitial()

isFinal

boolean isFinal()

add

LogicalTime add(LogicalTimeInterval val)
                throws IllegalTimeArithmetic

Returns a LogicalTime whose value is (this + val).

Throws:

IllegalTimeArithmetic

subtract

LogicalTime subtract(LogicalTimeInterval val)
                     throws IllegalTimeArithmetic

Returns a LogicalTime whose value is (this - val).

Throws:

IllegalTimeArithmetic

distance

LogicalTimeInterval distance(LogicalTime val)

Returns a LogicalTimeInterval whose value is the time interval between this and val.

compareTo

int compareTo(java.lang.Object other)

Specified by:

compareTo in interface java.lang.Comparable

equals

boolean equals(java.lang.Object other)

Returns true iff this and other represent the same logical time Supports standard Java mechanisms.

Overrides:

equals in class java.lang.Object

hashCode

int hashCode()

Two LogicalTimes for which equals() is true should yield same hash code

Overrides:

hashCode in class java.lang.Object

toString

java.lang.String toString()

Overrides:

toString in class java.lang.Object

encodedLength

int encodedLength()

encode

void encode(byte[] buffer,
            int offset)