TamarinPorts:
CEDAR
DEFINITIONS
= BEGIN
Word: TYPE = TamarinOps.Word;
SetPVal: PROC [p: Ports.Port, port: NAT, value: CARD];
GetPVal:
PROC [p: Ports.Port, port:
NAT]
RETURNS [value:
CARD];
HasXs:
PUBLIC
PROC [p: Ports.Port, port:
NAT]
RETURNS [value:
BOOL ←
FALSE];
SetP: PROC [p: Ports.Port, port: NAT, value: CARD];
ClrP: PROC [p: Ports.Port, port: NAT, xit: BOOL ← FALSE];
CheckP: PROC [p: Ports.Port, port: NAT, value: CARD];
SetX: PROC [p: Ports.Port, port: NAT];
PortToBool: PROC [p: Ports.Port, port: NAT] RETURNS [BOOL];
PortToNat:
PROC [p: Ports.Port, port:
NAT]
RETURNS [
NAT];
PortToCard: PROC [p: Ports.Port, port: NAT] RETURNS [CARD];
PortToTamWord: PROC [p: Ports.Port, port: NAT] RETURNS [Word];
END.