Module `Passes.Cst_to_ast`Source

Translate a CST into a AST by resolving types, variables and functions defined in the project.

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

Generic visitors

********************

Sourceval visit_list : ('a -> 'b -> 'c -> 'd) -> 'a list -> 'b -> 'c -> 'd list

val visit_list_ext : 
  ('a -> 'b -> 'c -> 'd * 'e list * 'f list) ->
  'a list ->
  'b ->
  'c ->
  'd list * 'e list * 'f list

Sourceval visit_option : ('a -> 'b -> 'c -> 'd) -> 'a option -> 'b -> 'c -> 'd option

Source

val visit_pair : 
  ('a -> 'b -> 'c -> 'd) ->
  ('e -> 'b -> 'c -> 'f) ->
  ('a * 'e) ->
  'b ->
  'c ->
  'd * 'f

Types

*********

Source

val find_record : 
  Parsing.Cst.var ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.record_type

Source

val find_typedef : 
  Parsing.Cst.var ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.typedef

Source

val find_enum : 
  Parsing.Cst.var ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.enum_type

Source

val find_function : 
  Parsing.Cst.var Mopsa_utils.Core.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func Mopsa_utils.Core.Location.with_range

Source

val unroll_type : 
  Mopsa_c_parser.C_AST.type_qual ->
  Mopsa_c_parser.C_AST.type_qual

Sourceval visit_qual : Parsing.Cst.c_qual -> Mopsa_c_parser.C_AST.qualifier

Source

val visit_qual_typ : 
  Parsing.Cst.c_qual_typ ->
  Mopsa_c_parser.C_AST.project ->
  'a ->
  Mopsa_c_parser.C_AST.type_qual

Source

val visit_typ : 
  Parsing.Cst.c_typ ->
  Mopsa_c_parser.C_AST.project ->
  'a ->
  Mopsa_c_parser.C_AST.typ

Source

val visit_array_length : 
  Parsing.Cst.array_length ->
  Mopsa_c_parser.C_AST.project ->
  'a ->
  Mopsa_c_parser.C_AST.array_length

Sourceval int_type : Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Sourceval bool_type : Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Sourceval float_type : Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Sourceval double_type : Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Sourceval long_type : Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Source

val unsigned_long_type : 
  Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Sourceval long_long_type : Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Source

val unsigned_long_long_type : 
  Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Source

val string_type : 
  string ->
  Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Sourceval char_type : Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Source

val pointer_type : 
  Mopsa_c_parser.C_AST.type_qual ->
  Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Sourceval void_type : Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Sourceval is_int_typ : Mopsa_c_parser.C_AST.type_qual -> bool

Sourceval is_float_typ : Mopsa_c_parser.C_AST.type_qual -> bool

Sourceval is_pointer_typ : Mopsa_c_parser.C_AST.type_qual -> bool

Sourceval is_array_typ : Mopsa_c_parser.C_AST.type_qual -> bool

Source

val pointed_type : 
  Mopsa_utils.Core.Location.range ->
  Mopsa_c_parser.C_AST.type_qual ->
  Mopsa_c_parser.C_AST.type_qual

Sourceval is_record_typ : Mopsa_c_parser.C_AST.type_qual -> bool

Source

val subscript_type : 
  Mopsa_utils.Core.Location.range ->
  Mopsa_c_parser.C_AST.type_qual ->
  Mopsa_c_parser.C_AST.type_qual

Source

val attribute_type : 
  'a ->
  'b ->
  Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Source

val builtin_type : 
  Parsing.Cst.builtin ->
  Parsing.Ast.expr Mopsa_utils.Core.Location.with_range list ->
  Mopsa_c_parser.C_AST.type_qual

Records

***********

Source

val find_field : 
  Mopsa_utils.Core.Location.range ->
  Mopsa_c_parser.C_AST.type_qual ->
  string ->
  Mopsa_c_parser.C_AST.record_field

Source

val find_field_check : 
  Mopsa_c_parser.C_AST.type_qual ->
  string ->
  Mopsa_utils.Core.Location.range ->
  Mopsa_c_parser.C_AST.record_field

Expressions

***************

Source

val visit_var : 
  Parsing.Cst.var ->
  Mopsa_utils.Core.Location.range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Mopsa_c_parser.C_AST.variable

Sourceval int_rank : Mopsa_c_parser.C_AST.integer_type -> int

