The NetObjRep
interface reveals the internal structure of the
type NetObj.T
.
INTERFACEIfNetObjRep ; IMPORT NetObj, WireRep; REVEAL NetObj.T = BRANDED "NetObj.T" OBJECT w: WireRep.T := WireRep.NullT; r: REFANY; END; END NetObjRep.
o
is a NetObj.T
, then o.w
is its wire representation and o.r
depends on whether it is a surrogate. If o
is a surrogate, then
o.r
is a Transport.Location
. Otherwise o.r
is a type private
to the implementaton of NetObjRT
.