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.