Sourceval int_sign : Mopsa_c_parser.C_AST.integer_type -> bool

Source

val make_unsigned : 
  Mopsa_c_parser.C_AST.integer_type ->
  Mopsa_c_parser.C_AST.integer_type

Sourceval rank_float : Mopsa_c_parser.C_AST.float_type -> int

Sourceval is_int_binop : Parsing.Cst.binop -> bool

Source

val binop_type : 
  Mopsa_utils.Core.Location.range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.type_qual ->
  Mopsa_c_parser.C_AST.type_qual ->
  Mopsa_c_parser.C_AST.type_qual

Source

val integer_promotion : 
  Mopsa_c_parser.C_AST.project ->
  Parsing.Ast.expr Mopsa_utils.Core.Location.with_range ->
  Parsing.Ast.expr Mopsa_utils.Core.Location.with_range

Source

val promote_expression_type : 
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.type_qual ->
  Parsing.Ast.expr Mopsa_utils.Core.Location.with_range ->
  Parsing.Ast.expr Mopsa_utils.Core.Location.with_range

Source

val visit_expr : 
  Parsing.Cst.expr Mopsa_utils.Core.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.expr Mopsa_utils.Core.Location.with_range

Formulas

************

Source

val visit_interval : 
  Parsing.Cst.interval ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.interval

Source

val visit_set : 
  Parsing.Cst.set ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.set

Source

val visit_formula : 
  Parsing.Cst.formula Mopsa_utils.Core.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.formula Mopsa_utils.Core.Location.with_range

Stub sections

****************

Source

val visit_requires : 
  Parsing.Cst.formula Mopsa_utils.Core.Location.with_range
    Mopsa_utils.Core.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.formula Mopsa_utils.Core.Location.with_range
    Mopsa_utils.Core.Location.with_range

Source

val visit_assumes : 
  Parsing.Cst.formula Mopsa_utils.Core.Location.with_range
    Mopsa_utils.Core.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.formula Mopsa_utils.Core.Location.with_range
    Mopsa_utils.Core.Location.with_range

Source

val visit_assigns : 
  Parsing.Cst.assigns Mopsa_utils.Core.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.assigns Mopsa_utils.Core.Location.with_range

Source

val visit_ensures : 
  Parsing.Cst.formula Mopsa_utils.Core.Location.with_range
    Mopsa_utils.Core.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.formula Mopsa_utils.Core.Location.with_range
    Mopsa_utils.Core.Location.with_range

Source

val visit_free : 
  Parsing.Cst.expr Mopsa_utils.Core.Location.with_range
    Mopsa_utils.Core.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.expr Mopsa_utils.Core.Location.with_range
    Mopsa_utils.Core.Location.with_range

Source

val visit_local : 
  Parsing.Cst.local Mopsa_utils.Core.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.local Mopsa_utils.Core.Location.with_range

Source

val visit_message : 
  Parsing.Cst.message Mopsa_utils.Core.Location.with_range ->
  'a ->
  'b ->
  Parsing.Ast.message Mopsa_utils.Core.Location.with_range

Source

val visit_leaf : 
  Parsing.Cst.leaf ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.leaf
  * Parsing.Ast.local Mopsa_utils.Core.Location.with_range list
  * Parsing.Ast.assigns Mopsa_utils.Core.Location.with_range list

Source

val visit_case : 
  Parsing.Cst.case Mopsa_utils.Core.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.case
  * Parsing.Ast.assigns Mopsa_utils.Core.Location.with_range list

Source

val visit_section : 
  Parsing.Cst.section ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.section
  * Parsing.Ast.local Mopsa_utils.Core.Location.with_range list
  * Parsing.Ast.assigns Mopsa_utils.Core.Location.with_range list

Entry point

***************

Source

val doit : 
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Cst.stub ->
  Parsing.Ast.stub

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/passes/Passes/Cst_to_ast/index.html

Module `Passes.Cst_to_ast`Source

Generic visitors

Types

Records

Expressions

Formulas

Stub sections

Entry point

package mopsa

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/passes/Passes/Cst_to_ast/index.html

Module Passes.Cst_to_astSource

Generic visitors

Types

Records

Expressions

Formulas

Stub sections

Entry point

dune-project
Dependency

Module `Passes.Cst_to_ast`Source