Copyright (C) 1994, Digital Equipment Corp.
Digital Internal Use Only
Created on Thu May 19 09:12:23 PDT 1994 by najork
INTERFACEProp ; IMPORT ProxiedObj; CONST Brand = "Prop"; TYPE T <: ProxiedObj.T; Name <: ProxiedObj.T; Val <: ProxiedObj.T; Beh <: ProxiedObj.T; Request <: PublicRequest; PublicRequest = ProxiedObj.T OBJECT start : REAL; dur : REAL; METHODS init (start, dur : REAL) : Request; END; EXCEPTION BadMethod (TEXT); EXCEPTION BadInterval; PROCEDURE Equal (a, b : T) : BOOLEAN; (* tests just for pointer equality *) END Prop.