package gradebook; /** * Wrapper class for a float to ensure the correct percentage format. */ public abstract class Percentage { /** * Value between 0.0 and 100.0 */ double value; /** * Corrects the passed in value to a valid percentage. *
         post:
         (value' <= 100.0) && (value' >= 0.0);
      
     */ 
    public abstract void format();
}