package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
inherit Frama_c_kernel.Cabsvisit.nopCabsVisitor
val decls : (string, unit SemanticLocs.t) Hashtbl.t
method get_decls : (string, unit SemanticLocs.t) Hashtbl.t
method private get_single_name : ('b * ('c * 'd * 'e * 'f)) -> 'g
method private get_name : ('h * 'i * 'j * 'k) -> 'l
method private add_loc : (string, unit SemanticLocs.t) Hashtbl.t -> string -> SemanticLocs.key -> unit