frama-clang 0.0.15 (latest)

type tree

val make_tree : Stdlib.in_channel -> tree

val print_tree : Stdlib.Format.formatter -> tree -> unit

exception Parse_error of string

val parse_ikind : tree -> Intermediate_format.ikind

val parse_fkind : tree -> Intermediate_format.fkind

val parse_ickind : tree -> Intermediate_format.ickind

val parse_tcckind : tree -> Intermediate_format.tcckind

val parse_compilation_constant : 
  tree ->
  Intermediate_format.compilation_constant

val parse_template_parameter : tree -> Intermediate_format.template_parameter

val parse_qualification : tree -> Intermediate_format.qualification

val parse_qualified_name : tree -> Intermediate_format.qualified_name

val parse_ekind : tree -> Intermediate_format.ekind

val parse_funkind : tree -> Intermediate_format.funkind

val parse_signature : tree -> Intermediate_format.signature

val parse_pkind : tree -> Intermediate_format.pkind

val parse_akind : tree -> Intermediate_format.akind

val parse_ckind : tree -> Intermediate_format.ckind

val parse_tkind : tree -> Intermediate_format.tkind

val parse_vkind : tree -> Intermediate_format.vkind

val parse_typ : tree -> Intermediate_format.typ

val parse_specifier : tree -> Intermediate_format.specifier

val parse_qual_type : tree -> Intermediate_format.qual_type

val parse_arg_decl : tree -> Intermediate_format.arg_decl

val parse_expression : tree -> Intermediate_format.expression

val parse_variable : tree -> Intermediate_format.variable

val parse_uokind : tree -> Intermediate_format.uokind

val parse_bokind : tree -> Intermediate_format.bokind

val parse_assign_kind : tree -> Intermediate_format.assign_kind

val parse_reference_or_pointer_kind : 
  tree ->
  Intermediate_format.reference_or_pointer_kind

val parse_lambda_overload_instance : 
  tree ->
  Intermediate_format.lambda_overload_instance

val parse_exp_node : tree -> Intermediate_format.exp_node

val parse_capture : tree -> Intermediate_format.capture

val parse_case_statement : tree -> Intermediate_format.case_statement

val parse_init_expr : tree -> Intermediate_format.init_expr

val parse_cond_statement : tree -> Intermediate_format.cond_statement

val parse_init_declarator : tree -> Intermediate_format.init_declarator

val parse_init_statement : tree -> Intermediate_format.init_statement

val parse_incr_statement : tree -> Intermediate_format.incr_statement

val parse_catch_block : tree -> Intermediate_format.catch_block

val parse_statement : tree -> Intermediate_format.statement

val parse_asm_details : tree -> Intermediate_format.asm_details

val parse_asm_IO : tree -> Intermediate_format.asm_IO

val parse_access_kind : tree -> Intermediate_format.access_kind

val parse_inheritance : tree -> Intermediate_format.inheritance

val parse_class_decl : tree -> Intermediate_format.class_decl

val parse_decl_or_impl_name : tree -> Intermediate_format.decl_or_impl_name

val parse_translation_unit_decl : 
  tree ->
  Intermediate_format.translation_unit_decl

val parse_file : tree -> Intermediate_format.file

val parse_logic_constant : tree -> Intermediate_format.logic_constant

val parse_logic_type : tree -> Intermediate_format.logic_type

val parse_logic_label : tree -> Intermediate_format.logic_label

val parse_term : tree -> Intermediate_format.term

val parse_logic_label_pair : tree -> Intermediate_format.logic_label_pair

val parse_term_node : tree -> Intermediate_format.term_node

val parse_term_lval : tree -> Intermediate_format.term_lval

val parse_term_lhost : tree -> Intermediate_format.term_lhost

val parse_model_info : tree -> Intermediate_format.model_info

val parse_term_offset : tree -> Intermediate_format.term_offset

val parse_logic_arg_decl : tree -> Intermediate_format.logic_arg_decl

val parse_logic_info : tree -> Intermediate_format.logic_info

val parse_inductive_definition : 
  tree ->
  Intermediate_format.inductive_definition

val parse_logic_body : tree -> Intermediate_format.logic_body

val parse_logic_type_info : tree -> Intermediate_format.logic_type_info

val parse_logic_type_def : tree -> Intermediate_format.logic_type_def

val parse_logic_var_kind : tree -> Intermediate_format.logic_var_kind

val parse_logic_var_def : tree -> Intermediate_format.logic_var_def

val parse_logic_var : tree -> Intermediate_format.logic_var

val parse_logic_ctor_info : tree -> Intermediate_format.logic_ctor_info

val parse_relation : tree -> Intermediate_format.relation

val parse_predicate : tree -> Intermediate_format.predicate

val parse_variant : tree -> Intermediate_format.variant

val parse_allocation : tree -> Intermediate_format.allocation

val parse_deps : tree -> Intermediate_format.deps

val parse_from : tree -> Intermediate_format.from

val parse_assigns : tree -> Intermediate_format.assigns

val parse_function_contract : tree -> Intermediate_format.function_contract

val parse_behavior : tree -> Intermediate_format.behavior

val parse_termination_kind : tree -> Intermediate_format.termination_kind

val parse_loop_pragma : tree -> Intermediate_format.loop_pragma

val parse_slice_pragma : tree -> Intermediate_format.slice_pragma

val parse_impact_pragma : tree -> Intermediate_format.impact_pragma

val parse_pragma : tree -> Intermediate_format.pragma

val parse_predicate_named : tree -> Intermediate_format.predicate_named

val parse_post_condition : tree -> Intermediate_format.post_condition

val parse_behavior_extensions : tree -> Intermediate_format.behavior_extensions

val parse_set_of_behaviors : tree -> Intermediate_format.set_of_behaviors

val parse_invariant_kind : tree -> Intermediate_format.invariant_kind

val parse_code_annotation : tree -> Intermediate_format.code_annotation

val parse_global_annotation : tree -> Intermediate_format.global_annotation

package frama-clang