~rdoering/ubuntu/karmic/erlang/fix-535090

« back to all changes in this revision

Viewing changes to lib/typer/src/typer.hrl

• browse files at revision 17
• compare with another revision
• download diff
• download tarball
• view history from revision 17

Show diffs side-by-side

added

removed

lib/typer/src/typer.hrl

1

1

%% -*- erlang-indent-level: 2 -*-

2

 

%%--------------------------------------------------------------------

 

2

%%===========================================================================

3

3

%% File        : typer.hrl

4

 

%% Author      : Bingwen He <Bingwen.He@gmail.com>

 

4

%% Author      : Kostis Sagonas <kostis@it.uu.se>

5

5

%% Description : Header file for the typer application

6

 

%%--------------------------------------------------------------------

7

 

 

8

 

-include("dialyzer.hrl").  %% needed for some dialyzer records below

 

6

%%===========================================================================

 

7

 

 

8

-define(SHOW, show).

 

9

-define(SHOW_EXPORTED, show_exported).

 

10

-define(ANNOTATE, annotate).

 

11

-define(ANNOTATE_INC_FILES, annotate_inc_files).

 

12

 

 

13

-type mode() :: ?SHOW | ?SHOW_EXPORTED | ?ANNOTATE | ?ANNOTATE_INC_FILES.

 

14

 

 

15

%%

 

16

%% The following are needed for some dialyzer records below

 

17

%%

 

18

-include("dialyzer.hrl").

 

19

-include("dialyzer_callgraph.hrl").

9

20

 

10

21

%% XXX: The following appear here only temporarily

11

 

%-type(dict()                :: tuple()).

12

 

-type(dialyzer_plt()        :: tuple()).

13

 

-type(dialyzer_codeserver() :: tuple()).

 

22

%-type dict()                :: tuple().

 

23

-type dialyzer_plt()        :: tuple().

 

24

-type dialyzer_codeserver() :: tuple().

14

25

 

15

26

-record(typer_analysis,

16

 

        {mode            :: atom(),

 

27

        {mode            :: mode(),

17

28

         macros=[]       :: [{atom(),_}], % {macro_name, value}

18

29

         includes=[]     :: [string()],

19

30

         

20

31

         %% Esp for Dialyzer

21

32

         %% ----------------------

22

33

         code_server = dialyzer_codeserver:new() :: dialyzer_codeserver(),

23

 

         callgraph   = dialyzer_callgraph:new()  :: dialyzer_codeserver(),

 

34

         callgraph   = dialyzer_callgraph:new()  :: #dialyzer_callgraph{},

24

35

         ana_files       :: [string()],   % absolute filenames

25

36

         plt         = none                      :: 'none' | string(),

26

37

         

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1