-- file: ProtectionAbstractions.mesa
-- written by McCreight September 12, 1980 2:34 PM

prA: DEFINITIONS =

BEGIN

-- Purpose: governs protected fields of messages by preventing the selector from
-- selecting into a protected field.

ProtectedFields: TYPE; -- defined in Protection
ProtectedFieldPtr: TYPE = POINTER TO ProtectedFields ← NIL;

END. -- of ProtectionAbstractions