myhw1

Class Record

java.lang.Object

myhw1.Record

final class Record
extends java.lang.Object

Utility class for Inventory. Fields are mutable and package-private. Does not override equals or hashCode.

Class Type: Mutable Data Class

Field Summary

Fields

Modifier and Type	Field and Description
(package private) int	numOut The number of copies of the video that are currently checked out.
(package private) int	numOwned The number of copies of the video that are in the inventory.
(package private) int	numRentals The total number of times this video has ever been checked out.
(package private) VideoObj	video The video.

Constructor Summary

Constructors

Constructor and Description
Record(VideoObj video, int numOwned, int numOut, int numRentals) Initialize all object attributes.

Method Summary

Modifier and Type	Method and Description
Record	copy() Return a shallow copy of this record.
java.lang.String	toString() Return a string representation of the object in the following format: "video [numOwned,numOut,numRentals]".

Methods inherited from class java.lang.Object

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

Field Detail

video

VideoObj video

The video.

Invariant: video != null

numOwned

int numOwned

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

Invariant: numOwned > 0

numOut

int numOut

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

Invariant: numOut <= numOwned

numRentals

int numRentals

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

Invariant: numRentals >= numOut

Constructor Detail

Record

Record(VideoObj video,
       int numOwned,
       int numOut,
       int numRentals)

Initialize all object attributes.

Method Detail

copy

public Record copy()

Return a shallow copy of this record.

toString

public 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