Module `Passes.Preprocessor`Source

Preprocessor for expanding macros

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

Sourceval pp_token : Stdlib.Format.formatter -> Parsing.Parser.token -> unit

val pp_token_list : 
  Stdlib.Format.formatter ->
  Parsing.Parser.token list ->
  unit

Source

val stack : 
  (Mopsa_c_parser.Clang_AST.macro * Parsing.Parser.token list) Stdlib.Stack.t

Source

val pp_stack : 
  Stdlib.Format.formatter ->
  (Mopsa_c_parser.Clang_AST.macro * Parsing.Parser.token list) Stdlib.Stack.t ->
  unit

Source

val inside_macro : 
  Mopsa_c_parser.Clang_AST.macro ->
  (Mopsa_c_parser.Clang_AST.macro * 'a) Stdlib.Stack.t ->
  bool

Source

val next_token : 
  ?ret2caller:bool ->
  ('a -> Parsing.Parser.token) ->
  'a ->
  Parsing.Parser.token

Source

val tokenize_string : 
  (Stdlib.Lexing.lexbuf -> Parsing.Parser.token) ->
  string ->
  Parsing.Parser.token list

Source

val tokenize_arguments : 
  Mopsa_c_parser.Clang_AST.macro ->
  ('a -> Parsing.Parser.token) ->
  'a ->
  Parsing.Parser.token list Mopsa_c_parser.C_AST.StringMap.t

Sourceval add_parenthesis : Parsing.Parser.token list -> Parsing.Parser.token list

Source

val tokeninze_macro : 
  Mopsa_c_parser.Clang_AST.macro ->
  Parsing.Parser.token list Mopsa_c_parser.C_AST.StringMap.t ->
  (Stdlib.Lexing.lexbuf -> Parsing.Parser.token) ->
  Parsing.Parser.token list

Sourceexception AliasFound of string

Sourceval parse_directive : ('a -> Parsing.Parser.token) -> 'a -> 'b

Sourcetype predicate = {

pred_name : string;
pred_params : string list;
pred_body : Parsing.Parser.token list;

}

Sourceval parse_predicate : ('a -> Parsing.Parser.token) -> 'a -> predicate option

Sourceval parse_predicates : ('a -> Parsing.Parser.token) -> 'a -> predicate list

Sourceval predicate_to_macro : predicate -> Mopsa_c_parser.Clang_AST.macro

Source

val read : 
  predicate Mopsa_c_parser.C_AST.StringMap.t ->
  Mopsa_c_parser.Clang_AST.macro Mopsa_c_parser.C_AST.StringMap.t ->
  Z.t Mopsa_c_parser.C_AST.StringMap.t ->
  (Stdlib.Lexing.lexbuf -> Parsing.Parser.token) ->
  Stdlib.Lexing.lexbuf ->
  Parsing.Parser.token

Install

Dune Dependency

Authors

Maintainers

Sources

doc/passes/Passes/Preprocessor/index.html

Module `Passes.Preprocessor`Source

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

doc/passes/Passes/Preprocessor/index.html

Module Passes.PreprocessorSource

Module `Passes.Preprocessor`Source