DIRECTORY
Basics32 USING [BITAND, BITNOT, BITOR]
;

Arpa: CEDAR DEFINITIONS
IMPORTS Basics32
= BEGIN
Address: TYPE = PACKED RECORD [a, b, c, d: BYTE];

nullAddress: Address = [0, 0, 0, 0];
broadcastAddress: Address = [255, 255, 255, 255];

Net: TYPE = {a, b, c};
netMasks: ARRAY Net OF Address = [
a: [0FF, 0, 0, 0],
b: [0FF, 0FFH, 0, 0],
c: [0FF, 0FFH, 0FFH, 0]
];

NetType: PROC [address: Address] RETURNS [Net];
NetNumber: PROC [address: Address] RETURNS [Address];

Class: TYPE ~ Arpa.Net;	-- Net was poor name choice; don't use it!

NetClass: PROC [address: Address] RETURNS [Class];

NetMask: PROC [address: Address] RETURNS [Address];

SubnetAndHostNumber: PROC [address: Address] RETURNS [Address];

IsSpecificNet: PROC [address: Address] RETURNS [BOOL] ~ INLINE {
RETURN[SELECT address.a FROM 0 => FALSE, >=224 =>  FALSE, ENDCASE => TRUE]
};
NetAndSubnetMask: PROC [address: Address] RETURNS [Address];

NetAndSubnetNumber: PROC [address: Address] RETURNS [Address] ~ INLINE {
RETURN[LOOPHOLE[Basics32.BITAND[LOOPHOLE[address], LOOPHOLE[NetAndSubnetMask[address]]]]] };

HostNumber: PROC [address: Address] RETURNS [Address] ~ INLINE {
RETURN[LOOPHOLE[Basics32.BITAND[LOOPHOLE[address], Basics32.BITNOT[LOOPHOLE[NetAndSubnetMask[address]]]]]] };

IsBroadcast: PROC [address: Address] RETURNS [BOOL] ~ INLINE {
RETURN[(LOOPHOLE[Basics32.BITOR[LOOPHOLE[address], LOOPHOLE[NetAndSubnetMask[address]]], Address] = broadcastAddress)] };

IsMyAddress: PROC [address: Address] RETURNS [BOOL];
NetAndSubnetNumberWithMask: PROC [address: Address, mask: Address]
RETURNS [Address] ~ INLINE {
RETURN [LOOPHOLE[Basics32.BITAND[LOOPHOLE[address], LOOPHOLE[mask]]]] };

HostNumberWithMask: PROC [address: Address, mask: Address]
RETURNS [Address] ~ INLINE {
RETURN [LOOPHOLE[Basics32.BITAND[LOOPHOLE[address], Basics32.BITNOT[LOOPHOLE[mask]]]]] };

IsBroadcastWithMask: PROC [address: Address, mask: Address] RETURNS [BOOL]
~ INLINE { RETURN [
(LOOPHOLE[Basics32.BITOR[LOOPHOLE[address], LOOPHOLE[mask]], Address] = broadcastAddress)
];
};

BroadcastAddressOnSubnetWithMask: PROC [address: Address, mask: Address]
RETURNS [Address]
~ INLINE { RETURN [
LOOPHOLE[Basics32.BITOR[LOOPHOLE[address], Basics32.BITNOT[LOOPHOLE[mask]]], Address]
];
};
AddressAnd: PROC [address: Address, mask: Address] RETURNS [Address] ~ INLINE {
RETURN[LOOPHOLE[Basics32.BITAND[LOOPHOLE[address], LOOPHOLE[mask]]]] };

AddressOr: PROC [address: Address, mask: Address] RETURNS [Address] ~ INLINE {
RETURN[LOOPHOLE[Basics32.BITOR[LOOPHOLE[address], LOOPHOLE[mask]]]] };

MaskNot: PROC [address: Address] RETURNS [Address] ~ INLINE {
RETURN[LOOPHOLE[Basics32.BITNOT[LOOPHOLE[address]]]] };
MyAddress: PROC RETURNS [Address];

MyAddresses: PROC RETURNS [LIST OF Address];


END.
   ╚  
Arpa.mesa
Copyright ╙ 1986, 1991 by Xerox Corporation.  All rights reserved.
Hal Murray, April 5, 1986 4:22:42 pm PST
Doug Wyatt, December 11, 1986 11:52:44 am PST
JKF October 25, 1988 4:50:45 pm PDT

