public class Employee
{
   /**
      Sets the employee salary to a given value. 
      @param aSalary the new salary 
      @precondition aSalary > 0 
   */ 
   public void setSalary(double aSalary) { ... }
}

Manager m = new Manager();
Employee e = m;
e.setSalary(50000);