Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package solidity-typechecker
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Solidity_postprocessSource
Checks that a typed solidity AST verifies the Solidity standard properties. The list of exceptions this function may raise is defined in Solidity_exceptions