Module ClangFrontend.CLocation

Module for function to retrieve the location (file, line, etc) of instructions

val should_translate_lib : IBase.SourceFile.t -> ATDGenerated.Clang_ast_t.source_range -> CFrontend_config.decl_trans_context -> translate_when_used:bool -> bool
val is_file_block_listed : string -> bool
val location_of_source_range : ?pick_location:[ `Start | `End ] -> IBase.SourceFile.t -> ATDGenerated.Clang_ast_t.source_range -> IBase.Location.t

picks the start of the source range by default