From ce0fbae00b5ec37a9faeaf34a90c473c2f743817 Mon Sep 17 00:00:00 2001 From: minaminao Date: Wed, 5 Jul 2023 10:12:49 +0900 Subject: [PATCH] fix docs Co-authored-by: r0qs --- docs/contracts/interfaces.rst | 2 +- docs/smtchecker.rst | 5 +++-- docs/units-and-global-variables.rst | 2 +- 3 files changed, 5 insertions(+), 4 deletions(-) diff --git a/docs/contracts/interfaces.rst b/docs/contracts/interfaces.rst index cc71cf64e..a3085667b 100644 --- a/docs/contracts/interfaces.rst +++ b/docs/contracts/interfaces.rst @@ -65,7 +65,7 @@ inheritance. Types defined inside interfaces and other contract-like structures can be accessed from other contracts: ``Token.TokenType`` or ``Token.Coin``. -.. warning: +.. warning:: Interfaces have supported ``enum`` types since :doc:`Solidity version 0.5.0 <050-breaking-changes>`, make sure the pragma version specifies this version as a minimum. diff --git a/docs/smtchecker.rst b/docs/smtchecker.rst index b68d58ed3..f8085b63d 100644 --- a/docs/smtchecker.rst +++ b/docs/smtchecker.rst @@ -636,7 +636,7 @@ expression type. It is also helpful to cast the called contract's variable as the type of the most derived type in case of inheritance. - .. code-block:: solidity +.. code-block:: solidity // SPDX-License-Identifier: GPL-3.0 pragma solidity >=0.8.0; @@ -697,8 +697,9 @@ storage for ``address`` variables, therefore if ``B.a`` had type ``address`` the encoding would assume that its storage does not change in between transactions to ``B``. - .. code-block:: solidity +.. code-block:: solidity + // SPDX-License-Identifier: GPL-3.0 pragma solidity >=0.8.0; contract A { diff --git a/docs/units-and-global-variables.rst b/docs/units-and-global-variables.rst index e70299679..d2256884e 100644 --- a/docs/units-and-global-variables.rst +++ b/docs/units-and-global-variables.rst @@ -380,7 +380,7 @@ The following properties are available for a contract type ``C``: In addition to the properties above, the following properties are available for an interface type ``I``: -``type(I).interfaceId``: +``type(I).interfaceId`` A ``bytes4`` value containing the `EIP-165 `_ interface identifier of the given interface ``I``. This identifier is defined as the ``XOR`` of all function selectors defined within the interface itself - excluding all inherited functions.