Busqué en los repositorios Mix y Solidity algo así como una definición formal de la gramática del idioma, de modo que uno pueda generar analizadores usando herramientas como GrammarKit , pero no pude encontrar nada.
¿Algún consejo?
Hay un archivo llamado grammar.txt en el repositorio de Solidity:
https://github.com/ethereum/solidity/blob/develop/docs/grammar.txt
¿Eso es probablemente lo que estás buscando?
Escribí una gramática ANTLR4 para Solidity que puede resultarle útil:
https://github.com/solidityj/solidity-antlr4
Puede generar analizadores en cualquiera de los objetivos compatibles con ANTLR y, a partir de hoy, es totalmente compatible con el lenguaje Solidity.
Aquí hay otro enlace que apunta a la documentación de solidez:
http://solidity.readthedocs.io/en/develop/miscellaneous.html#language-grammar
También hay una gramática de xText, https://github.com/webdaford/smart-contract-tools/blob/master/workspace/com.dell.research.bc.eth.solidity.editor/src/com/dell/research /bc/eth/solidity/editor/Solidity.xtext que es bastante similar a BNF.
También hay una gramática basada en la gramática javascript .
ética