From 84adefa331c4159d432d22840663c38f155cd4c1 Mon Sep 17 00:00:00 2001
From: Erlang/OTP <otp@erlang.org>
Date: Fri, 20 Nov 2009 14:54:40 +0000
Subject: The R13B03 release.

---
 lib/typer/src/typer.hrl | 64 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 64 insertions(+)
 create mode 100644 lib/typer/src/typer.hrl

(limited to 'lib/typer/src/typer.hrl')

diff --git a/lib/typer/src/typer.hrl b/lib/typer/src/typer.hrl
new file mode 100644
index 0000000000..c331dd82db
--- /dev/null
+++ b/lib/typer/src/typer.hrl
@@ -0,0 +1,64 @@
+%% -*- erlang-indent-level: 2 -*-
+%%
+%% %CopyrightBegin%
+%% 
+%% Copyright Ericsson AB 2006-2009. 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    = []			:: [string()],
+	 
+	 %% Esp for Dialyzer
+	 %% ----------------------
+	 code_server = dialyzer_codeserver:new():: dialyzer_codeserver:codeserver(),
+	 callgraph   = dialyzer_callgraph:new() :: dialyzer_callgraph:callgraph(),
+	 ana_files   = []			:: [string()],   % absolute filenames
+	 plt         = none			:: 'none' | string(),
+	 
+	 %% Esp for TypEr
+	 %% ----------------------
+	 t_files     = []			:: [string()], 
+	 
+	 %% 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 = []			:: [{string(), atom()}],  
+	 
+	 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,
+	{analyze = []        :: [string()],
+	 analyzed_dir_r = [] :: [string()],
+	 trust = []          :: [string()]}).
-- 
cgit v1.2.3