(* Copyright (C) 1994, Digital Equipment Corporation                         *)
(* Digital Internal Use Only                                                 *)
(* All rights reserved.                                                      *)
(*                                                                           *)
(* Last modified on Thu Jul 21 13:49:22 PDT 1994 by najork                   *)
(*       Created on Fri May 27 20:32:05 PDT 1994 by najork                   *)


module MarkerTypePropWrap for MarkerTypeProp;


let NameProto = clone (Prop_NameProto, {
  bind => meth (self, pv) MarkerTypeProp_NameBind (self, pv) end
});


let ValProto = clone (Prop_ValProto, {
  getBeh => meth (self) MarkerTypeProp_ValGetBeh (self) end,
  setBeh => meth (self, beh) MarkerTypeProp_ValSetBeh (self, beh) end,
  get    => meth (self) MarkerTypeProp_ValGet (self) end,
  value  => meth (self, time) MarkerTypeProp_ValValue (self, time) end
});


let BehProto = clone (Prop_BehProto, {});
  

let ConstBehProto = clone (BehProto, {
  set => meth (self, k) MarkerTypeProp_ConstBehSet (self, k) end
});


let SyncBehProto = clone (BehProto, {
  addRequest => 
    meth (self, req) 
      MarkerTypeProp_SyncBehAddRequest (self, req) 
    end,
  change =>
    meth (self, k, start) 
      MarkerTypeProp_SyncBehChange (self, k, start) 
    end
});


let AsyncBehProto = clone (BehProto, {
  compute => ok,
});


let DepBehProto = clone (BehProto, {
  compute => ok,
});


let RequestProto = clone (Prop_RequestProto, {
  value => ok,
});


end module;
