PassByConstruction

From Erights

Revision as of 07:06, 18 April 2007 by Mscheffler (Talk)
Jump to: navigation, search

An object declared as, for example

   def foo implements pbc {
       to __optUncall() { return [1, "add", [2]] }
       # ...
   }

will be passed-by-construction across CapTP. This means that its __optUncall() method will be called on the sending side, the elements of the result triple will be passed, and the corresponding triple as received will be called (here, as “E.call(1, "add", [2])”) to create the object as received.

Personal tools
more tools