ExternalVendorCode/corda
1
0
Fork 0
mirror of https://github.com/corda/corda.git synced 2024-12-21 13:57:54 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

Move tutorial.rst to tutorial_contract.rst

Browse Source 
Move tutorial.rst to tutorial_contract.rst and rebuild docs
This commit is contained in:
Ross Nicoll 2016-05-09 10:19:55 +01:00
parent 0439cfa572
commit 20c6be193a
23 changed files with 61 additions and 34 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/build/html/_sources/index.txt vendored
View File

@ -37,7 +37,7 @@ Read on to learn:
:maxdepth: 2 :maxdepth: 2
:caption: Tutorials :caption: Tutorials
tutorial tutorial_contract
protocol-state-machines protocol-state-machines
oracles oracles

0
docs/build/html/_sources/tutorial.txt → docs/build/html/_sources/tutorial_contract.txt vendored
View File

2
docs/build/html/api/core.messaging/-messaging-service/index.html vendored
View File

@ -90,7 +90,7 @@ take the registration object, unlike the callback to <a href="add-message-handle
<td> <td>
<a href="../send.html">send</a></td> <a href="../send.html">send</a></td>
<td> <td>
<code><span class="keyword">fun </span><span class="identifier">MessagingService</span><span class="symbol">.</span><span class="identifier">send</span><span class="symbol">(</span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, core.messaging.MessageRecipients, kotlin.Any)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, core.messaging.MessageRecipients, kotlin.Any)/to">to</span><span class="symbol">:</span>&nbsp;<a href="../-message-recipients.html"><span class="identifier">MessageRecipients</span></a><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, core.messaging.MessageRecipients, kotlin.Any)/obj">obj</span><span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">Unit</span></code></td> <code><span class="keyword">fun </span><span class="identifier">MessagingService</span><span class="symbol">.</span><span class="identifier">send</span><span class="symbol">(</span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, kotlin.Any, core.messaging.MessageRecipients)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, kotlin.Any, core.messaging.MessageRecipients)/obj">obj</span><span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, kotlin.Any, core.messaging.MessageRecipients)/to">to</span><span class="symbol">:</span>&nbsp;<a href="../-message-recipients.html"><span class="identifier">MessageRecipients</span></a><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">Unit</span></code></td>
</tr> </tr>
</tbody> </tbody>
</table> </table>

2
docs/build/html/api/core.messaging/index.html vendored
View File

@ -114,7 +114,7 @@ take the registration object, unlike the callback to <a href="-messaging-service
<td> <td>
<a href="send.html">send</a></td> <a href="send.html">send</a></td>
<td> <td>
<code><span class="keyword">fun </span><a href="-messaging-service/index.html"><span class="identifier">MessagingService</span></a><span class="symbol">.</span><span class="identifier">send</span><span class="symbol">(</span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, core.messaging.MessageRecipients, kotlin.Any)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, core.messaging.MessageRecipients, kotlin.Any)/to">to</span><span class="symbol">:</span>&nbsp;<a href="-message-recipients.html"><span class="identifier">MessageRecipients</span></a><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, core.messaging.MessageRecipients, kotlin.Any)/obj">obj</span><span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">Unit</span></code></td> <code><span class="keyword">fun </span><a href="-messaging-service/index.html"><span class="identifier">MessagingService</span></a><span class="symbol">.</span><span class="identifier">send</span><span class="symbol">(</span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, kotlin.Any, core.messaging.MessageRecipients)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, kotlin.Any, core.messaging.MessageRecipients)/obj">obj</span><span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, kotlin.Any, core.messaging.MessageRecipients)/to">to</span><span class="symbol">:</span>&nbsp;<a href="-message-recipients.html"><span class="identifier">MessageRecipients</span></a><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">Unit</span></code></td>
</tr> </tr>
</tbody> </tbody>
</table> </table>

4
docs/build/html/api/core.messaging/send.html vendored
View File

@ -7,8 +7,8 @@
<a href="index.html">core.messaging</a>&nbsp;/&nbsp;<a href=".">send</a><br/> <a href="index.html">core.messaging</a>&nbsp;/&nbsp;<a href=".">send</a><br/>
<br/> <br/>
<h1>send</h1> <h1>send</h1>
<a name="core.messaging$send(core.messaging.MessagingService, kotlin.String, core.messaging.MessageRecipients, kotlin.Any)"></a> <a name="core.messaging$send(core.messaging.MessagingService, kotlin.String, kotlin.Any, core.messaging.MessageRecipients)"></a>
<code><span class="keyword">fun </span><a href="-messaging-service/index.html"><span class="identifier">MessagingService</span></a><span class="symbol">.</span><span class="identifier">send</span><span class="symbol">(</span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, core.messaging.MessageRecipients, kotlin.Any)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, core.messaging.MessageRecipients, kotlin.Any)/to">to</span><span class="symbol">:</span>&nbsp;<a href="-message-recipients.html"><span class="identifier">MessageRecipients</span></a><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, core.messaging.MessageRecipients, kotlin.Any)/obj">obj</span><span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">Unit</span></code><br/> <code><span class="keyword">fun </span><a href="-messaging-service/index.html"><span class="identifier">MessagingService</span></a><span class="symbol">.</span><span class="identifier">send</span><span class="symbol">(</span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, kotlin.Any, core.messaging.MessageRecipients)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, kotlin.Any, core.messaging.MessageRecipients)/obj">obj</span><span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, kotlin.Any, core.messaging.MessageRecipients)/to">to</span><span class="symbol">:</span>&nbsp;<a href="-message-recipients.html"><span class="identifier">MessageRecipients</span></a><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">Unit</span></code><br/>
<br/> <br/>
<br/> <br/>
</BODY> </BODY>