Arpa IP (Internet Protocol) Addresses are a combination of net and host numbers. There are 3 cases.
If the first bit is a 0, the next 7 are a type A net number, and the remaining 24 are the host number within that net.
If the first two bits are 10, the next 14 are a type B net number, and the remaining 16 are the host number within that net.
If the first two bits are 11, the next 22 are a type C net number, and the remaining 8 are the host number within that net.
Willie-s, August 13, 1991 4:04 pm PDT

Addressing
Address Manipulations
BEWARE: nullAddress looks like a class A net, and broadcastAddress looks like a class C net.  Use IsSpecificNet[address] if this matters to you.
Generic ones
NetNumber: PROC [address: Address] RETURNS [Address]; (in Arpa.mesa)

Quick test that net is not unknown (net 0) or broadcast.  Note the address may be a broadcast address on some specific net.
Expensive ones  check subnet masks of all connected interfaces (hence not all that expensive unless there are several connected interfaces).
Cheap ones  subnet-specific
Utilities  for rolling your own
This machine
Return an address for this machine.
May return nullAddress if no address is known.
Return all known addresses for this machine.
Return NIL if no address is known.
Э╩п  ХNewlineDelimiter
Ц(cedarcode) styleЩ codeЪЬ	Щ	KЪЬ
╧eЬ7ЩBKЩ(KЩ-KЩ#KЩ KЩcKЩvKЩ|KЩ{KЩ%KЩ ЧЪ╧k	Ш	KЪ	Ь	ЮЬЮЬЮЬЮЬШ&KШKШ ЧЪ╨lnЬЮЬЮШKЪЮЬ	ШKЪЬЮШЧheadЩ
KЪЬ	ЮЬЮЬЮЬШ1KШ KШ$KЪЬ1Ш1KШ KЪЬЮЬШЪЬ
ЮЬЮЬШ"KЪЬШKЪЬШKЪЬШKЪЬШЧKШ KЪ╧nЬЮЬЮЬШ/KЪа	ЬЮЬЮЬШ5KШ ЧЩIblockЪЬРЩРЩKЪЬЮЬ╧c*ШBKШ KЪаЬЮЬЮЬ	Ш2KШ KЪаЬЮЬЮЬШ3KШ KЪа	ЬЮЬЮЬЩDKЩ KЪаЬЮЬЮЬШ?KШ Ъ
аЬЮЬЮЬЮЬЮЬШ@KЩ{KЪЮЬЮЬЮЬЮЬЮЬЮЬЮЬШJKШЧЧЪЬOЭЬ:ЩНKЪаЬЮЬЮЬШ<KШ ЪаЬЮЬЮЬЮЬШHKЪ
ЮЬЮЬ
ЮЬЮЬЮЬ!Ш\ЧKШ Ъа
ЬЮЬЮЬЮЬШ@KЪЮЬЮЬ
ЮЬЮЬЮЬЮЬ"ШmЧKШ Ъ
аЬЮЬЮЬЮЬЮЬШ>KЪ
ЮЬЮЬ
ЮЬЮЬЮЬ>ШyЧKШ KЪаЬЮЬЮЬЮЬШ4ЧЩЪаЬЮЬ#ЮЬЮЬШ_KЪ
ЮЬЮЬ
ЮЬЮЬЮЬШHЧKШ ЪаЬЮЬ#ЮЬЮЬШWKЪЮЬЮЬ
ЮЬЮЬЮЬЮЬШYKШ ЧЪаЬЮЬ#ЮЬЮЬШJЪЬЮЬЮЬШKЪ	ЬЮЬ
ЮЬЮЬЮЬ%ШYKШЧKШKШ ЧЪа ЬЮЬ#ЮЬ
ШZЪЬЮЬЮЬШKЪ
ЮЬ
ЮЬЮЬЮЬЮЬШUKШЧKШЧЧЩ Ъа
ЬЮЬ#ЮЬЮЬШOKЪ
ЮЬЮЬ
ЮЬЮЬЮЬШGKШ ЧЪа	ЬЮЬ#ЮЬЮЬШNKЪ
ЮЬЮЬ
ЮЬЮЬЮЬШFKШ ЧЪаЬЮЬЮЬЮЬШ=KЪЮЬЮЬ
ЮЬЮЬШ7ЧЧЧЩЪа	ЬЮЬЮЬШ"KЩ#KЩ.KШ ЧЪ
аЬЮЬЮЬЮЬЮЬ
Ш,KЩ,KЩ"ЧKШ KШ ЧKЪЮЬШЧ ЕЧ    
╛  5  