aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer.hrl
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2012-08-21 10:17:26 +0200
committerHans Bolinder <[email protected]>2012-08-21 10:17:26 +0200
commitffb066c7523f05fee3d26d8a148ffd3a10d966ff (patch)
treee886656288a583eee6c1d628f5ed74e7f2511128 /lib/dialyzer/src/dialyzer.hrl
parenta8fb0d0537314f717f9ab33989a5115457c9aab0 (diff)
parent5c840fae80ece293a5a3fc2fc2698771d7d9d200 (diff)
downloadotp-ffb066c7523f05fee3d26d8a148ffd3a10d966ff.tar.gz
otp-ffb066c7523f05fee3d26d8a148ffd3a10d966ff.tar.bz2
otp-ffb066c7523f05fee3d26d8a148ffd3a10d966ff.zip
Merge branch 'maint'
* maint: Add an undocumented option [--solver [v1 | v2]] Add an alternative implmentation of the typesignature solver
Diffstat (limited to 'lib/dialyzer/src/dialyzer.hrl')
-rw-r--r--lib/dialyzer/src/dialyzer.hrl9
1 files changed, 6 insertions, 3 deletions
diff --git a/lib/dialyzer/src/dialyzer.hrl b/lib/dialyzer/src/dialyzer.hrl
index 1b999a7b99..105a174e31 100644
--- a/lib/dialyzer/src/dialyzer.hrl
+++ b/lib/dialyzer/src/dialyzer.hrl
@@ -2,7 +2,7 @@
%%%
%%% %CopyrightBegin%
%%%
-%%% Copyright Ericsson AB 2006-2011. All Rights Reserved.
+%%% Copyright Ericsson AB 2006-2012. All Rights Reserved.
%%%
%%% The contents of this file are subject to the Erlang Public License,
%%% Version 1.1, (the "License"); you may not use this file except in
@@ -111,6 +111,7 @@
-type rep_mode() :: 'quiet' | 'normal' | 'verbose'.
-type start_from() :: 'byte_code' | 'src_code'.
-type mfa_or_funlbl() :: label() | mfa().
+-type solver() :: 'v1' | 'v2'.
%%--------------------------------------------------------------------
%% Record declarations used by various files
@@ -129,7 +130,8 @@
behaviours_chk = false :: boolean(),
timing = false :: boolean() | 'debug',
timing_server :: dialyzer_timing:timing_server(),
- callgraph_file = "" :: file:filename()}).
+ callgraph_file = "" :: file:filename(),
+ solvers :: [solver()]}).
-record(options, {files = [] :: [file:filename()],
files_rec = [] :: [file:filename()],
@@ -149,7 +151,8 @@
output_format = formatted :: format(),
filename_opt = basename :: fopt(),
callgraph_file = "" :: file:filename(),
- check_plt = true :: boolean()}).
+ check_plt = true :: boolean(),
+ solvers = [] :: [solver()]}).
-record(contract, {contracts = [] :: [contract_pair()],
args = [] :: [erl_types:erl_type()],