2
docs/build/html/api/core.node.subsystems/-artemis-messaging-service/index.html vendored
View File

@ -186,7 +186,7 @@ take the registration object, unlike the callback to <a href="../../core.messagi
<td> <td>
<a href="../../core.messaging/send.html">send</a></td> <a href="../../core.messaging/send.html">send</a></td>
<td> <td>
<code><span class="keyword">fun </span><a href="../../core.messaging/-messaging-service/index.html"><span class="identifier">MessagingService</span></a><span class="symbol">.</span><span class="identifier">send</span><span class="symbol">(</span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, core.messaging.MessageRecipients, kotlin.Any)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, core.messaging.MessageRecipients, kotlin.Any)/to">to</span><span class="symbol">:</span>&nbsp;<a href="../../core.messaging/-message-recipients.html"><span class="identifier">MessageRecipients</span></a><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, core.messaging.MessageRecipients, kotlin.Any)/obj">obj</span><span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">Unit</span></code></td> <code><span class="keyword">fun </span><a href="../../core.messaging/-messaging-service/index.html"><span class="identifier">MessagingService</span></a><span class="symbol">.</span><span class="identifier">send</span><span class="symbol">(</span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, kotlin.Any, core.messaging.MessageRecipients)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, kotlin.Any, core.messaging.MessageRecipients)/obj">obj</span><span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, kotlin.Any, core.messaging.MessageRecipients)/to">to</span><span class="symbol">:</span>&nbsp;<a href="../../core.messaging/-message-recipients.html"><span class="identifier">MessageRecipients</span></a><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">Unit</span></code></td>
</tr> </tr>
</tbody> </tbody>
</table> </table>

7
docs/build/html/api/core/index.html vendored
View File

