1
2
3
4
5
6
7
8
9
10
11

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