Module `Lang.Frontend`

Universal frontend translates the parser's AST into Framework's AST.

module NameG : sig ... end

module T = Ast

module U = Mopsa_universal_parser.U_ast

module Float = Mopsa_analyzer.MopsaLib.ItvUtils.Float

module MS = Mopsa_utils.Containers.MapExt.StringMap

type var_context = (int * MopsaLib.typ) MS.t

type fun_context = T.fundec MS.t

val builtin_functions : Ast.fun_builtin list

val from_extent : U.extent -> Mopsa_utils.Core.Location.range

type uvar = {

uvar_range : MopsaLib.range;
uvar_uid : int;
uvar_orig_name : string;
uvar_uniq_name : string;

}

type MopsaLib.var_kind +=

| V_uvar of uvar

val from_var : string -> U.extent -> var_context -> MopsaLib.var

val from_typ : Mopsa_universal_parser.U_ast.typ -> MopsaLib.typ

val unify_typ : MopsaLib.typ -> MopsaLib.typ -> MopsaLib.typ

val to_typ : MopsaLib.typ -> MopsaLib.expr -> MopsaLib.expr

val from_binop : MopsaLib.typ -> U.binary_op -> MopsaLib.operator

val from_unop : MopsaLib.typ -> U.unary_op -> MopsaLib.operator

val from_expr : 
  U.expr ->
  U.extent ->
  var_context ->
  fun_context option ->
  MopsaLib.expr

val from_stmt : 
  U.stat ->
  U.extent ->
  var_context ->
  fun_context option ->
  MopsaLib.stmt

val check_declaration_list : U.declaration U.ext list -> unit

val aux : U.declaration U.ext -> U.declaration U.ext list -> unit

val var_ctx_of_declaration : 
  Mopsa_universal_parser.U_ast.declaration U.ext list ->
  var_context ->
  (int * MopsaLib.typ) MS.t * MopsaLib.var list

val var_ctx_init_of_declaration : 
  Mopsa_universal_parser.U_ast.declaration U.ext list ->
  var_context ->
  fun_context option ->
  (int * MopsaLib.typ) MS.t option ->
  (int * MopsaLib.typ) MS.t * MopsaLib.stmt list * MopsaLib.var list

val var_ctx_of_function : var_context -> U.fundec -> (int * MopsaLib.typ) MS.t

val var_init_of_function : 
  var_context ->
  (int * MopsaLib.typ) MS.t MS.t ->
  fun_context ->
  U.fundec ->
  (int * MopsaLib.typ) MS.t * MopsaLib.stmt list

val from_fundec : U.fundec -> var_context -> T.fundec

val fun_ctx_of_global : 
  Mopsa_universal_parser.U_ast.fundec U.ext list ->
  var_context ->
  T.fundec MS.t * (int * MopsaLib.typ) MS.t MS.t

val add_body : fun_context -> string -> MopsaLib.stmt -> unit

val from_prog : Mopsa_universal_parser.U_ast.prog -> MopsaLib.prog_kind

val parse_program : string list -> MopsaLib.program

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/mopsa.mopsa_analyzer/Mopsa_analyzer/Languages/Universal/Lang/Frontend/index.html

Module `Lang.Frontend`

package mopsa

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/mopsa.mopsa_analyzer/Mopsa_analyzer/Languages/Universal/Lang/Frontend/index.html

Module Lang.Frontend

dune-project
Dependency

Module `Lang.Frontend`