myhw2.data

Interface Record

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
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().

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