PassByConstruction
From Erights
Revision as of 07:06, 18 April 2007 by Mscheffler (Talk)
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.