// Bat.pj
public class Bat 
 extends Mammal 
 personifies Flier
{
  // di implementation for Flier ------------------------
  void Takeoff() { trace("Bat.Takeoff():"); }
  void Ascend() { trace("Bat.Ascend()");  }
  boolean ThereYet(int x, int y) {
    trace( "Bat.ThereYet()" );
    return true;
  }
  void FlapTowards(int x, int y) { trace( "Bat.FlapTowards()" ); }
  void Descend() { trace( "Bat.Descend():" ); }
  void Land() { trace( "Bat.Land()" ); }
}