Package org.mpi_sws.jmc.util

Class LamportVectorClock.Component

java.lang.Object

org.mpi_sws.jmc.util.LamportVectorClock.Component

All Implemented Interfaces:

TotalOrder<LamportVectorClock.Component>

Enclosing class:

LamportVectorClock

public static class LamportVectorClock.Component
extends Object
implements TotalOrder<LamportVectorClock.Component>

Represents a component of the Lamport vector clock.

Nested Class Summary

Nested classes/interfaces inherited from interface org.mpi_sws.jmc.util.TotalOrder

TotalOrder.InvalidComparisonException, TotalOrder.Relation

Constructor Summary

Constructors

Constructor	Description
Component(int index, LamportVectorClock clock)	Constructs a new LamportVectorClock.Component with the given index and vector clock.

Method Summary

Modifier and Type	Method	Description
TotalOrder.Relation	compare(LamportVectorClock.Component other)	Compares two objects of type T - the current and the other passed as argument.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Component

public Component(int index,
 LamportVectorClock clock)

Constructs a new LamportVectorClock.Component with the given index and vector clock.

Parameters:

index - The index of the component.

clock - The vector clock.

Method Details

compare

public TotalOrder.Relation compare(LamportVectorClock.Component other)
                            throws TotalOrder.InvalidComparisonException

Description copied from interface: TotalOrder

Compares two objects of type T - the current and the other passed as argument.

Specified by:

compare in interface TotalOrder<LamportVectorClock.Component>

Parameters:

other - the other object to compare to

Returns:

The relation between the two objects.

Throws:

TotalOrder.InvalidComparisonException