Darüber: Namensräume /
Objekt- und Parametertypen
Typdefinitionen des Moduls Names
CONST
examine = 0; change = 1; read = 2; search = 3;
insert = 4; delete = 5; destroy = 6; accessmodes = 7;
inserted = insert; deleted = delete;
accessCap = 0; statusCap = 1;
domainCap = 2; destroyCap = 3;
TYPE
Node = POINTER TO NodeRec;
NodeRec = RECORD (Services.ObjectRec) END;
Name = ConstStrings.String;
Lister = Iterators.Iterator;
AccessMode = SHORTINT; (* [examine..destroy] *)
State = SHORTINT; (* inserted or deleted *)
CapabilitySet = SET; (* of [accessCap..destroyCap] *)
Permissions = ARRAY accessmodes OF Shards.Pot;
Status = POINTER TO StatusRec;
StatusRec =
RECORD
(Objects.ObjectRec)
perm: Permissions;
END;
MemberEvent = POINTER TO MemberEventRec;
MemberEventRec =
RECORD
(Events.EventRec)
state: State;
name: Name; (* of inserted/deleted member *)
node: Node; (* whose member it became/was *)
END;
Darüber: Namensräume /
Objekt- und Parametertypen
Martin Hasch, Oct 1996