Main (p.mopsa.1.2.doc.mopsa.c_stubs_parser.Mopsa_c_stubs

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