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.