Module Asllib.StaticEnvSource

Static Environment used for type-checking (cf Typing.

Sourcetype global = {
  1. declared_types : AST.ty ASTUtils.IMap.t;
    (*

    Maps a type name t to its declaration.

    *)
  2. constant_values : AST.literal ASTUtils.IMap.t;
    (*

    Maps a global constant name to its value.

    *)
  3. storage_types : (AST.ty * AST.global_decl_keyword) ASTUtils.IMap.t;
    (*

    Maps global declared storage elements to their types.

    *)
  4. subtypes : AST.identifier ASTUtils.IMap.t;
    (*

    Maps an identifier s to its parent in the subtype relation.

    *)
  5. subprograms : AST.func ASTUtils.IMap.t;
    (*

    Maps each subprogram runtime name to its signature.

    *)
  6. subprogram_renamings : ASTUtils.ISet.t ASTUtils.IMap.t;
    (*

    Maps each subprogram declared name to the equivalence class of all the subprogram runtime names that were declared with this name.

    *)
}

Store all the global environment information at compile-time.

Sourcetype local = {
  1. constant_values : AST.literal ASTUtils.IMap.t;
    (*

    Maps a local constant to its value.

    *)
  2. storage_types : (AST.ty * AST.local_decl_keyword) ASTUtils.IMap.t;
    (*

    Maps an locally declared names to their type.

    *)
  3. return_type : AST.ty option;
    (*

    Local return type, None for procedures, global constants, or setters.

    *)
}

Store all the local environment information at compile-time.

Sourcetype env = {
  1. global : global;
  2. local : local;
}

The static environment type.

Sourceval pp_env : Format.formatter -> env -> unit
Sourceval pp_global : Format.formatter -> global -> unit
Sourceval empty_global : global
Sourceval empty_local : local
Sourceval empty_local_return_type : AST.ty option -> local
Sourceval empty : env
Sourceval lookup_constants : env -> AST.identifier -> AST.literal
Sourceval type_of : env -> AST.identifier -> AST.ty
Sourceval type_of_opt : env -> AST.identifier -> AST.ty option
Sourceval mem_constants : env -> AST.identifier -> bool
Sourceval add_subprogram : AST.identifier -> AST.func -> env -> env
Sourceval set_renamings : AST.identifier -> ASTUtils.ISet.t -> env -> env
Sourceval add_global_storage : AST.identifier -> AST.ty -> AST.global_decl_keyword -> env -> env
Sourceval add_type : AST.identifier -> AST.ty -> env -> env
Sourceval add_global_constant : AST.identifier -> AST.literal -> env -> env
Sourceval add_local_constant : AST.identifier -> AST.literal -> env -> env
Sourceval add_subtype : AST.identifier -> AST.identifier -> env -> env
Sourceval is_undefined : AST.identifier -> env -> bool