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(); }