You've already forked libadalang
mirror of
https://github.com/AdaCore/libadalang.git
synced 2026-02-12 12:28:54 -08:00
83 lines
1.7 KiB
OCaml
83 lines
1.7 KiB
OCaml
## vim: filetype=ocaml
|
|
|
|
module TargetInformation : sig
|
|
type t
|
|
|
|
${ocaml_doc("libadalang.target_info_load", 2)}
|
|
val load : string -> t
|
|
|
|
${ocaml_doc("libadalang.target_info_set", 2)}
|
|
val set : AnalysisContext.t -> t -> unit
|
|
end
|
|
|
|
module GPROptions : sig
|
|
type t
|
|
|
|
type gpr_option =
|
|
| AP
|
|
| Autoconf
|
|
| Config
|
|
| Db
|
|
| DbMinus
|
|
| ImplicitWith
|
|
| ResolveLinks
|
|
| NoProject
|
|
| P
|
|
| PrintGPRRegistry
|
|
| RelocateBuildTree
|
|
| RootDir
|
|
| RTS
|
|
| SrcSubdirs
|
|
| Subdirs
|
|
| Target
|
|
| X
|
|
|
|
val create : unit -> t
|
|
val add_switch :
|
|
gpr_option
|
|
-> ?param:string
|
|
-> ?index:string
|
|
-> ?override:bool
|
|
-> t
|
|
-> unit
|
|
|
|
val quick_create :
|
|
?scenario_vars:(string * string) list
|
|
-> ?target:string
|
|
-> ?runtime:string
|
|
-> string
|
|
-> t
|
|
end
|
|
|
|
module GPRProject : sig
|
|
type t
|
|
|
|
type source_file_mode =
|
|
| Default
|
|
(** sources in the root project and its non-externally built
|
|
dependencies *)
|
|
| RootProject
|
|
(** sources in the root project only *)
|
|
| WholeProject
|
|
(** ``whole_project``: sources in the whole project tree (i.e. including
|
|
externally built dependencies) *)
|
|
| WholeProjectWithRuntime
|
|
(** sources in the whole project tree plus runtime sources *)
|
|
|
|
val load : ?ada_only:bool -> GPROptions.t -> t
|
|
|
|
val source_files : ?mode:source_file_mode -> t -> string list
|
|
|
|
type line_mode =
|
|
| DeleteLines
|
|
| BlankLines
|
|
| CommentLines
|
|
| EmptyCommentLines
|
|
|
|
val create_preprocessor : ?project:string -> ?line_mode:line_mode -> t -> FileReader.t
|
|
|
|
val create_unit_provider : ?project:string -> t -> UnitProvider.t
|
|
|
|
val create_analysis_context : ?with_trivia:bool -> ?tab_stop:int -> ?project:string -> t -> AnalysisContext.t
|
|
end
|