ui/src/confctl-export/TrestleConf.m3


Copyright (C) 1994, Digital Equipment Corp.
 by Steve Glassman, Mark Manasse and Greg Nelson           
<*PRAGMA LL*>

MODULE TrestleConf;

PROCEDURE Init(<*UNUSED*>createUser: UserProc) =
  BEGIN END Init;

REVEAL
  User = UserPublic BRANDED OBJECT OVERRIDES register := Register END;

PROCEDURE Register(<*UNUSED*>user: User) =
  BEGIN END Register;

REVEAL
  App = AppPublic BRANDED OBJECT
    user: User := NIL
   OVERRIDES
    init := AppInit;
    destroy := Destroy
  END;

PROCEDURE AppInit(app: App; user: User) =
  BEGIN
    app.user := user;
    app.add(user);
    app.activate(user)
  END AppInit;

PROCEDURE Destroy(app: App) =
  BEGIN
    IF app.user # NIL THEN
      app.delete(app.user);
      app.user := NIL
    END
  END Destroy;

BEGIN
END TrestleConf.