public class Customer
extends java.lang.Object
Domain:
customerName : String -- the name of the Customer
rentals : List<Rental> -- the list of this person's rentals being returned to the store.
Invariant:
customerName ≠ null AND |customerName| > 0 AND rentals ≠ null AND
∀ 0 < i < |rentals| (rentals[i] ≠ null)
| Constructor and Description |
|---|
Customer(java.lang.String customerName)
The constructor for the Person class.
|
| Modifier and Type | Method and Description |
|---|---|
void |
addRental(Rental rental)
Adds a new rental to the list of rentals being returned by this person.
|
java.lang.String |
generateHTMLStatement()
Creates an HTML formatted statement for this customer.
|
java.lang.String |
generateTextStatement()
Creates a text formatted statement for this customer.
|
public Customer(java.lang.String customerName)
customerName - the name of the Person to be created.public java.lang.String generateTextStatement()
SYNTAX:
Statement ::= Header Body Footer
Header ::= "Rental Record for " Name + "\n"
Name ::= String
Body ::= ("\t" RentalTitle "\t" AmountDue "\n")*
RentalTitle ::= String
AmountDue ::= Amount
Footer ::= "Amount owed is " SumOfAllAmounts "\n"
"You earned " + NumberOfFrequentRenterPoints + "\n"
SumOfAllAmounts ::= Amount
Amount ::= \d+\.\d\d
NumberOfFrequentRenterPoints ::= \d+
public java.lang.String generateHTMLStatement()
SYNTAX:
Statement ::= Header Body Footer
Header ::= "<H1>Rentals for <EM>" Name + "</EM></H1><P>\n"
Name ::= String
Body ::= (RentalTitle ": " AmountDue "<BR>\n")*
RentalTitle ::= String
AmountDue ::= Amount
Footer ::= "<P>You owe <EM>" SumOfAllAmounts "</EM><P>\n"
"On this rental you earned <EM>" NumberOfFrequentRenterPoints
"</EM> frequent renter points<P>"
SumOfAllAmounts ::= Amount
Amount ::= \d+\.\d\d
NumberOfFrequentRenterPoints ::= \d+
public void addRental(Rental rental)
rental - the rental being added to the list