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
OVERRIDES
init := AppInit;
destroy := Destroy
END;
PROCEDURE AppInit(<*UNUSED*> app: App; <*UNUSED*> user: User) =
BEGIN
END AppInit;
PROCEDURE Destroy(<*UNUSED*> app: App) =
BEGIN
END Destroy;
BEGIN
END TrestleConf.