Module `Lang.Frontend`Source

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

Sourcemodule NameG : sig ... end

Sourcemodule T = Ast

module U = Mopsa_universal_parser.U_ast

module Float = Mopsa.ItvUtils.Float

module MS = Mopsa.MapExt.StringMap

Sourcetype var_context = (int * Mopsa.typ) MS.t

Sourcetype fun_context = T.fundec MS.t

Sourceval builtin_functions : Ast.fun_builtin list

Sourceval from_extent : U.extent -> Mopsa.Location.range

Sourcetype uvar = {

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

}

Sourcetype Mopsa.var_kind +=

| V_uvar of uvar

Sourceval from_var : string -> U.extent -> var_context -> Mopsa.var

Sourceval from_typ : Mopsa_universal_parser.U_ast.typ -> Mopsa.typ

Sourceval unify_typ : Mopsa.typ -> Mopsa.typ -> Mopsa.typ

Sourceval to_typ : Mopsa.typ -> Mopsa.expr -> Mopsa.expr

Sourceval from_binop : Mopsa.typ -> U.binary_op -> Mopsa.operator

Sourceval from_unop : Mopsa.typ -> U.unary_op -> Mopsa.operator

Source

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

Source

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

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

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

Source

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

Source

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

Sourceval var_ctx_of_function : var_context -> U.fundec -> (int * Mopsa.typ) MS.t

Source

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

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

Source

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

Sourceval add_body : fun_context -> string -> Mopsa.stmt -> unit

Sourceval from_prog : Mopsa_universal_parser.U_ast.prog -> Mopsa.prog_kind

Sourceval parse_program : string list -> Mopsa.program

Install

Dune Dependency

Authors

Maintainers

Sources

doc/lang/Lang/Frontend/index.html

Module `Lang.Frontend`Source

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

doc/lang/Lang/Frontend/index.html

Module Lang.FrontendSource

Module `Lang.Frontend`Source