latest
Principes de base
Introduction Aux Smart Contracts
Installation du compilateur Solidity
Solidity par l’exemple
Description de la langue
Mise en page d’un fichier source Solidity
Structure d’un contrat
Types
Unités et variables disponibles dans le monde entier
Expressions et structures de contrôle
Contrats
Assemblage en ligne
Aide-mémoire
Langue Grammaire
Compilateur
Utilisation du compilateur
Analyse de la sortie du compilateur
Changements apportés au Codegen basé sur Solidity IR
Internes
Disposition des variables d’état dans le stockage
Mise en page en mémoire
Mise en page des données d’appel
Nettoyer les variables
Source Mappings (SourceMap de Compilation)
L’optimiseur
Métadonnées du contrat
Spécification ABI pour les contrats
Matériel supplémentaire
Solidity v0.5.0 Changements de rupture
Solidity v0.6.0 Changements de rupture
Solidity v0.7.0 Changements de rupture
Solidity v0.8.0 Changements de rupture
Format NatSpec
Considérations de sécurité
SMTChecker et vérification formelle
Ressources
Résolution du chemin d’importation
Yul
Guide de style
Modèles communs
Liste des bogues connus
Contribution
Guide de la marque Solidity
Influences de la langue
Keyword Index
Solidity
Index
Éditer sur GitHub
Index
Symboles
|
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
J
|
K
|
L
|
M
|
N
|
O
|
P
|
R
|
S
|
T
|
U
|
V
|
W
|
Y
Symboles
--allow-paths
,
[1]
--base-path
,
[1]
,
[2]
--include-path
,
[1]
--libraries
--link
--standard-json
,
[1]
<stdin>
A
abi
,
[1]
,
[2]
abstract contract
access
restricting
account
addmod
,
[1]
address
,
[1]
,
[2]
allowed paths
,
[1]
analyse
anonymous
application binary interface
array
,
[1]
,
[2]
allocating
length
literals
pop
push
slice
array of strings
asm
,
[1]
,
[2]
assembly
,
[1]
assembly-statement (Antlr4 production rule)
assert
,
[1]
,
[2]
assignment
,
[1]
destructuring
auction
blind
open
B
balance
,
[1]
,
[2]
,
[3]
ballot
base
constructor
base class
base path
,
[1]
blind auction
block
,
[1]
,
[2]
number
,
[1]
timestamp
,
[1]
block (Antlr4 production rule)
bool
boolean-literal (Antlr4 production rule)
break
break-statement (Antlr4 production rule)
Bugs
byte array
bytes
,
[1]
bytes members
bytes-concat
bytes32
C
C3 linearization
call
,
[1]
call-argument-list (Antlr4 production rule)
callcode
,
[1]
,
[2]
cast
catch-clause (Antlr4 production rule)
checked
cleanup
codehash
,
[1]
coding style
coin
coinbase
,
[1]
commandline compiler
comment
common subexpression elimination
compile target
compiler
commandline
compound operators
constant
,
[1]
constant propagation
constant-variable-declaration (Antlr4 production rule)
constructor
,
[1]
arguments
constructor-definition (Antlr4 production rule)
continue
continue-statement (Antlr4 production rule)
contract
,
[1]
abstract
base
creation
interface
modular
precompiled
contract creation
contract type
contract verification
contract-body-element (Antlr4 production rule)
contract-definition (Antlr4 production rule)
contracts
creating
creationCode
cryptography
,
[1]
custom type
D
data
,
[1]
data-location (Antlr4 production rule)
days
deactivate
decimal-number (Antlr4 production rule)
declarations
default value
delegatecall
,
[1]
,
[2]
,
[3]
delete
deriving
difficulty
,
[1]
direct import
dirty bits
do-while-statement (Antlr4 production rule)
do/while
double-quoted-printable (Antlr4 production rule)
dynamic array
E
ecrecover
,
[1]
elementary-type-name (Antlr4 production rule)
else
emit-statement (Antlr4 production rule)
empty-string-literal (Antlr4 production rule)
encode
encoding
enum
,
[1]
enum-definition (Antlr4 production rule)
error
error-definition (Antlr4 production rule)
error-parameter (Antlr4 production rule)
errors
escape-sequence (Antlr4 production rule)
escrow
ether
ethereum virtual machine
evaluation order
expression
function arguments
event
,
[1]
,
[2]
event-definition (Antlr4 production rule)
event-parameter (Antlr4 production rule)
evm
EVM version
evmasm
,
[1]
exception
experimental
expression (Antlr4 production rule)
expression-statement (Antlr4 production rule)
extern
external
F
fallback function
fallback-function-definition (Antlr4 production rule)
false
file://
filesystem path
finney
fixed
fixed point number
fixed-bytes (Antlr4 production rule)
for
for-statement (Antlr4 production rule)
function
call
,
[1]
external
fallback
getter
internal
modifier
,
[1]
,
[2]
,
[3]
pure
receive ! receive
view
function parameter
function pointers
function type
function-definition (Antlr4 production rule)
function-type-name (Antlr4 production rule)
functions
G
gas
,
[1]
,
[2]
gas price
,
[1]
,
[2]
getter
function
goto
gwei
H
hex-number (Antlr4 production rule)
hex-string (Antlr4 production rule)
hex-string-literal (Antlr4 production rule)
Host Filesystem Loader
hours
I
identifier (Antlr4 production rule)
,
[1]
identifier-path (Antlr4 production rule)
if
if-statement (Antlr4 production rule)
import
direct
path
,
[1]
relative
remapping
import callback
,
[1]
import-directive (Antlr4 production rule)
include paths
,
[1]
indexed
inheritance
multiple
inheritance-specifier (Antlr4 production rule)
inline
arrays
inline-array-expression (Antlr4 production rule)
installing
instruction
int
integer
interface contract
interface-definition (Antlr4 production rule)
intern
internal
iterable mappings
iulia
J
julia
K
keccak256
,
[1]
L
length
library
,
[1]
,
[2]
library-definition (Antlr4 production rule)
license
linearization
linker
literal
,
[1]
,
[2]
address
rational
string
literal (Antlr4 production rule)
location
log
lvalue
M
mapping
,
[1]
,
[2]
mapping-key-type (Antlr4 production rule)
mapping-type (Antlr4 production rule)
memory
,
[1]
message call
metadata
minutes
modifier-definition (Antlr4 production rule)
modifier-invocation (Antlr4 production rule)
modifiers
modular contract
module
msg
,
[1]
mulmod
,
[1]
N
natspec
new
,
[1]
non-empty-string-literal (Antlr4 production rule)
number
,
[1]
number-literal (Antlr4 production rule)
number-unit (Antlr4 production rule)
O
open auction
operator
optimiser
optimizer
origin
,
[1]
overload
override-specifier (Antlr4 production rule)
overriding
function
modifier
P
packed
parameter
function
input
output
parameter-list (Antlr4 production rule)
path (Antlr4 production rule)
payable
pop
pragma
,
[1]
,
[2]
pragma-token (Antlr4 production rule)
precedence
precompiled contracts
precompiles
private
,
[1]
public
,
[1]
purchase
pure
pure function
push
R
receive ether function
receive-function-definition (Antlr4 production rule)
reference type
relative import
remapping
context
import
prefix
target
,
[1]
Remix IDE
,
[1]
remote purchase
require
,
[1]
,
[2]
return
,
[1]
return array
return string
return struct
return variable
return-statement (Antlr4 production rule)
revert
,
[1]
,
[2]
,
[3]
revert-statement (Antlr4 production rule)
ripemd160
,
[1]
runtimeCode
S
safe math
safemath
scoping
seconds
selector
,
[1]
self-destruct
selfdestruct
,
[1]
,
[2]
send
,
[1]
,
[2]
sender
,
[1]
set
sha256
,
[1]
signed-integer-type (Antlr4 production rule)
single-quoted-printable (Antlr4 production rule)
solc
SolidityLexer (Antlr4 lexer grammar)
SolidityParser (Antlr4 parser grammar)
source file
source mappings
source unit
source unit name
,
[1]
source-unit (Antlr4 production rule)
spdx
stack
standard input
standard JSON
,
[1]
state machine
state variable
,
[1]
state-mutability (Antlr4 production rule)
state-variable-declaration (Antlr4 production rule)
statement (Antlr4 production rule)
staticcall
,
[1]
stdin
storage
,
[1]
,
[2]
,
[3]
string
,
[1]
,
[2]
string-literal (Antlr4 production rule)
struct
,
[1]
,
[2]
,
[3]
struct-definition (Antlr4 production rule)
struct-member (Antlr4 production rule)
style
subcurrency
super
switch
symbol-aliases (Antlr4 production rule)
szabo
T
this
,
[1]
throw
time
timestamp
,
[1]
transaction
,
[1]
transfer
,
[1]
true
try-statement (Antlr4 production rule)
tuple-expression (Antlr4 production rule)
type
,
[1]
contract
conversion
function
reference
struct
value
type-name (Antlr4 production rule)
U
ufixed
uint
unchecked
unchecked-block (Antlr4 production rule)
unicode-string-literal (Antlr4 production rule)
,
[1]
unsigned-integer-type (Antlr4 production rule)
user defined value type
user-defined-value-type-definition (Antlr4 production rule)
using for
,
[1]
using-directive (Antlr4 production rule)
V
value
,
[1]
value type
variable
return
variable-declaration (Antlr4 production rule)
variable-declaration-statement (Antlr4 production rule)
variable-declaration-tuple (Antlr4 production rule)
variably sized array
version
VFS
view
view function
virtual filesystem
,
[1]
visibility
,
[1]
(Antlr4 production rule)
voting
W
weeks
wei
while
while-statement (Antlr4 production rule)
withdrawal
Y
years
yul
yul-assignment (Antlr4 production rule)
yul-block (Antlr4 production rule)
yul-boolean (Antlr4 production rule)
yul-decimal-number (Antlr4 production rule)
yul-evm-builtin (Antlr4 production rule)
yul-expression (Antlr4 production rule)
yul-for-statement (Antlr4 production rule)
yul-function-call (Antlr4 production rule)
yul-function-definition (Antlr4 production rule)
yul-hex-number (Antlr4 production rule)
yul-identifier (Antlr4 production rule)
yul-if-statement (Antlr4 production rule)
yul-literal (Antlr4 production rule)
yul-path (Antlr4 production rule)
yul-statement (Antlr4 production rule)
yul-string-literal (Antlr4 production rule)
yul-switch-statement (Antlr4 production rule)
yul-variable-declaration (Antlr4 production rule)
RTD
v: latest
Téléchargements
pdf
html
epub
Versions
latest
stable
v0.8.11
À propos de Read the Docs
Accueil du projet
Compilations