package lectures.documentations.assertions;
import util.annotations.WebDocuments;
@WebDocuments({"Lectures/DocumentationsAssertions.pptx", "Lectures/DocumentationsAssertions.pdf", "Videos/DocumentationsAssertions.avi"})
public class AnAssertingBMISpreadsheet extends AnAlwaysCheckingBMISpreadsheet {
public AnAssertingBMISpreadsheet(double anInitialHeight,
double anInitialWeight) {
super(anInitialHeight, anInitialWeight);
}
public double getBMI() {
assert
preGetBMI():"Internal Error: Weight or height <= 0";
return super.getBMI();
}
}