solidity-common 0.2.0 · OCaml Package

1. Generic errors

exception InvariantBroken of string

Raised when an internal invariant is broken

exception SyntaxError of string * Solidity_common.pos

A syntax error

exception TypecheckError of string * Solidity_common.pos

An error occuring during the typecheck

2. Exceptions raised by the postprocessor

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

Raised when an immutable is updated outside a construction call

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

Raised when an immutable is set twice

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

Raised when a constant is set twice

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

Raised when a constant is updated

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

Raised when an immutable is read during construction

exception UndefinedConstant of Solidity_common.Ident.t

Raised when a constant is left undefined after construction

exception UndefinedImmutable of Solidity_common.Ident.t

Raised when an immutable is left undefined

exception ConstantCycle of Solidity_common.Ident.t list

Raised when constants are recursively defined

exception ConstantRequiringComputation of Solidity_common.Ident.t

Raised when a constant is defined with a non trivial expression

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

Raised when a calldata is modified

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

Raised when a local is read without having been initialized

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

Raised when there a variable name conflict

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

Raised when there a function name conflict

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

Raised when an immutable from an inherited contract is written

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

Raised when a non virtual function is overridden

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

Raised when trying to override a function that does not exist

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

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

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

Generic override error

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.

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

Raised when a pure function reads a global

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

Raised when a pure/view function writes a global

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

exception ForbiddenReadAccess of Solidity_common.pos

Raised when a read access is made in a pure function

exception ForbiddenWritState of Solidity_common.pos

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

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

Raised when there is a selector conflict between functions

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

Raised when there is no placeholder in a modifier

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

Raised when a file global is not a constant

val invariant_broken : string -> 'a

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

package solidity-common