import java.math.BigDecimal;

//Math model: salary is a Real
//Constraint: salary >= 0
//            ceil(salary*100) = floor(salary*100)
//  ie salary has at most 2 decimal places
//Initially:
//  Salaried() ensures salary = 0  
public interface Salaried {

	// Requires: d >= 0
	//           ceil(d*100) = floor(d*100)
	// Alters: salary
	// Ensures: salary = d
	void setSalary(BigDecimal d);

	// Requires: raise > 0
	// Alters: salary
	// Ensures: salary = round-to-hundredths(#salary * (1+raise))
	void giveRaise(float raise);

	// Returns: salary
	BigDecimal getSalary();
}