Frontend (p.mopsa.1.2.doc.mopsa.mopsa_analyzer.Mopsa_analyzer.Languages.Python.Common.Frontend)

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

val opt_gc_after_functioncall : bool ref

val opt_gc_percent_calls : int ref

val gc_call : int ref

val opt_check_type_annot : bool ref

val debug : ('a, Format.formatter, unit, unit) format4 -> 'a

val parse_program : string list -> MopsaLib.program

Entry point of the frontend

val from_var : Mopsa_py_parser.Ast.var -> MopsaLib.var

Create a Universal.var variable from Mopsa_py_parser.Ast.var

val from_stmt : Mopsa_py_parser.Ast.stmt -> MopsaLib.stmt

Translation of a Python statement

val from_stmt_option : 
  Mopsa_utils.Core.Location.range ->
  Mopsa_py_parser.Ast.stmt option ->
  MopsaLib.stmt

Translate an optional statement into en eventual empty one

val from_exp_option : Mopsa_py_parser.Ast.expr option -> MopsaLib.expr option

val from_exp : Mopsa_py_parser.Ast.expr -> Framework.Core.Ast.Expr.expr

Translation of expressions

val from_binop : Mopsa_py_parser.Ast.binop -> MopsaLib.operator

val from_arithmetic_op : Mopsa_py_parser.Cst.binop -> MopsaLib.operator

val from_bool_op : Mopsa_py_parser.Cst.boolop -> MopsaLib.operator

val from_comparison_op : Mopsa_py_parser.Cst.cmpop -> MopsaLib.operator

val from_unop : 
  Mopsa_py_parser.Cst.unop ->
  Framework.Core.Ast.Operator.operator

val free_vars : 
  Framework.Core.Ast.Var.var list ->
  Framework.Core.Ast.Var.var list ->
  MopsaLib.stmt ->
  MopsaLib.var list * MopsaLib.stmt

val cell_vars : MopsaLib.stmt -> Framework.Core.Ast.Stmt.stmt