time_constraint.constr_eval
Class partialhistory

java.lang.Object
  |
  +--time_constraint.constr_eval.partialhistory

All Implemented Interfaces:

java.io.Serializable

public class partialhistory

extends java.lang.Object

implements java.io.Serializable

The partialhistory class implements the set of accepted service requests between the sender and the receiver.

Since:

Version 1.2

Version:

1.0

Author:

Daniela Olivieri

See Also:

Serialized Form

Field Summary

java.util.Vector

history Represents a Vector of elhistory.

Constructor Summary

partialhistory()
Creates a new partialhistory object.

Method Summary

boolean	Contains(elhistory el) Checks if el is contained in the partialhistory.
void	mergehistory(partialhistory ph1) Merges the parthialhistory with ph1.
void	printhistory() Prints the partialhistory to standard output.

Methods inherited from class java.lang.Object

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

Field Detail

history

public java.util.Vector history

Represents a Vector of elhistory.

Since:

Version 1.0

Constructor Detail

partialhistory

public partialhistory()

Creates a new partialhistory object.

Since:

Version 1.0

Method Detail

Contains

public boolean Contains(elhistory el)

Checks if el is contained in the partialhistory. Returns TRUE if it is, FALSE otherwise.

Since:

Version 1.0

printhistory

public void printhistory()
                  throws uka.karmi.rmi.RemoteException

Prints the partialhistory to standard output.

Throws:

uka.karmi.rmi.RemoteException -

Since:

Version 1.0

mergehistory

public void mergehistory(partialhistory ph1)

Merges the parthialhistory with ph1.

Since:

Version 1.0