de.fu_berlin.inf.dpp.concurrent.jupiter.internal.JupiterVectorTime Class Reference

Inheritance diagram for de.fu_berlin.inf.dpp.concurrent.jupiter.internal.JupiterVectorTime:

List of all members.

Public Member Functions
	JupiterVectorTime (int localCount, int remoteCount)
int	getAt (int index)
int	getLength ()
int[]	getComponents ()
int	getLocalOperationCount ()
int	getRemoteOperationCount ()
JupiterVectorTime	incrementLocalOperationCount ()
JupiterVectorTime	incrementRemoteOperationCount ()
String	toString ()
boolean	equals (Object obj)
int	hashCode ()

---

Detailed Description

This class models the vector time for the Jupiter control algorithm.

---

Constructor & Destructor Documentation

de.fu_berlin.inf.dpp.concurrent.jupiter.internal.JupiterVectorTime.JupiterVectorTime	(	int	localCount,
		int	remoteCount
	)

Create a new JupiterVectorTime.

Parameters:

localCount	the local operation count.
remoteCount	the remote operation count.

---

Member Function Documentation

boolean de.fu_berlin.inf.dpp.concurrent.jupiter.internal.JupiterVectorTime.equals

(

Object

obj

)

See also:

java.lang.Object.equals(java.lang.Object)

int de.fu_berlin.inf.dpp.concurrent.jupiter.internal.JupiterVectorTime.getAt

(

int

index

)

See also:

VectorTime.getAt(int)

Implements de.fu_berlin.inf.dpp.concurrent.jupiter.VectorTime.

int [] de.fu_berlin.inf.dpp.concurrent.jupiter.internal.JupiterVectorTime.getComponents

(

)

See also:

Timestamp.getComponents()

Implements de.fu_berlin.inf.dpp.concurrent.jupiter.Timestamp.

int de.fu_berlin.inf.dpp.concurrent.jupiter.internal.JupiterVectorTime.getLength

(

)

See also:

VectorTime.getLength()

Implements de.fu_berlin.inf.dpp.concurrent.jupiter.VectorTime.

int de.fu_berlin.inf.dpp.concurrent.jupiter.internal.JupiterVectorTime.getLocalOperationCount

(

)

Returns:

Returns the local operation count.

int de.fu_berlin.inf.dpp.concurrent.jupiter.internal.JupiterVectorTime.getRemoteOperationCount

(

)

Returns:

Returns the remote operation count.

int de.fu_berlin.inf.dpp.concurrent.jupiter.internal.JupiterVectorTime.hashCode

(

)

See also:

java.lang.Object.hashCode()

JupiterVectorTime de.fu_berlin.inf.dpp.concurrent.jupiter.internal.JupiterVectorTime.incrementLocalOperationCount

(

)

Increment the local operation counter.

Returns:

the counter after increment.

JupiterVectorTime de.fu_berlin.inf.dpp.concurrent.jupiter.internal.JupiterVectorTime.incrementRemoteOperationCount

(

)

Increment the remote operation counter.

Returns:

the counter after increment.

String de.fu_berlin.inf.dpp.concurrent.jupiter.internal.JupiterVectorTime.toString

(

)

See also:

java.lang.Object.toString()