diff options
| author | Henrik Nord <[email protected]> | 2012-05-31 15:59:00 +0200 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-31 15:59:00 +0200 |
| commit | 523516d049cd246fd68f5ec69c56fd4d5b8172f5 (patch) | |
| tree | 594c6ad6520668158862d14dc800bccff4d20a76 /lib/dialyzer/src/dialyzer.hrl | |
| parent | 44870b7f3640946f6d80599a8a36314dbafce70f (diff) | |
| parent | 3e348c69b6921dd0e2c5b699ccd36d46321c953c (diff) | |
| download | otp-523516d049cd246fd68f5ec69c56fd4d5b8172f5.tar.gz otp-523516d049cd246fd68f5ec69c56fd4d5b8172f5.tar.bz2 otp-523516d049cd246fd68f5ec69c56fd4d5b8172f5.zip | |
Merge branch 'maint'
Diffstat (limited to 'lib/dialyzer/src/dialyzer.hrl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer.hrl | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer.hrl b/lib/dialyzer/src/dialyzer.hrl index 5e089d1773..1b999a7b99 100644 --- a/lib/dialyzer/src/dialyzer.hrl +++ b/lib/dialyzer/src/dialyzer.hrl @@ -110,6 +110,7 @@ -type label() :: non_neg_integer(). -type rep_mode() :: 'quiet' | 'normal' | 'verbose'. -type start_from() :: 'byte_code' | 'src_code'. +-type mfa_or_funlbl() :: label() | mfa(). %%-------------------------------------------------------------------- %% Record declarations used by various files @@ -126,11 +127,14 @@ use_contracts = true :: boolean(), race_detection = false :: boolean(), behaviours_chk = false :: boolean(), + timing = false :: boolean() | 'debug', + timing_server :: dialyzer_timing:timing_server(), callgraph_file = "" :: file:filename()}). -record(options, {files = [] :: [file:filename()], files_rec = [] :: [file:filename()], analysis_type = succ_typings :: anal_type1(), + timing = false :: boolean() | 'debug', defines = [] :: [dial_define()], from = byte_code :: start_from(), get_warnings = maybe :: boolean() | 'maybe', @@ -152,3 +156,12 @@ forms = [] :: [{_, _}]}). %%-------------------------------------------------------------------- + +-define(timing(Server, Msg, Var, Expr), + begin + dialyzer_timing:start_stamp(Server, Msg), + Var = Expr, + dialyzer_timing:end_stamp(Server), + Var + end). +-define(timing(Server, Msg, Expr),?timing(Server, Msg, _T, Expr)). |