package lectures.documentations.assertions;
import util.annotations.WebDocuments;

import lectures.interfaces.BMISpreadsheet;
import bus.uigen.ObjectEditor;

@WebDocuments({"Lectures/DocumentationsAssertions.pptx", "Lectures/DocumentationsAssertions.pdf", "Videos/DocumentationsAssertions.avi"})
public class AnAssertingBMISpreadsheet implements BMISpreadsheet {
    double height;
    double weight;  
    double initialHeight, initialWeight;
    public AnAssertingBMISpreadsheet() { }  
    public AnAssertingBMISpreadsheet(
            double theInitialHeight, double theInitialWeight) {
        // not calling setters as precondition of these are not met
        height = theInitialHeight;
        weight = theInitialWeight;
        setHeight(theInitialHeight);
        setWeight(theInitialWeight);
        initialHeight = theInitialHeight;
        initialWeight = theInitialWeight;
    }
    public boolean preRestoreHeightAndWeight() {
        return height != initialHeight || weight != initialWeight; 
    }
    public void restoreHeightAndWeight() {
        assert preRestoreHeightAndWeight();
        height = initialHeight;
        weight = initialWeight;     
    }
//  public boolean preGetWeight() {return weight > 0;}
    public double getWeight() {
//      assert preGetWeight();
        return weight;
    }
    public boolean preSetWeight (double newWeight) {
        return newWeight > 0;
    }
    public void setWeight(double newWeight) {
        assert preSetWeight(newWeight);
        weight = newWeight;
        assert preSetWeight(newWeight);
    } 
    
    public double getHeight() {
        return height;
    }
    public boolean preSetHeight (double newHeight) {
        return newHeight > 0;
    }   
    public boolean preSetHeight () {
        return height > 0;
    }
    public void setHeight(double newHeight) {
        assert preSetHeight(newHeight);
        assert preSetHeight();
        double oldWeight = weight;
        height = newHeight;
        assert preSetHeight();
        assert oldWeight == weight;
    }   
    public boolean preGetBMI() { 
        return weight > 0 && height > 0;
    }
    public double getBMI() {
        assert  preGetBMI();
        return weight/(height*height);
    }
    
    public static void main (String[] args) {
        ObjectEditor.edit(new AnAssertingBMISpreadsheet(1.77, 75));
    }

        
}