Module `Solidity_exceptions`Source

1. Generic errors

Sourceexception InvariantBroken of string

Raised when an internal invariant is broken

Sourceexception SyntaxError of string * Solidity_common.pos

A syntax error

Sourceexception TypecheckError of string * Solidity_common.pos

An error occuring during the typecheck

2. Exceptions raised by the postprocessor

Source

exception ImmutableUpdatedOutsideConstructor of Solidity_common.Ident.t
  * Solidity_common.pos

Raised when an immutable is updated outside a construction call

Source

exception ImmutableUpdatedTwice of Solidity_common.Ident.t
  * Solidity_common.pos
  * Solidity_common.pos

Raised when an immutable is set twice

Source

exception ConstantUpdatedTwice of Solidity_common.Ident.t
  * Solidity_common.pos
  * Solidity_common.pos

Raised when a constant is set twice

Sourceexception ConstantUpdated of Solidity_common.Ident.t * Solidity_common.pos

Raised when a constant is updated

Sourceexception ReadImmutable of Solidity_common.Ident.t * Solidity_common.pos

Raised when an immutable is read during construction

Sourceexception UndefinedConstant of Solidity_common.Ident.t

Raised when a constant is left undefined after construction

Sourceexception UndefinedImmutable of Solidity_common.Ident.t

Raised when an immutable is left undefined

Sourceexception ConstantCycle of Solidity_common.Ident.t list

Raised when constants are recursively defined

Sourceexception ConstantRequiringComputation of Solidity_common.Ident.t

Raised when a constant is defined with a non trivial expression

Sourceexception CalldataModified of Solidity_common.Ident.t * Solidity_common.pos

Raised when a calldata is modified

Source

exception UninitializedReadLocal of Solidity_ast.storage_location
  * Solidity_common.Ident.t
  * Solidity_common.pos

Raised when a local is read without having been initialized

Sourceexception VariableAlreadyDefined of Solidity_common.Ident.t * Solidity_common.pos

Raised when there a variable name conflict

Sourceexception FunctionAlreadyDefined of Solidity_common.Ident.t * Solidity_common.pos

Raised when there a function name conflict

Source

exception ImmutableDefinedInInheritingContract of Solidity_common.Ident.t
  * Solidity_common.Ident.t * Solidity_common.pos

Raised when an immutable from an inherited contract is written

Source

exception OverridingNonVirtual of Solidity_common.Ident.t
  * Solidity_common.pos
  * Solidity_common.pos

Raised when a non virtual function is overridden

Sourceexception UnexpectedOverride of Solidity_common.Ident.t * Solidity_common.pos

Raised when trying to override a function that does not exist

Sourceexception ExpectedOverride of Solidity_common.Ident.t * Solidity_common.pos

Raised when trying to override a virtual function without the keyword 'override'

Source

exception WrongOverride of Solidity_common.Ident.t
  * Solidity_common.pos
  * string
  * string

Generic override error

Source

exception NoOverrideMultipleFunDefs of Solidity_common.IdentSet.t
  * Solidity_common.Ident.t
  * Solidity_common.Ident.t

Raised when there is a conflict between inherited virtual functions and nothing overrides them.

Source

exception PureFunctionReadsGlobal of Solidity_common.Ident.t
  * Solidity_common.Ident.t
  * Solidity_common.pos

Raised when a pure function reads a global

Source

exception ForbiddenGlobalWrite of Solidity_common.Ident.t
  * Solidity_common.Ident.t
  * Solidity_common.pos

Raised when a pure/view function writes a global

Source

exception ForbiddenCall of Solidity_common.Ident.t
  * Solidity_ast.fun_mutability
  * Solidity_common.Ident.t
  * Solidity_ast.fun_mutability
  * Solidity_common.pos

Raised when a function calls another one with a less permissive mutability

Sourceexception ForbiddenReadAccess of Solidity_common.pos

Raised when a read access is made in a pure function

Sourceexception ForbiddenWritState of Solidity_common.pos

Raised when the state is written in a pure/view function

Source

exception InconsistentVisibility of Solidity_common.Ident.t
  * string
  * Solidity_common.pos
  * Solidity_common.pos

Raised when there is a selector conflict between functions

Sourceexception MissingPlaceholderStatement of Solidity_common.Ident.t * Solidity_common.pos

Raised when there is no placeholder in a modifier

Sourceexception FileGlobalNotConstant of Solidity_common.Ident.t * Solidity_common.pos

Raised when a file global is not a constant

Sourceval invariant_broken : string -> 'a

Source

val type_error : 
  Solidity_common.pos ->
  ('a, Format.formatter, unit, unit, unit, 'b) format6 ->
  'a

package solidity-common

Module Solidity_exceptionsSource

Module `Solidity_exceptions`Source