mirror of
https://github.com/corda/corda.git
synced 2024-12-25 15:41:10 +00:00
79601681da
* Add headers to documentation pages using codesets that are missing the relevant includes
88 lines
5.5 KiB
ReStructuredText
88 lines
5.5 KiB
ReStructuredText
.. highlight:: kotlin
|
|
.. raw:: html
|
|
|
|
<script type="text/javascript" src="_static/jquery.js"></script>
|
|
<script type="text/javascript" src="_static/codesets.js"></script>
|
|
|
|
Financial model
|
|
===============
|
|
|
|
Corda provides a large standard library of data types used in financial applications and contract state objects.
|
|
These provide a common language for states and contracts.
|
|
|
|
Amount
|
|
------
|
|
|
|
The `Amount <api/kotlin/corda/net.corda.core.contracts/-amount/index.html>`_ class is used to represent an amount of
|
|
some fungible asset. It is a generic class which wraps around a type used to define the underlying product, called
|
|
the *token*. For instance it can be the standard JDK type ``Currency``, or an ``Issued`` instance, or this can be
|
|
a more complex type such as an obligation contract issuance definition (which in turn contains a token definition
|
|
for whatever the obligation is to be settled in). Custom token types should implement ``TokenizableAssetInfo`` to allow the
|
|
``Amount`` conversion helpers ``fromDecimal`` and ``toDecimal`` to calculate the correct ``displayTokenSize``.
|
|
|
|
.. note:: Fungible is used here to mean that instances of an asset is interchangeable for any other identical instance,
|
|
and that they can be split/merged. For example a £5 note can reasonably be exchanged for any other £5 note, and
|
|
a £10 note can be exchanged for two £5 notes, or vice-versa.
|
|
|
|
Here are some examples:
|
|
|
|
.. container:: codeset
|
|
|
|
.. sourcecode:: kotlin
|
|
|
|
// A quantity of some specific currency like pounds, euros, dollars etc.
|
|
Amount<Currency>
|
|
// A quantity of currency that is issued by a specific issuer, for instance central bank vs other bank dollars
|
|
Amount<Issued<Currency>>
|
|
// A quantity of a product governed by specific obligation terms
|
|
Amount<Obligation.Terms<P>>
|
|
|
|
``Amount`` represents quantities as integers. You cannot use ``Amount`` to represent negative quantities,
|
|
or fractional quantities: if you wish to do this then you must use a different type, typically ``BigDecimal``.
|
|
For currencies the quantity represents pennies, cents, or whatever else is the smallest integer amount for that currency,
|
|
but for other assets it might mean anything e.g. 1000 tonnes of coal, or kilowatt-hours. The precise conversion ratio
|
|
to displayable amounts is via the ``displayTokenSize`` property, which is the ``BigDecimal`` numeric representation of
|
|
a single token as it would be written. ``Amount`` also defines methods to do overflow/underflow checked addition and subtraction
|
|
(these are operator overloads in Kotlin and can be used as regular methods from Java). More complex calculations should typically
|
|
be done in ``BigDecimal`` and converted back to ensure due consideration of rounding and to ensure token conservation.
|
|
|
|
``Issued`` refers to a product (which can be cash, a cash-like thing, assets, or generally anything else that's
|
|
quantifiable with integer quantities) and an associated ``PartyAndReference`` that describes the issuer of that contract.
|
|
An issued product typically follows a lifecycle which includes issuance, movement and exiting from the ledger (for example,
|
|
see the ``Cash`` contract and its associated *state* and *commands*)
|
|
|
|
To represent movements of ``Amount`` tokens use the ``AmountTransfer`` type, which records the quantity and perspective
|
|
of a transfer. Positive values will indicate a movement of tokens from a ``source`` e.g. a ``Party``, or ``CompositeKey``
|
|
to a ``destination``. Negative values can be used to indicate a retrograde motion of tokens from ``destination``
|
|
to ``source``. ``AmountTransfer`` supports addition (as a Kotlin operator, or Java method) to provide netting
|
|
and aggregation of flows. The ``apply`` method can be used to process a list of attributed ``Amount`` objects in a
|
|
``List<SourceAndAmount>`` to carry out the actual transfer.
|
|
|
|
Financial states
|
|
----------------
|
|
In additional to the common state types, a number of interfaces extend ``ContractState`` to model financial state such as:
|
|
|
|
``LinearState``
|
|
A state which has a unique identifier beyond its StateRef and carries it through state transitions.
|
|
Such a state cannot be duplicated, merged or split in a transaction: only continued or deleted. A linear state is
|
|
useful when modelling an indivisible/non-fungible thing like a specific deal, or an asset that can't be
|
|
split (like a rare piece of art).
|
|
|
|
``DealState``
|
|
A LinearState representing an agreement between two or more parties. Intended to simplify implementing generic
|
|
protocols that manipulate many agreement types.
|
|
|
|
``FungibleAsset``
|
|
A FungibleAsset is intended to be used for contract states representing assets which are fungible, countable and issued by a
|
|
specific party. States contain assets which are equivalent (such as cash of the same currency), so records of their existence
|
|
can be merged or split as needed where the issuer is the same. For instance, dollars issued by the Fed are fungible and
|
|
countable (in cents), barrels of West Texas crude are fungible and countable (oil from two small containers can be poured into one large
|
|
container), shares of the same class in a specific company are fungible and countable, and so on.
|
|
|
|
The following diagram illustrates the complete Contract State hierarchy:
|
|
|
|
.. image:: resources/financialContractStateModel.png
|
|
|
|
Note there are currently two packages, a core library and a finance model specific library.
|
|
Developers may re-use or extend the Finance types directly or write their own by extending the base types from the Core library.
|