INTERFACEColorProp ; IMPORT AnimHandle, Color, Prop; TYPE Base = Color.T; TYPE Name <: PublicName; PublicName = Prop.Name OBJECT METHODS bind (v : Val) : Prop.T; END; Val <: PublicVal; PublicVal = Prop.Val OBJECT beh : Beh; METHODS init (beh : Beh) : Val; get () : Base RAISES {Prop.BadMethod}; value (time : LONGREAL) : Base RAISES {Prop.BadMethod}; END; Beh <: PublicBeh; PublicBeh = Prop.Beh OBJECT METHODS init () : Beh; END; ConstBeh <: PublicConstBeh; PublicConstBeh = Beh OBJECT METHODS init (p : Base) : ConstBeh; set (p : Base); END; SyncBeh <: PublicSyncBeh; PublicSyncBeh = Beh OBJECT METHODS init (ah : AnimHandle.T; p : Base) : SyncBeh; addRequest (r : Request) RAISES {Prop.BadInterval}; (* shortcuts for particular instances of "addRequest" *) rgbLinChangeTo (p : Base; start := 0.0; dur := 0.0) RAISES {Prop.BadInterval}; END; AsyncBeh <: PublicAsyncBeh; PublicAsyncBeh = Beh OBJECT METHODS init () : AsyncBeh; compute (time : LONGREAL) : Base RAISES {Prop.BadMethod}; END; DepBeh <: PublicDepBeh; PublicDepBeh = Beh OBJECT METHODS init () : DepBeh; compute (time : LONGREAL) : Base RAISES {Prop.BadMethod}; END; Request <: PublicRequest; PublicRequest = Prop.Request OBJECT METHODS init (start, dur : REAL) : Request; value (startcolor : Base; reltime : REAL) : Base RAISES {Prop.BadMethod}; END; PROCEDURE NewConst (p : Base) : Val; PROCEDURE NewSync (ah : AnimHandle.T; p : Base) : Val; PROCEDURE NewAsync (b : AsyncBeh) : Val; PROCEDURE NewDep (b : DepBeh) : Val; END ColorProp.