class Circle implements Shape {
  double radius;

  /* ... */

  public double diameter() {
    return 2 * radius;
  }
}