Module Lang.FrontendSource

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

Sourcemodule NameG : sig ... end
Sourcemodule T = Ast
module Float = Mopsa.ItvUtils.Float
Sourcetype var_context = (int * Mopsa.typ) MS.t
Sourcetype fun_context = T.fundec MS.t
Sourceval builtin_functions : Ast.fun_builtin list
Sourcetype uvar = {
  1. uvar_range : Mopsa.range;
  2. uvar_uid : int;
  3. uvar_orig_name : string;
  4. uvar_uniq_name : string;
}
Sourcetype Mopsa.var_kind +=
  1. | V_uvar of uvar
Sourceval from_var : string -> U.extent -> var_context -> Mopsa.var
Sourceval unify_typ : Mopsa.typ -> Mopsa.typ -> Mopsa.typ
Sourceval from_expr : U.expr -> U.extent -> var_context -> fun_context option -> Mopsa.expr
Sourceval 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
Sourceval var_ctx_of_declaration : Mopsa_universal_parser.U_ast.declaration U.ext list -> var_context -> (int * Mopsa.typ) MS.t * Mopsa.var list
Sourceval 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
Sourceval 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
Sourceval add_body : fun_context -> string -> Mopsa.stmt -> unit
Sourceval parse_program : string list -> Mopsa.program