@ -533,6 +533,13 @@ avoid potential bugs where the value is used in a context where negative numbers
</tr> </tr>
<tr> <tr>
<td> <td>
<a href="verify-move-commands.html">verifyMoveCommands</a></td>
<td>
<code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<a href="-command-data.html"><span class="identifier">CommandData</span></a><span class="symbol">&gt;</span> <span class="identifier">verifyMoveCommands</span><span class="symbol">(</span><span class="identifier" id="core$verifyMoveCommands(kotlin.collections.List((core.OwnableState)), core.TransactionForVerification)/inputs">inputs</span><span class="symbol">:</span>&nbsp;<span class="identifier">List</span><span class="symbol">&lt;</span><a href="-ownable-state/index.html"><span class="identifier">OwnableState</span></a><span class="symbol">&gt;</span><span class="symbol">, </span><span class="identifier" id="core$verifyMoveCommands(kotlin.collections.List((core.OwnableState)), core.TransactionForVerification)/tx">tx</span><span class="symbol">:</span>&nbsp;<a href="-transaction-for-verification/index.html"><span class="identifier">TransactionForVerification</span></a><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">Unit</span></code><p>Simple functionality for verifying a move command. Verifies that each input has a signature from its owning key.</p>
</td>
</tr>
<tr>
<td>
<a href="verify-to-ledger-transaction.html">verifyToLedgerTransaction</a></td> <a href="verify-to-ledger-transaction.html">verifyToLedgerTransaction</a></td>
<td> <td>
<code><span class="keyword">fun </span><a href="-signed-transaction/index.html"><span class="identifier">SignedTransaction</span></a><span class="symbol">.</span><span class="identifier">verifyToLedgerTransaction</span><span class="symbol">(</span><span class="identifier" id="core$verifyToLedgerTransaction(core.SignedTransaction, core.node.services.IdentityService, core.node.services.AttachmentStorage)/identityService">identityService</span><span class="symbol">:</span>&nbsp;<a href="../core.node.services/-identity-service/index.html"><span class="identifier">IdentityService</span></a><span class="symbol">, </span><span class="identifier" id="core$verifyToLedgerTransaction(core.SignedTransaction, core.node.services.IdentityService, core.node.services.AttachmentStorage)/attachmentStorage">attachmentStorage</span><span class="symbol">:</span>&nbsp;<a href="../core.node.services/-attachment-storage/index.html"><span class="identifier">AttachmentStorage</span></a><span class="symbol">)</span><span class="symbol">: </span><a href="-ledger-transaction/index.html"><span class="identifier">LedgerTransaction</span></a></code><p>Calls <a href="#">verify</a> to check all required signatures are present, and then uses the passed <a href="../core.node.services/-identity-service/index.html">IdentityService</a> to call <code><span class="keyword">fun </span><a href="-signed-transaction/index.html"><span class="identifier">SignedTransaction</span></a><span class="symbol">.</span><span class="identifier">verifyToLedgerTransaction</span><span class="symbol">(</span><span class="identifier" id="core$verifyToLedgerTransaction(core.SignedTransaction, core.node.services.IdentityService, core.node.services.AttachmentStorage)/identityService">identityService</span><span class="symbol">:</span>&nbsp;<a href="../core.node.services/-identity-service/index.html"><span class="identifier">IdentityService</span></a><span class="symbol">, </span><span class="identifier" id="core$verifyToLedgerTransaction(core.SignedTransaction, core.node.services.IdentityService, core.node.services.AttachmentStorage)/attachmentStorage">attachmentStorage</span><span class="symbol">:</span>&nbsp;<a href="../core.node.services/-attachment-storage/index.html"><span class="identifier">AttachmentStorage</span></a><span class="symbol">)</span><span class="symbol">: </span><a href="-ledger-transaction/index.html"><span class="identifier">LedgerTransaction</span></a></code><p>Calls <a href="#">verify</a> to check all required signatures are present, and then uses the passed <a href="../core.node.services/-identity-service/index.html">IdentityService</a> to call

19
docs/build/html/api/core/verify-move-commands.html vendored Normal file
View File

@ -0,0 +1,19 @@
<HTML>
<HEAD>
<title>verifyMoveCommands - </title>
<link rel="stylesheet" href="../style.css">
</HEAD>
<BODY>
<a href="index.html">core</a>&nbsp;/&nbsp;<a href=".">verifyMoveCommands</a><br/>
<br/>
<h1>verifyMoveCommands</h1>
<a name="core$verifyMoveCommands(kotlin.collections.List((core.OwnableState)), core.TransactionForVerification)"></a>
<code><span class="keyword">inline</span> <span class="keyword">fun </span><span class="symbol">&lt;</span><span class="keyword">reified</span>&nbsp;<span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<a href="-command-data.html"><span class="identifier">CommandData</span></a><span class="symbol">&gt;</span> <span class="identifier">verifyMoveCommands</span><span class="symbol">(</span><span class="identifier" id="core$verifyMoveCommands(kotlin.collections.List((core.OwnableState)), core.TransactionForVerification)/inputs">inputs</span><span class="symbol">:</span>&nbsp;<span class="identifier">List</span><span class="symbol">&lt;</span><a href="-ownable-state/index.html"><span class="identifier">OwnableState</span></a><span class="symbol">&gt;</span><span class="symbol">, </span><span class="identifier" id="core$verifyMoveCommands(kotlin.collections.List((core.OwnableState)), core.TransactionForVerification)/tx">tx</span><span class="symbol">:</span>&nbsp;<a href="-transaction-for-verification/index.html"><span class="identifier">TransactionForVerification</span></a><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">Unit</span></code><br/>
<p>Simple functionality for verifying a move command. Verifies that each input has a signature from its owning key.</p>
<h3>Parameters</h3>
<a name="T"></a>
<code>T</code> - the type of the move command<br/>
<br/>
<br/>
</BODY>
</HTML>

4
docs/build/html/api/demos.protocols/-exit-server-protocol/-broadcast/index.html vendored
View File

@ -91,8 +91,8 @@ progress.</p>
<td> <td>
<a href="../../../core.protocols/-protocol-logic/receive.html">receive</a></td> <a href="../../../core.protocols/-protocol-logic/receive.html">receive</a></td>
<td> <td>
<code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/clazz">clazz</span><span class="symbol">:</span>&nbsp;<a href="http://docs.oracle.com/javase/6/docs/api/java/lang/Class.html"><span class="identifier">Class</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code><br/> <code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code><br/>
<code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code></td> <code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/clazz">clazz</span><span class="symbol">:</span>&nbsp;<a href="http://docs.oracle.com/javase/6/docs/api/java/lang/Class.html"><span class="identifier">Class</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code></td>
</tr> </tr>
<tr> <tr>
<td> <td>

4
docs/build/html/api/demos/-trader-demo-protocol-buyer/index.html vendored
View File

@ -98,8 +98,8 @@ progress.</p>
<td> <td>
<a href="../../core.protocols/-protocol-logic/receive.html">receive</a></td> <a href="../../core.protocols/-protocol-logic/receive.html">receive</a></td>
<td> <td>
<code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code><br/> <code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/clazz">clazz</span><span class="symbol">:</span>&nbsp;<a href="http://docs.oracle.com/javase/6/docs/api/java/lang/Class.html"><span class="identifier">Class</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code><br/>
<code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/clazz">clazz</span><span class="symbol">:</span>&nbsp;<a href="http://docs.oracle.com/javase/6/docs/api/java/lang/Class.html"><span class="identifier">Class</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code></td> <code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code></td>
</tr> </tr>
<tr> <tr>
<td> <td>

4
docs/build/html/api/demos/-trader-demo-protocol-seller/index.html vendored
View File

@ -122,8 +122,8 @@ progress.</p>
<td> <td>
<a href="../../core.protocols/-protocol-logic/receive.html">receive</a></td> <a href="../../core.protocols/-protocol-logic/receive.html">receive</a></td>
<td> <td>
<code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/clazz">clazz</span><span class="symbol">:</span>&nbsp;<a href="http://docs.oracle.com/javase/6/docs/api/java/lang/Class.html"><span class="identifier">Class</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code><br/> <code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code><br/>
<code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code></td> <code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/clazz">clazz</span><span class="symbol">:</span>&nbsp;<a href="http://docs.oracle.com/javase/6/docs/api/java/lang/Class.html"><span class="identifier">Class</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code></td>
</tr> </tr>
<tr> <tr>
<td> <td>

3
docs/build/html/api/index-outline.html vendored
View File

@ -7445,6 +7445,7 @@
<a href="docs/build/html/api/index"><a href="core/then.html"><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span> <span class="identifier">&lt;ERROR CLASS&gt;</span><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span><span class="symbol">.</span><span class="identifier">then</span><span class="symbol">(</span><span class="identifier" id="core$then(((core.then.T)), java.util.concurrent.Executor, kotlin.Function0((kotlin.Unit)))/executor">executor</span><span class="symbol">:</span>&nbsp;<a href="http://docs.oracle.com/javase/6/docs/api/java/util/concurrent/Executor.html"><span class="identifier">Executor</span></a><span class="symbol">, </span><span class="identifier" id="core$then(((core.then.T)), java.util.concurrent.Executor, kotlin.Function0((kotlin.Unit)))/body">body</span><span class="symbol">:</span>&nbsp;<span class="symbol">(</span><span class="symbol">)</span>&nbsp;<span class="symbol">-&gt;</span>&nbsp;<span class="identifier">Unit</span><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">&lt;ERROR CLASS&gt;</span></a></a><br/> <a href="docs/build/html/api/index"><a href="core/then.html"><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span> <span class="identifier">&lt;ERROR CLASS&gt;</span><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span><span class="symbol">.</span><span class="identifier">then</span><span class="symbol">(</span><span class="identifier" id="core$then(((core.then.T)), java.util.concurrent.Executor, kotlin.Function0((kotlin.Unit)))/executor">executor</span><span class="symbol">:</span>&nbsp;<a href="http://docs.oracle.com/javase/6/docs/api/java/util/concurrent/Executor.html"><span class="identifier">Executor</span></a><span class="symbol">, </span><span class="identifier" id="core$then(((core.then.T)), java.util.concurrent.Executor, kotlin.Function0((kotlin.Unit)))/body">body</span><span class="symbol">:</span>&nbsp;<span class="symbol">(</span><span class="symbol">)</span>&nbsp;<span class="symbol">-&gt;</span>&nbsp;<span class="identifier">Unit</span><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">&lt;ERROR CLASS&gt;</span></a></a><br/>
<a href="docs/build/html/api/index"><a href="core/then.html"><span class="keyword">infix</span> <span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span> <span class="identifier">&lt;ERROR CLASS&gt;</span><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span><span class="symbol">.</span><span class="identifier">then</span><span class="symbol">(</span><span class="identifier" id="core$then(((core.then.T)), kotlin.Function0((kotlin.Unit)))/body">body</span><span class="symbol">:</span>&nbsp;<span class="symbol">(</span><span class="symbol">)</span>&nbsp;<span class="symbol">-&gt;</span>&nbsp;<span class="identifier">Unit</span><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">&lt;ERROR CLASS&gt;</span><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></a></a><br/> <a href="docs/build/html/api/index"><a href="core/then.html"><span class="keyword">infix</span> <span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span> <span class="identifier">&lt;ERROR CLASS&gt;</span><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span><span class="symbol">.</span><span class="identifier">then</span><span class="symbol">(</span><span class="identifier" id="core$then(((core.then.T)), kotlin.Function0((kotlin.Unit)))/body">body</span><span class="symbol">:</span>&nbsp;<span class="symbol">(</span><span class="symbol">)</span>&nbsp;<span class="symbol">-&gt;</span>&nbsp;<span class="identifier">Unit</span><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">&lt;ERROR CLASS&gt;</span><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></a></a><br/>
<a href="docs/build/html/api/index"><a href="core/to-ledger-transaction.html"><span class="keyword">fun </span><a href="core/-wire-transaction/index.html"><span class="identifier">WireTransaction</span></a><span class="symbol">.</span><span class="identifier">toLedgerTransaction</span><span class="symbol">(</span><span class="identifier" id="core$toLedgerTransaction(core.WireTransaction, core.node.services.IdentityService, core.node.services.AttachmentStorage)/identityService">identityService</span><span class="symbol">:</span>&nbsp;<a href="core.node.services/-identity-service/index.html"><span class="identifier">IdentityService</span></a><span class="symbol">, </span><span class="identifier" id="core$toLedgerTransaction(core.WireTransaction, core.node.services.IdentityService, core.node.services.AttachmentStorage)/attachmentStorage">attachmentStorage</span><span class="symbol">:</span>&nbsp;<a href="core.node.services/-attachment-storage/index.html"><span class="identifier">AttachmentStorage</span></a><span class="symbol">)</span><span class="symbol">: </span><a href="core/-ledger-transaction/index.html"><span class="identifier">LedgerTransaction</span></a></a></a><br/> <a href="docs/build/html/api/index"><a href="core/to-ledger-transaction.html"><span class="keyword">fun </span><a href="core/-wire-transaction/index.html"><span class="identifier">WireTransaction</span></a><span class="symbol">.</span><span class="identifier">toLedgerTransaction</span><span class="symbol">(</span><span class="identifier" id="core$toLedgerTransaction(core.WireTransaction, core.node.services.IdentityService, core.node.services.AttachmentStorage)/identityService">identityService</span><span class="symbol">:</span>&nbsp;<a href="core.node.services/-identity-service/index.html"><span class="identifier">IdentityService</span></a><span class="symbol">, </span><span class="identifier" id="core$toLedgerTransaction(core.WireTransaction, core.node.services.IdentityService, core.node.services.AttachmentStorage)/attachmentStorage">attachmentStorage</span><span class="symbol">:</span>&nbsp;<a href="core.node.services/-attachment-storage/index.html"><span class="identifier">AttachmentStorage</span></a><span class="symbol">)</span><span class="symbol">: </span><a href="core/-ledger-transaction/index.html"><span class="identifier">LedgerTransaction</span></a></a></a><br/>
<a href="docs/build/html/api/index"><a href="core/verify-move-commands.html"><span class="keyword">inline</span> <span class="keyword">fun </span><span class="symbol">&lt;</span><span class="keyword">reified</span>&nbsp;<span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<a href="core/-command-data.html"><span class="identifier">CommandData</span></a><span class="symbol">&gt;</span> <span class="identifier">verifyMoveCommands</span><span class="symbol">(</span><span class="identifier" id="core$verifyMoveCommands(kotlin.collections.List((core.OwnableState)), core.TransactionForVerification)/inputs">inputs</span><span class="symbol">:</span>&nbsp;<span class="identifier">List</span><span class="symbol">&lt;</span><a href="core/-ownable-state/index.html"><span class="identifier">OwnableState</span></a><span class="symbol">&gt;</span><span class="symbol">, </span><span class="identifier" id="core$verifyMoveCommands(kotlin.collections.List((core.OwnableState)), core.TransactionForVerification)/tx">tx</span><span class="symbol">:</span>&nbsp;<a href="core/-transaction-for-verification/index.html"><span class="identifier">TransactionForVerification</span></a><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">Unit</span></a></a><br/>
<a href="docs/build/html/api/index"><a href="core/verify-to-ledger-transaction.html"><span class="keyword">fun </span><a href="core/-signed-transaction/index.html"><span class="identifier">SignedTransaction</span></a><span class="symbol">.</span><span class="identifier">verifyToLedgerTransaction</span><span class="symbol">(</span><span class="identifier" id="core$verifyToLedgerTransaction(core.SignedTransaction, core.node.services.IdentityService, core.node.services.AttachmentStorage)/identityService">identityService</span><span class="symbol">:</span>&nbsp;<a href="core.node.services/-identity-service/index.html"><span class="identifier">IdentityService</span></a><span class="symbol">, </span><span class="identifier" id="core$verifyToLedgerTransaction(core.SignedTransaction, core.node.services.IdentityService, core.node.services.AttachmentStorage)/attachmentStorage">attachmentStorage</span><span class="symbol">:</span>&nbsp;<a href="core.node.services/-attachment-storage/index.html"><span class="identifier">AttachmentStorage</span></a><span class="symbol">)</span><span class="symbol">: </span><a href="core/-ledger-transaction/index.html"><span class="identifier">LedgerTransaction</span></a></a></a><br/> <a href="docs/build/html/api/index"><a href="core/verify-to-ledger-transaction.html"><span class="keyword">fun </span><a href="core/-signed-transaction/index.html"><span class="identifier">SignedTransaction</span></a><span class="symbol">.</span><span class="identifier">verifyToLedgerTransaction</span><span class="symbol">(</span><span class="identifier" id="core$verifyToLedgerTransaction(core.SignedTransaction, core.node.services.IdentityService, core.node.services.AttachmentStorage)/identityService">identityService</span><span class="symbol">:</span>&nbsp;<a href="core.node.services/-identity-service/index.html"><span class="identifier">IdentityService</span></a><span class="symbol">, </span><span class="identifier" id="core$verifyToLedgerTransaction(core.SignedTransaction, core.node.services.IdentityService, core.node.services.AttachmentStorage)/attachmentStorage">attachmentStorage</span><span class="symbol">:</span>&nbsp;<a href="core.node.services/-attachment-storage/index.html"><span class="identifier">AttachmentStorage</span></a><span class="symbol">)</span><span class="symbol">: </span><a href="core/-ledger-transaction/index.html"><span class="identifier">LedgerTransaction</span></a></a></a><br/>
</BODY> </BODY>
</HTML> </HTML>
@ -7886,7 +7887,7 @@
</HTML> </HTML>
</ul> </ul>
<a href="docs/build/html/api/index"><a href="core.messaging/run-on-next-message.html"><span class="keyword">fun </span><a href="core.messaging/-messaging-service/index.html"><span class="identifier">MessagingService</span></a><span class="symbol">.</span><span class="identifier">runOnNextMessage</span><span class="symbol">(</span><span class="identifier" id="core.messaging$runOnNextMessage(core.messaging.MessagingService, kotlin.String, java.util.concurrent.Executor, kotlin.Function1((core.messaging.Message, kotlin.Unit)))/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span>&nbsp;<span class="symbol">=</span>&nbsp;""<span class="symbol">, </span><span class="identifier" id="core.messaging$runOnNextMessage(core.messaging.MessagingService, kotlin.String, java.util.concurrent.Executor, kotlin.Function1((core.messaging.Message, kotlin.Unit)))/executor">executor</span><span class="symbol">:</span>&nbsp;<a href="http://docs.oracle.com/javase/6/docs/api/java/util/concurrent/Executor.html"><span class="identifier">Executor</span></a><span class="symbol">?</span>&nbsp;<span class="symbol">=</span>&nbsp;null<span class="symbol">, </span><span class="identifier" id="core.messaging$runOnNextMessage(core.messaging.MessagingService, kotlin.String, java.util.concurrent.Executor, kotlin.Function1((core.messaging.Message, kotlin.Unit)))/callback">callback</span><span class="symbol">:</span>&nbsp;<span class="symbol">(</span><a href="core.messaging/-message/index.html"><span class="identifier">Message</span></a><span class="symbol">)</span>&nbsp;<span class="symbol">-&gt;</span>&nbsp;<span class="identifier">Unit</span><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">Unit</span></a></a><br/> <a href="docs/build/html/api/index"><a href="core.messaging/run-on-next-message.html"><span class="keyword">fun </span><a href="core.messaging/-messaging-service/index.html"><span class="identifier">MessagingService</span></a><span class="symbol">.</span><span class="identifier">runOnNextMessage</span><span class="symbol">(</span><span class="identifier" id="core.messaging$runOnNextMessage(core.messaging.MessagingService, kotlin.String, java.util.concurrent.Executor, kotlin.Function1((core.messaging.Message, kotlin.Unit)))/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span>&nbsp;<span class="symbol">=</span>&nbsp;""<span class="symbol">, </span><span class="identifier" id="core.messaging$runOnNextMessage(core.messaging.MessagingService, kotlin.String, java.util.concurrent.Executor, kotlin.Function1((core.messaging.Message, kotlin.Unit)))/executor">executor</span><span class="symbol">:</span>&nbsp;<a href="http://docs.oracle.com/javase/6/docs/api/java/util/concurrent/Executor.html"><span class="identifier">Executor</span></a><span class="symbol">?</span>&nbsp;<span class="symbol">=</span>&nbsp;null<span class="symbol">, </span><span class="identifier" id="core.messaging$runOnNextMessage(core.messaging.MessagingService, kotlin.String, java.util.concurrent.Executor, kotlin.Function1((core.messaging.Message, kotlin.Unit)))/callback">callback</span><span class="symbol">:</span>&nbsp;<span class="symbol">(</span><a href="core.messaging/-message/index.html"><span class="identifier">Message</span></a><span class="symbol">)</span>&nbsp;<span class="symbol">-&gt;</span>&nbsp;<span class="identifier">Unit</span><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">Unit</span></a></a><br/>
<a href="docs/build/html/api/index"><a href="core.messaging/send.html"><span class="keyword">fun </span><a href="core.messaging/-messaging-service/index.html"><span class="identifier">MessagingService</span></a><span class="symbol">.</span><span class="identifier">send</span><span class="symbol">(</span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, core.messaging.MessageRecipients, kotlin.Any)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, core.messaging.MessageRecipients, kotlin.Any)/to">to</span><span class="symbol">:</span>&nbsp;<a href="core.messaging/-message-recipients.html"><span class="identifier">MessageRecipients</span></a><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, core.messaging.MessageRecipients, kotlin.Any)/obj">obj</span><span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">Unit</span></a></a><br/> <a href="docs/build/html/api/index"><a href="core.messaging/send.html"><span class="keyword">fun </span><a href="core.messaging/-messaging-service/index.html"><span class="identifier">MessagingService</span></a><span class="symbol">.</span><span class="identifier">send</span><span class="symbol">(</span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, kotlin.Any, core.messaging.MessageRecipients)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, kotlin.Any, core.messaging.MessageRecipients)/obj">obj</span><span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">, </span><span class="identifier" id="core.messaging$send(core.messaging.MessagingService, kotlin.String, kotlin.Any, core.messaging.MessageRecipients)/to">to</span><span class="symbol">:</span>&nbsp;<a href="core.messaging/-message-recipients.html"><span class="identifier">MessageRecipients</span></a><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">Unit</span></a></a><br/>
</BODY> </BODY>
</HTML> </HTML>
</ul> </ul>

4
docs/build/html/api/protocols/-two-party-deal-protocol/-secondary/index.html vendored
View File

@ -152,8 +152,8 @@ progress.</p>
<td> <td>
<a href="../../../core.protocols/-protocol-logic/receive.html">receive</a></td> <a href="../../../core.protocols/-protocol-logic/receive.html">receive</a></td>
<td> <td>
<code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/clazz">clazz</span><span class="symbol">:</span>&nbsp;<a href="http://docs.oracle.com/javase/6/docs/api/java/lang/Class.html"><span class="identifier">Class</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code><br/> <code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code><br/>
<code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code></td> <code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/clazz">clazz</span><span class="symbol">:</span>&nbsp;<a href="http://docs.oracle.com/javase/6/docs/api/java/lang/Class.html"><span class="identifier">Class</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code></td>
</tr> </tr>
<tr> <tr>
<td> <td>

4
docs/build/html/api/protocols/-two-party-trade-protocol/-buyer/index.html vendored
View File

@ -140,8 +140,8 @@ progress.</p>
<td> <td>
<a href="../../../core.protocols/-protocol-logic/receive.html">receive</a></td> <a href="../../../core.protocols/-protocol-logic/receive.html">receive</a></td>
<td> <td>
<code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/clazz">clazz</span><span class="symbol">:</span>&nbsp;<a href="http://docs.oracle.com/javase/6/docs/api/java/lang/Class.html"><span class="identifier">Class</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code><br/> <code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code><br/>
<code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long)/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code></td> <code><span class="keyword">fun </span><span class="symbol">&lt;</span><span class="identifier">T</span>&nbsp;<span class="symbol">:</span>&nbsp;<span class="identifier">Any</span><span class="symbol">&gt;</span> <span class="identifier">receive</span><span class="symbol">(</span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/topic">topic</span><span class="symbol">:</span>&nbsp;<span class="identifier">String</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/sessionIDForReceive">sessionIDForReceive</span><span class="symbol">:</span>&nbsp;<span class="identifier">Long</span><span class="symbol">, </span><span class="identifier" id="core.protocols.ProtocolLogic$receive(kotlin.String, kotlin.Long, java.lang.Class((core.protocols.ProtocolLogic.receive.T)))/clazz">clazz</span><span class="symbol">:</span>&nbsp;<a href="http://docs.oracle.com/javase/6/docs/api/java/lang/Class.html"><span class="identifier">Class</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span><span class="symbol">)</span><span class="symbol">: </span><a href="../../../core.utilities/-untrustworthy-data/index.html"><span class="identifier">UntrustworthyData</span></a><span class="symbol">&lt;</span><span class="identifier">T</span><span class="symbol">&gt;</span></code></td>
</tr> </tr>
<tr> <tr>
<td> <td>

2
docs/build/html/codestyle.html vendored
View File

@ -97,7 +97,7 @@
</ul> </ul>
<p class="caption"><span class="caption-text">Tutorials</span></p> <p class="caption"><span class="caption-text">Tutorials</span></p>
<ul> <ul>
<li class="toctree-l1"><a class="reference internal" href="tutorial.html">Writing a contract</a></li> <li class="toctree-l1"><a class="reference internal" href="tutorial_contract.html">Writing a contract</a></li>
<li class="toctree-l1"><a class="reference internal" href="protocol-state-machines.html">Protocol state machines</a></li> <li class="toctree-l1"><a class="reference internal" href="protocol-state-machines.html">Protocol state machines</a></li>
<li class="toctree-l1"><a class="reference internal" href="oracles.html">Writing oracle services</a></li> <li class="toctree-l1"><a class="reference internal" href="oracles.html">Writing oracle services</a></li>
</ul> </ul>

2
docs/build/html/genindex.html vendored
View File

@ -96,7 +96,7 @@
</ul> </ul>
<p class="caption"><span class="caption-text">Tutorials</span></p> <p class="caption"><span class="caption-text">Tutorials</span></p>
<ul> <ul>
<li class="toctree-l1"><a class="reference internal" href="tutorial.html">Writing a contract</a></li> <li class="toctree-l1"><a class="reference internal" href="tutorial_contract.html">Writing a contract</a></li>
<li class="toctree-l1"><a class="reference internal" href="protocol-state-machines.html">Protocol state machines</a></li> <li class="toctree-l1"><a class="reference internal" href="protocol-state-machines.html">Protocol state machines</a></li>
<li class="toctree-l1"><a class="reference internal" href="oracles.html">Writing oracle services</a></li> <li class="toctree-l1"><a class="reference internal" href="oracles.html">Writing oracle services</a></li>
</ul> </ul>

22
docs/build/html/index.html vendored
View File

@ -96,7 +96,7 @@
</ul> </ul>
<p class="caption"><span class="caption-text">Tutorials</span></p> <p class="caption"><span class="caption-text">Tutorials</span></p>
<ul> <ul>
<li class="toctree-l1"><a class="reference internal" href="tutorial.html">Writing a contract</a></li> <li class="toctree-l1"><a class="reference internal" href="tutorial_contract.html">Writing a contract</a></li>
<li class="toctree-l1"><a class="reference internal" href="protocol-state-machines.html">Protocol state machines</a></li> <li class="toctree-l1"><a class="reference internal" href="protocol-state-machines.html">Protocol state machines</a></li>
<li class="toctree-l1"><a class="reference internal" href="oracles.html">Writing oracle services</a></li> <li class="toctree-l1"><a class="reference internal" href="oracles.html">Writing oracle services</a></li>
</ul> </ul>
@ -211,16 +211,16 @@ prove or disprove the following hypothesis:</p>
<div class="toctree-wrapper compound" id="tutorials"> <div class="toctree-wrapper compound" id="tutorials">
<p class="caption"><span class="caption-text">Tutorials</span><a class="headerlink" href="#tutorials" title="Permalink to this toctree"></a></p> <p class="caption"><span class="caption-text">Tutorials</span><a class="headerlink" href="#tutorials" title="Permalink to this toctree"></a></p>
<ul> <ul>
<li class="toctree-l1"><a class="reference internal" href="tutorial.html">Writing a contract</a><ul> <li class="toctree-l1"><a class="reference internal" href="tutorial_contract.html">Writing a contract</a><ul>
<li class="toctree-l2"><a class="reference internal" href="tutorial.html#starting-the-commercial-paper-class">Starting the commercial paper class</a></li> <li class="toctree-l2"><a class="reference internal" href="tutorial_contract.html#starting-the-commercial-paper-class">Starting the commercial paper class</a></li>
<li class="toctree-l2"><a class="reference internal" href="tutorial.html#states">States</a></li> <li class="toctree-l2"><a class="reference internal" href="tutorial_contract.html#states">States</a></li>
<li class="toctree-l2"><a class="reference internal" href="tutorial.html#commands">Commands</a></li> <li class="toctree-l2"><a class="reference internal" href="tutorial_contract.html#commands">Commands</a></li>
<li class="toctree-l2"><a class="reference internal" href="tutorial.html#the-verify-function">The verify function</a></li> <li class="toctree-l2"><a class="reference internal" href="tutorial_contract.html#the-verify-function">The verify function</a></li>
<li class="toctree-l2"><a class="reference internal" href="tutorial.html#using-state-groups">Using state groups</a></li> <li class="toctree-l2"><a class="reference internal" href="tutorial_contract.html#using-state-groups">Using state groups</a></li>
<li class="toctree-l2"><a class="reference internal" href="tutorial.html#checking-the-requirements">Checking the requirements</a></li> <li class="toctree-l2"><a class="reference internal" href="tutorial_contract.html#checking-the-requirements">Checking the requirements</a></li>
<li class="toctree-l2"><a class="reference internal" href="tutorial.html#how-to-test-your-contract">How to test your contract</a></li> <li class="toctree-l2"><a class="reference internal" href="tutorial_contract.html#how-to-test-your-contract">How to test your contract</a></li>
<li class="toctree-l2"><a class="reference internal" href="tutorial.html#adding-a-generation-api-to-your-contract">Adding a generation API to your contract</a></li> <li class="toctree-l2"><a class="reference internal" href="tutorial_contract.html#adding-a-generation-api-to-your-contract">Adding a generation API to your contract</a></li>
<li class="toctree-l2"><a class="reference internal" href="tutorial.html#non-asset-oriented-based-smart-contracts">Non-asset-oriented based smart contracts</a></li> <li class="toctree-l2"><a class="reference internal" href="tutorial_contract.html#non-asset-oriented-based-smart-contracts">Non-asset-oriented based smart contracts</a></li>
</ul> </ul>
</li> </li>
<li class="toctree-l1"><a class="reference internal" href="protocol-state-machines.html">Protocol state machines</a><ul> <li class="toctree-l1"><a class="reference internal" href="protocol-state-machines.html">Protocol state machines</a><ul>

BIN
docs/build/html/objects.inv vendored
View File

Binary file not shown.

2
docs/build/html/search.html vendored
View File

@ -95,7 +95,7 @@
</ul> </ul>
<p class="caption"><span class="caption-text">Tutorials</span></p> <p class="caption"><span class="caption-text">Tutorials</span></p>
<ul> <ul>
<li class="toctree-l1"><a class="reference internal" href="tutorial.html">Writing a contract</a></li> <li class="toctree-l1"><a class="reference internal" href="tutorial_contract.html">Writing a contract</a></li>
<li class="toctree-l1"><a class="reference internal" href="protocol-state-machines.html">Protocol state machines</a></li> <li class="toctree-l1"><a class="reference internal" href="protocol-state-machines.html">Protocol state machines</a></li>
<li class="toctree-l1"><a class="reference internal" href="oracles.html">Writing oracle services</a></li> <li class="toctree-l1"><a class="reference internal" href="oracles.html">Writing oracle services</a></li>
</ul> </ul>

2
docs/build/html/searchindex.js vendored
View File

File diff suppressed because one or more lines are too long

2
docs/build/html/tutorial.html → docs/build/html/tutorial_contract.html vendored
View File

@ -151,7 +151,7 @@
<li class="wy-breadcrumbs-aside"> <li class="wy-breadcrumbs-aside">
<a href="_sources/tutorial.txt" rel="nofollow"> View page source</a> <a href="_sources/tutorial_contract.txt" rel="nofollow"> View page source</a>
</li> </li>

2
docs/source/index.rst
View File

@ -37,7 +37,7 @@ Read on to learn:
:maxdepth: 2 :maxdepth: 2
:caption: Tutorials :caption: Tutorials
tutorial tutorial_contract
protocol-state-machines protocol-state-machines
oracles oracles

0
docs/source/tutorial.rst → docs/source/tutorial_contract.rst
View File