property/src/MProperty.i3


Copyright (C) 1994, Digital Equipment Corp.

INTERFACE MProperty;

IMPORT Property, Thread;

TYPE
  Set <: Set_public;
  Set_public = Property.Set OBJECT
    m: Thread.Mutex;
  END;
The methods for an MProperty.Set are equivalent to 'LOCK s.m DO Property.Set.method(s, ...) END;

PROCEDURE New(): Set;
Create the empty monitored set.

END MProperty.