1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
%% -*- erlang-indent-level: 2 -*-
%%
%% %CopyrightBegin%
%%
%% Copyright Ericsson AB 2006-2011. 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
%% compliance with the License. You should have received a copy of the
%% Erlang Public License along with this software. If not, it can be
%% retrieved online at http://www.erlang.org/.
%%
%% Software distributed under the License is distributed on an "AS IS"
%% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
%% the License for the specific language governing rights and limitations
%% under the License.
%%
%% %CopyrightEnd%
%%
-define(SHOW, show).
-define(SHOW_EXPORTED, show_exported).
-define(ANNOTATE, annotate).
-define(ANNOTATE_INC_FILES, annotate_inc_files).
-type mode() :: ?SHOW | ?SHOW_EXPORTED | ?ANNOTATE | ?ANNOTATE_INC_FILES.
-record(typer_analysis,
{mode :: mode(),
macros = [] :: [{atom(), _}], % {macro_name, value}
includes = [] :: [file:filename()],
%% Esp for Dialyzer
%% ----------------------
code_server = dialyzer_codeserver:new():: dialyzer_codeserver:codeserver(),
callgraph = dialyzer_callgraph:new() :: dialyzer_callgraph:callgraph(),
ana_files = [] :: [file:filename()], % absolute filenames
plt = none :: 'none' | file:filename(),
%% Esp for TypEr
%% ----------------------
t_files = [] :: [file:filename()],
%% For choosing between contracts or comments
contracts = true :: boolean(),
%% Any file in 'final_files' is compilable.
%% And we need to keep it as {FileName,ModuleName}
%% in case filename does NOT match with moduleName
final_files = [] :: [{file:filename(), module()}],
ex_func = typer_map:new() :: dict(),
record = typer_map:new() :: dict(),
%% Functions: the line number of the function
%% should be kept as well
func = typer_map:new() :: dict(),
inc_func = typer_map:new() :: dict(),
trust_plt = dialyzer_plt:new() :: dialyzer_plt:plt()}).
-record(args, {files = [] :: [file:filename()],
files_r = [] :: [file:filename()],
trusted = [] :: [file:filename()]}).
|
