<> <<>> DIRECTORY TamarinOps, Ports; 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.