myhw3.data

Interface Record

All Known Implementing Classes:

InventorySet.RecordObj

public interface Record

Public view of an inventory record.

Records are mutable, but cannot be changed outside the package.

This interface should not be implemented outside the package.

equals and hashCode delegate to the underlying Video object.

See Also:

Data

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object thatObject) Delegates to video.
int	hashCode() Delegates to video.
int	numOut() Returns the number of copies of the video that are currently checked out.
int	numOwned() Returns the number of copies of the video that are in the inventory.
int	numRentals() Returns the total number of times this video has ever been checked out.
java.lang.String	toString() Return a string representation of the object in the following format: "video [numOwned,numOut,numRentals]".
Video	video() Returns the video.

Method Detail

video

Video video()

Returns the video.

Invariant: video() != null.

numOwned

int numOwned()

Returns the number of copies of the video that are in the inventory.

Invariant: numOwned() > 0.

numOut

int numOut()

Returns the number of copies of the video that are currently checked out.

Invariant: numOut() <= numOwned().

numRentals

int numRentals()

Returns the total number of times this video has ever been checked out.

Invariant: numRentals() >= numOut().

equals

boolean equals(java.lang.Object thatObject)

Delegates to video. Returns false if thatObject is not a Record created by this package.

Overrides:

equals in class java.lang.Object

hashCode

int hashCode()

Delegates to video.

Overrides:

hashCode in class java.lang.Object

toString

java.lang.String toString()

Return a string representation of the object in the following format: "video [numOwned,numOut,numRentals]".

Overrides:

toString in class java.lang.Object