
DIRECTORY
Basics,
UnixTypes
;

UnixNetInet: CEDAR DEFINITIONS
~ {

InAddr: TYPE ~ MACHINE DEPENDENT RECORD [
a: BYTE,
b: BYTE,
c: BYTE,
d: BYTE
];

anyInAddr: InAddr ~ [0, 0, 0, 0];
loopbackInAddr: InAddr ~ [128, 0, 0, 0];
broadcastInAddr: InAddr ~ [255, 255, 255, 255];

IPProtocol: TYPE ~ MACHINE DEPENDENT {
IP(0),		-- dummy for IP
ICMP(1),		-- control message protocol
IGMP(2),		-- group control protocol
GGP(3),		-- gateway 2 (deprecated)
TCP(6),		-- transmission control protocol
EGP(8),		-- exterior gateway protocol
PUP(12),		-- pup
UDP(17),		-- user datagram protocol
IDP(22),		-- xns idp
ND(77),		-- UNOFFICIAL obsolescent network disk protocol

RAW(255),		-- raw IP packet
(CARD.LAST)
};

IPPort: TYPE ~ Basics.HWORD;

unspecifiedPort: IPPort ~ [0, 0];	-- for Bind calls
reservedPort: IPPort ~ [4, 0];		-- all ports <= this are reserved to root

UDPPort: TYPE ~ IPPort;
TCPPort: TYPE ~ IPPort;

echoPort: IPPort ~ [0, 7];
discardPort: IPPort ~ [0, 9];
syStatPort: IPPort ~ [0, 11];
dayTimePort: IPPort ~ [0, 13];
netStatPort: IPPort ~ [0, 15];
ftpPort: IPPort ~ [0, 11];
telnetPort: IPPort ~ [0, 23];
smtpPort: IPPort ~ [0, 25];
timeServerPort: IPPort ~ [0, 37];
nameServerPort: IPPort ~ [0, 42];
whoIsPort: IPPort ~ [0, 43];
mtpPort: IPPort ~ [0, 57];

tftpPort: IPPort ~ [0, 69];
rjePort: IPPort ~ [0, 77];
fingerPort: IPPort ~ [0, 79];
ttyLinkPort: IPPort ~ [0, 87];
supdupPort: IPPort ~ [0, 95];

execServerPort: TCPPort ~ [2, 0];
loginServerPort: TCPPort ~ [2, 1];
cmdServerPort: TCPPort ~ [2, 2];
efsServerPort: TCPPort ~ [2, 8];

biffPort: UDPPort ~ [2, 0];
whoServerPort: UDPPort ~ [2, 1];
routeServerPort: UDPPort ~ [2, 8];

SockAddrInPtr: TYPE ~ POINTER TO SockAddrIn;
SockAddrIn: TYPE ~ MACHINE DEPENDENT RECORD [
family: UnixTypes.AddressFamily ¬ inet,
port: IPPort ¬ unspecifiedPort,
addr: InAddr ¬ anyInAddr,
zero: PACKED ARRAY [0..8) OF BYTE ¬ ALL[0]
];
ipOptions: INT ~ 1;

tcpNoDelay: INT ~ 1;	-- don't delay send to coalesce packets
tcpMaxSeg: INT ~ 2;	-- set maximum segment size
}.
  €  
UnixNetInet.mesa
Copyright Ó 1988, 1991 by Xerox Corporation.  All rights reserved.
Demers, November 10, 1988 1:24:02 pm PST
Carl Hauser, November 22, 1988 2:56:24 pm PST

Structures and constants from <netinet/*.h>
Michael Plass, August 12, 1991 5:45 pm PDT
Internet (IP) addresses
... as it appears on the wire.
IP protocol numbers
TCP / UDP Ports
Ports for network standard functions
Ports for host-specific functions
Unix TCP ports
Unix UDP ports
Socket Address (host, port)
System call parameters
Options for use with GetSockOpt / SetSockOpt at the IP level ...
Options for use with GetSockOpt / SetSockOpt at the TCP level ...
ÊN  –(cedarcode) style•NewlineDelimiter
™ codešœ™Kšœ
Ïeœ7™BK™(K™-K™ K™+K™*K˜ šÏk	˜	K˜K˜	K˜K˜ ——šÏnœžœž˜K˜K˜ head™š	œžœžœž	œžœ˜)Kšœžœ˜Kšœžœ˜Kšœžœ˜Kšœž˜K˜K™K˜ —Kšœ!˜!Kšœ(˜(šœ/˜/K˜ ——™šœžœžœž	œ˜&KšžœÏc˜Kšžœ ˜%Kšžœ ˜#Kšžœ ˜"Kšžœ  ˜)Kšžœ ˜%Kšžœ ˜Kšžœ ˜#Kšžœ 
˜Kšžœ /˜8K˜ Kšžœ ˜Kšœžœžœ˜K˜K˜ ——™Kšœžœ
žœ˜K˜ Kšœ" ˜3šœ  )˜IK˜ —Kšœ	žœ
˜šœ	žœ
˜K˜ —™$Kšœ˜Kšœ˜Kšœ˜Kšœ˜Kšœ˜Kšœ˜Kšœ˜Kšœ˜Kšœ!˜!Kšœ!˜!Kšœ˜Kšœ˜K˜ —™!Kšœ˜Kšœ˜Kšœ˜Kšœ˜Kšœ˜K˜ —™Kšœ!˜!Kšœ"˜"Kšœ ˜ Kšœ ˜ K˜ —™Kšœ˜Kšœ ˜ Kšœ"˜"——K˜ ™Kšœžœžœžœ˜,š	œžœžœž	œžœ˜-Kšœ'˜'Kšœ˜Kšœ˜Kš	œžœžœžœžœ˜*K˜——™™@Kšœžœ˜K˜ —™AKšœžœ '˜<Kšœžœ ˜/——K˜—— …—    Þ  ¬  