aboutsummaryrefslogtreecommitdiffstats
path: root/docs/contracts.rst
diff options
context:
space:
mode:
authorErik Kundt <bitshift@posteo.org>2018-10-10 18:28:24 +0800
committerErik Kundt <bitshift@posteo.org>2018-10-10 18:28:24 +0800
commit4beabf6686c59fbe4ac6d4a4a158eca41a0b682a (patch)
tree0f0e149f1d68864f80247aa65ca594198cb79234 /docs/contracts.rst
parent7d2dc14304e2ce1805069eef57904805ed6b96eb (diff)
downloaddexon-solidity-4beabf6686c59fbe4ac6d4a4a158eca41a0b682a.tar.gz
dexon-solidity-4beabf6686c59fbe4ac6d4a4a158eca41a0b682a.tar.zst
dexon-solidity-4beabf6686c59fbe4ac6d4a4a158eca41a0b682a.zip
Documents library view functions and adds unit test.
Diffstat (limited to 'docs/contracts.rst')
-rw-r--r--docs/contracts.rst4
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/contracts.rst b/docs/contracts.rst
index faef3fc2..e4a81684 100644
--- a/docs/contracts.rst
+++ b/docs/contracts.rst
@@ -485,7 +485,9 @@ Functions can be declared ``view`` in which case they promise not to modify the
.. note::
If the compiler's EVM target is Byzantium or newer (default) the opcode
``STATICCALL`` is used for ``view`` functions which enforces the state
- to stay unmodified as part of the EVM execution.
+ to stay unmodified as part of the EVM execution. For library ``view`` functions
+ ``DELEGATECALL`` is used. Since they are executed in the context of the calling
+ contract, the static checker is extended to the library.
The following statements are considered modifying the state: