MODULE FeedbackVBT;

IMPORT Filter, VBT;

TYPE
  LastCall = {Normal, Excited};

REVEAL
  T = Public BRANDED OBJECT
        last  := LastCall.Normal;
        state := FALSE;
      OVERRIDES
        init    := Init;
        normal  := Noop;
        excited := Noop;
        redisplay := Redisplay;
      END;

PROCEDURE Init (v: T; ch: VBT.T): T =
  BEGIN
    RETURN Filter.T.init(v, ch);
  END Init;

PROCEDURE Noop (<* UNUSED *> v: T) =
  BEGIN
  END Noop;

PROCEDURE Redisplay (v: T) =
  BEGIN
    SetState(v, GetState(v))
  END Redisplay;

PROCEDURE SetState (v: T; state: BOOLEAN) =
  BEGIN
    IF v.state # state THEN
      v.state := state;
      IF v.last = LastCall.Normal THEN
        v.normal()
      ELSE
        v.excited()
      END
    END
  END SetState;

PROCEDURE GetState (v: T): BOOLEAN =
  BEGIN
    RETURN v.state
  END GetState;

PROCEDURE Normal (v: T) =
  BEGIN
    v.last := LastCall.Normal;
    v.normal()
  END Normal;

PROCEDURE Excited (v: T) =
  BEGIN
    v.last := LastCall.Excited;
    v.excited()
  END Excited;

BEGIN
END FeedbackVBT.