package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module 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

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

Translation of a Python statement

Translate an optional statement into en eventual empty one

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

Translation of expressions

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