1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

public class PaintEvent extends HeronObject {
  // attributes
  public double timeElapsed;
  // operations
  public PaintEvent(final double timeElapsed){
    {
      this .timeElapsed = timeElapsed ;
      }
    }
  // state entry procedures
  // dispatch function
  public void onSignal(HeronSignal signal) {
    if (false) {
      }
    }
  }