fix definition of actors for fetch in ledger model (#5734)

CHANGELOG_BEGIN
CHANGELOG_END
This commit is contained in:
Andreas Lochbihler 2020-04-27 13:39:36 +02:00 committed by GitHub
parent 7b1dbddf15
commit 172e913520
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -44,7 +44,7 @@ Intuitively, the allowed actions are:
The actors must be a non-empty subset of the contract stakeholders.
The actors are determined dynamically as follows: if the fetch appears in an update block of a choice
`ch` on a contract `c1`, and the fetched contract ID resolves to a contract `c2`, then the actors are defined as the
intersection of (1) the signatories of `c1` union the controllers of `ch` with (2) the signatories of `c2`.
intersection of (1) the signatories of `c1` union the controllers of `ch` with (2) the stakeholders of `c2`.
A :ref:`fetchbykey` statement also produces a **Fetch** action with the actors determined in the same way.
A :ref:`lookupbykey` statement that finds a contract also translates into a **Fetch** action, but all maintainers of the key are the actors.