myhw3.data

Class InventorySet.RecordObj

java.lang.Object

myhw3.data.InventorySet.RecordObj

All Implemented Interfaces:

Record

Enclosing class:

InventorySet

private static final class InventorySet.RecordObj
extends java.lang.Object
implements Record

Implementation of Record interface.

This is a utility class for Inventory. Fields are immutable and package-private.

Class Invariant: No two instances may reference the same Video.

See Also:

Record

Field Summary

Fields

Modifier and Type	Field and Description
(package private) int	numOut
(package private) int	numOwned
(package private) int	numRentals
(package private) Video	video

Constructor Summary

Constructors

Constructor and Description
RecordObj(Video video, int numOwned, int numOut, int numRentals)

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.

Methods inherited from class java.lang.Object

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

Methods inherited from interface myhw3.data.Record

equals, hashCode

Field Detail

video

final Video video

numOwned

final int numOwned

numOut

final int numOut

numRentals

final int numRentals

Constructor Detail

RecordObj

RecordObj(Video video,
          int numOwned,
          int numOut,
          int numRentals)

Method Detail

video

public Video video()

Description copied from interface: Record

Returns the video.

Invariant: video() != null.

Specified by:

video in interface Record

numOwned

public int numOwned()

Description copied from interface: Record

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

Invariant: numOwned() > 0.

Specified by:

numOwned in interface Record

numOut

public int numOut()

Description copied from interface: Record

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

Invariant: numOut() <= numOwned().

Specified by:

numOut in interface Record

numRentals

public int numRentals()

Description copied from interface: Record

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

Invariant: numRentals() >= numOut().

Specified by:

numRentals in interface Record

toString

public java.lang.String toString()

Description copied from interface: Record

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

Specified by:

toString in interface Record

Overrides:

toString in class java.lang.Object