Module Parameters


module Parameters: sig .. end
Kernel parameters and generic access to plug-in parameters.
Since Beryllium-20090601-beta1


Generic access to plug-in parameters


module Dynamic: sig .. end
Module to use for accessing parameters of plug-ins.

General purpose options


val check_range : string -> min:int -> max:int -> int -> unit
Deprecated.Beryllium-20090901
Since Beryllium-20090601-beta1
val get_selection_context : unit -> Project.Selection.t
Selection of all the parameters which define the context of analyses.

Installation Information


module PrintVersion: Plugin.BOOL 
Behavior of option "-version"
module PrintShare: Plugin.BOOL 
Behavior of option "-print-share-path"
module PrintLib: Plugin.BOOL 
Behavior of option "-print-lib-path"
module PrintPluginPath: Plugin.BOOL 
Behavior of option "-print-plugin-path"

Output Messages


module GeneralVerbose: Plugin.INT 
Behavior of option "-verbose"
module GeneralDebug: Plugin.INT 
Behavior of option "-debug"
module Quiet: Plugin.BOOL 
Behavior of option "-quiet"
module UseUnicode: Plugin.BOOL 
Behavior of option "-unicode"
module Time: Plugin.STRING 
Behavior of option "-time"

Input / Output Source Code


module PrintCode: Plugin.BOOL 
Behavior of option "-print"
module PrintComments: Plugin.BOOL 
Behavior of option "-keep-comments"
module CodeOutput: sig .. end
Behavior of option "-ocode"
module Obfuscate: Plugin.BOOL 
Behavior of option "-obfuscate"
module FloatDigits: Plugin.INT 
Behavior of option "-float-digits"
module FloatRelative: Plugin.BOOL 
Behavior of option "-float-relative"
module FloatHex: Plugin.BOOL 
Behavior of option "-float-hex"

Save/Load


module SaveState: Plugin.STRING 
Behavior of option "-save"
module LoadState: Plugin.STRING 
Behavior of option "-load"
module AddPath: Plugin.STRING_SET 
Behavior of option "-add-path"
module LoadModule: Plugin.STRING_SET 
Behavior of option "-load-module"
module LoadScript: Plugin.STRING_SET 
Behavior of option "-load-script"
module Dynlink: Plugin.BOOL 
Behavior of option "-dynlink"
module Journal: sig .. end
Parameters for journalization.

Customizing Normalization


module UnrollingLevel: Plugin.INT 
Behavior of option "-ulevel"
module Machdep: Plugin.STRING 
Behavior of option "-machdep".
module CppCommand: Plugin.STRING 
Behavior of option "-cpp-command"
module CppExtraArgs: Plugin.STRING_SET 
Behavior of option "-cpp-extra-args"
module ReadAnnot: Plugin.BOOL 
Behavior of option "-read-annot"
module PreprocessAnnot: Plugin.BOOL 
Behavior of option "-pp-annot"
module TypeCheck: Plugin.BOOL 
Behavior of option "-type-check"
module ContinueOnAnnotError: Plugin.BOOL 
Behavior of option "-continue-annot-error"
module SimplifyCfg: Plugin.BOOL 
Behavior of option "-simplify-cfg"
module KeepSwitch: Plugin.BOOL 
Behavior of option "-keep-switch"
module Constfold: Plugin.BOOL 
Behavior of option "-constfold"
module Files: sig .. end
Analyzed files

Analysis Behavior of options


module MainFunction: sig .. end
Behavior of option "-main"
module LibEntry: sig .. end
Behavior of option "-lib-entry"
module UnspecifiedAccess: Plugin.BOOL 
Behavior of option "-unspecified-access"
module Overflow: Plugin.BOOL 
Behavior of option "-overflow"
module SafeArrays: Plugin.BOOL 
Behavior of option "-safe-arrays"
module AbsoluteValidRange: Plugin.STRING 
Behavior of option "-absolute-valid-range"
module FloatFlushToZero: Plugin.BOOL 
Behavior of option "-float-flush-to-zero"