package pfff

You can search for identifiers within the package.

in-package search v0.2.0

Tools and APIs for program analysis, code visualization, refactoring

Install

Dune Dependency

github.com Edit opam file Versions (8)

Authors

Y

Yoann Padioleau <yoann.padioleau@gmail.com>

Maintainers

Y

yoann.padioleau@gmail.com

Sources

0.39.4.tar.gz

md5=9aabf597b6de59ced5a3ecfadb1c9a13

sha512=8f4762840b8de0a76a8cbd972e6a4babd7b17e3830b65b5eaff017711bd247f88a29d04d64b6bd31fa3610d5e045bb48ddaaf58b279fcac19a1c53590f0b411e

doc/pfff-h_program-lang/Error_code/index.html

Module `Error_code`

type error = {

typ : error_kind;
loc : Parse_info.token_location;
sev : severity;

}

and severity =

| Error
| Warning

and error_kind =

| LexicalError of string
| ParseError
| AstbuilderError of string
| OtherParsingError of string
| Deadcode of entity
| UndefinedDefOfDecl of entity
| UnusedExport of entity * Common.filename
| UnusedVariable of string * Scope_code.t
| UnreachableStatement of string
| CFGError of string
| SgrepLint of string * string
| FatalError of string

and entity = string * Entity_code.entity_kind

type annotation =

| AtScheck of string

val g_errors : error list ref

val error : Parse_info.t -> error_kind -> unit

val warning : Parse_info.t -> error_kind -> unit

val error_loc : Parse_info.token_location -> error_kind -> unit

val warning_loc : Parse_info.token_location -> error_kind -> unit

val string_of_error : error -> string

val string_of_error_kind : error_kind -> string

type rank =

| Never
| OnlyStrict
| Less
| Ok
| Important
| ReallyImportant

val score_of_rank : rank -> int

val rank_of_error : error -> rank

val score_of_error : error -> int

val annotation_at : Parse_info.token_location -> annotation option

val options : unit -> Common.cmdline_options

val report_parse_errors : bool ref

val report_fatal_errors : bool ref

val filter_maybe_parse_and_fatal_errors : error list -> error list

val adjust_paths_relative_to_root : Common.path -> error list -> error list

val try_analyze_file_with_exn_to_errors : 
  Common.filename ->
  (unit -> unit) ->
  unit

type identifier_index = (string, Parse_info.token_location) Hashtbl.t

val adjust_errors : error list -> error list

val expected_error_lines_of_files : 
  Common.filename list ->
  (Common.filename * int) list

val compare_actual_to_expected : 
  error list ->
  (Common.filename * int) list ->
  unit