ERights Home elib / distrib / captp 
Back to: CapTP: Partition On to: Surface Syntax Negotiation

CatTP:
Protocol Parameter Types


*** into text to be written

Parameter Types (in ELang)
Decoded using ObjectInput's.. (in ELib/Java)
 
def IncomingPos := -2**31..!2**31
readInt()

If < 0, an answer
If ==0, the Locator
If > 0, an export

 
    def ExportPos := 1..!2**31
readInt()
an export
 
    def AnswerPos := -2**31..-1
readInt()
an answer
 
def ImportPos := 0..!2**31
readInt()
If ==0, the farRef to the Locator
If > 0, an import
 
def WireDelta := 0..255
readByte()
wireCount adjustment
 
def MsgCount := 0..!2**63
readLong()
Number of messages sent
 
def MsgName := String
readUTF()
The verb string
 
def VatID := String
readUTF()
Fingerprint of the public key of a vat.
 
any
readObject()
Any reference to anything
 
type[]
(type[])readObject()
A list of type
 
def SwissBase := integer
(BigInteger)readObject()
Knowledge is power to bind an object to the corresponding SwissNumber. Must be unguessable.
 
def SwissNumber := integer
(BigInteger)readObject()

Knowledge is power to access an object. Must be unguessable.

SwissNumber is cryptoHash of SwissBase.

 
def SwissHash := integer
(BigInteger)readObject()

Knowledge of object identity, but grants no authority. Must be unguessable.

SwissHash is cryptoHash of SwissNumber.

 
def Nonce := integer
(BigInteger)readObject()
One-time unique identifier. May be guessable, but must not accidentally collide.
 
typedef OneArgFunc(_)
readObject()
Expected to accept a run/1 message

 

 
Unless stated otherwise, all text on this page which is either unattributed or by Mark S. Miller is hereby placed in the public domain.
ERights Home elib / distrib / captp 
Back to: CapTP: Partition On to: Surface Syntax Negotiation
Download    FAQ    API    Mail Archive    Donate

report bug (including invalid html)

Golden Key Campaign Blue Ribbon Campaign