Module `Mopsa_c_stubs_parser.Main`Source

Main entry point of the stub parser

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

Sourceval starts_with : string -> string -> bool

Sourceval is_stub_comment : (Mopsa_c_parser.Clang_AST.comment * 'a) -> bool

Sourceval is_predicates_comment : (Mopsa_c_parser.Clang_AST.comment * 'a) -> bool

Sourceval is_directive_comment : (Mopsa_c_parser.Clang_AST.comment * 'a) -> bool

Sourceexception StubNotFound

val parse_cst : 
  Mopsa_c_parser.C_AST.func ->
  ?selector:
    ((Mopsa_c_parser.Clang_AST.comment
      * Mopsa_c_parser.C_AST.macro Mopsa_c_parser.C_AST.StringMap.t) ->
      bool) ->
  Mopsa_c_parser.C_AST.project ->
  Z.t Mopsa_c_parser.C_AST.StringMap.t ->
  Passes.Preprocessor.predicate Mopsa_c_parser.C_AST.StringMap.t ->
  (string, Parsing.Cst.stub) Hashtbl.t ->
  Parsing.Cst.stub

Source

val parse_function_comment : 
  Mopsa_c_parser.C_AST.func ->
  ?selector:
    ((Mopsa_c_parser.Clang_AST.comment
      * Mopsa_c_parser.C_AST.macro Mopsa_c_parser.C_AST.StringMap.t) ->
      bool) ->
  Mopsa_c_parser.C_AST.project ->
  Z.t Mopsa_c_parser.C_AST.StringMap.t ->
  Passes.Preprocessor.predicate Mopsa_c_parser.C_AST.StringMap.t ->
  (string, Parsing.Cst.stub) Hashtbl.t ->
  Parsing.Ast.stub

Parse the stub specification from comments of a function

Source

val parse_directive_comment : 
  (Mopsa_c_parser.Clang_AST.comment
   * Mopsa_c_parser.C_AST.macro Mopsa_c_parser.C_AST.StringMap.t)
    list ->
  Mopsa_c_parser.Clang_AST.range ->
  Mopsa_c_parser.C_AST.project ->
  Z.t Mopsa_c_parser.C_AST.StringMap.t ->
  Passes.Preprocessor.predicate Mopsa_c_parser.C_AST.StringMap.t ->
  (string, Parsing.Cst.stub) Hashtbl.t ->
  Parsing.Ast.stub

Parse comment of a stub directive

Source

val parse_predicates_comment : 
  (Mopsa_c_parser.Clang_AST.comment
   * Mopsa_c_parser.Clang_AST.macro Mopsa_c_parser.C_AST.StringMap.t)
    list ->
  Passes.Preprocessor.predicate list

Parse a comment of predicates declarations

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/mopsa.c_stubs_parser/Mopsa_c_stubs_parser/Main/index.html

Module `Mopsa_c_stubs_parser.Main`Source

package mopsa

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/mopsa.c_stubs_parser/Mopsa_c_stubs_parser/Main/index.html

Module Mopsa_c_stubs_parser.MainSource

dune-project
Dependency

Module `Mopsa_c_stubs_parser.Main`Source