DIRECTORYArpa USING [Address, Net],Basics USING [DoubleAnd, DoubleNot, DoubleOr];ArpaExtras: CEDAR DEFINITIONSIMPORTS Basics~ {Address: TYPE ~ Arpa.Address;broadcastAddress: Address = [255, 255, 255, 255];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[Basics.DoubleAnd[LOOPHOLE[address], LOOPHOLE[NetAndSubnetMask[address]]]]] };HostNumber: PROC [address: Address] RETURNS [Address] ~ INLINE {RETURN[LOOPHOLE[Basics.DoubleAnd[LOOPHOLE[address], Basics.DoubleNot[LOOPHOLE[NetAndSubnetMask[address]]]]]] };IsBroadcast: PROC [address: Address] RETURNS [BOOL] ~ INLINE {RETURN[(LOOPHOLE[Basics.DoubleOr[LOOPHOLE[address], LOOPHOLE[NetAndSubnetMask[address]]], Address] = broadcastAddress)] };IsMyAddress: PROC [address: Address] RETURNS [BOOL];NetAndSubnetNumberWithMask: PROC [address: Address, mask: Address]RETURNS [Address] ~ INLINE {RETURN [LOOPHOLE[Basics.DoubleAnd[LOOPHOLE[address], LOOPHOLE[mask]]]] };HostNumberWithMask: PROC [address: Address, mask: Address]RETURNS [Address] ~ INLINE {RETURN [LOOPHOLE[Basics.DoubleAnd[LOOPHOLE[address], Basics.DoubleNot[LOOPHOLE[mask]]]]] };IsBroadcastWithMask: PROC [address: Address, mask: Address] RETURNS [BOOL]~ INLINE { RETURN [(LOOPHOLE[Basics.DoubleOr[LOOPHOLE[address], LOOPHOLE[mask]], Address] = broadcastAddress)];};BroadcastAddressOnSubnetWithMask: PROC [address: Address, mask: Address]RETURNS [Address]~ INLINE { RETURN [LOOPHOLE[Basics.DoubleOr[LOOPHOLE[address], Basics.DoubleNot[LOOPHOLE[mask]]], Address]];};AddressAnd: PROC [address: Address, mask: Address] RETURNS [Address] ~ INLINE {RETURN[LOOPHOLE[Basics.DoubleAnd[LOOPHOLE[address], LOOPHOLE[mask]]]] };AddressOr: PROC [address: Address, mask: Address] RETURNS [Address] ~ INLINE {RETURN[LOOPHOLE[Basics.DoubleOr[LOOPHOLE[address], LOOPHOLE[mask]]]] };MaskNot: PROC [address: Address] RETURNS [Address] ~ INLINE {RETURN[LOOPHOLE[Basics.DoubleNot[LOOPHOLE[address]]]] };MyAddress: PROC RETURNS [Address];MyAddresses: PROC RETURNS [LIST OF Address];}...   v  ArpaExtras.mesaDemers, August 26, 1987 4:11:03 pm PDTThis stuff should be folded into Arpa.mesa at the next opportunity.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. Э╩╢  Ш codeЩKЩ&KЩ KЩCKЩ ЧЪ╧k	Ш	KЪЬЭЬШKЪЬЭЬ!Ш-KШKШ ЧЪ╧n
ЬЭЬЭШKЪЭЬШKЪЬШKШ KЪЬ	ЭЬШKЪЬ1Ш1KШ headЩIblockЪЬРЩРЩKЪЬЭЬ╧c*ШBKШ KЪЮЬЭЬЭЬ	Ш2KШ KЪЮЬЭЬЭЬШ3KШ KЪЮ	ЬЭЬЭЬЩDKЩ KЪЮЬЭЬЭЬШ?KШ Ъ
ЮЬЭЬЭЬЭЬЭЬШ@KЩ{KЪЭЬЭЬЭЬЭЬЭЬЭЬЭЬШJKШЧЧЪЬO╧eЬ:ЩНKЪЮЬЭЬЭЬШ<KШ ЪЮЬЭЬЭЬЭЬШHKЪЭЬЭЬЭЬЭЬ!Ш]ЧKШ ЪЮ
ЬЭЬЭЬЭЬШ@KЪЭЬЭЬЭЬЭЬ"ШoЧKШ Ъ
ЮЬЭЬЭЬЭЬЭЬШ>KЪЭЬЭЬЭЬЭЬ>ШzЧKШ KЪЮЬЭЬЭЬЭЬШ4ЧЩЪЮЬЭЬ#ЭЬЭЬШ_KЪЭЬЭЬЭЬЭЬШIЧKШ ЪЮЬЭЬ#ЭЬЭЬШWKЪЭЬЭЬЭЬЭЬШ[KШ ЧЪЮЬЭЬ#ЭЬЭЬШJЪЬЭЬЭЬШKЪЬЭЬЭЬЭЬ%ШZKШЧKШKШ ЧЪЮ ЬЭЬ#ЭЬ
ШZЪЬЭЬЭЬШKЪЭЬЭЬЭЬШWKШЧKШЧЧЩ ЪЮ
ЬЭЬ#ЭЬЭЬШOKЪЭЬЭЬЭЬЭЬШHKШ ЧЪЮ	ЬЭЬ#ЭЬЭЬШNKЪЭЬЭЬЭЬЭЬШGKШ ЧЪЮЬЭЬЭЬЭЬШ=KЪЭЬЭЬЭЬШ8ЧЧЧЩЪЮ	ЬЭЬЭЬШ"KЩ#KЩ.KШ ЧЪ
ЮЬЭЬЭЬЭЬЭЬ
Ш,KЩ,KЩ"ЧKШ ЧKШЧЧ ЕЧ    	╬  ·  