← Back to branch summary

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

« back to all changes in this revision

Viewing changes to lib/dialyzer/src/dialyzer_gui.erl

  • Committer: Bazaar Package Importer
  • Author(s): Sergei Golovan
  • Date: 2009-02-15 16:42:52 UTC
  • mfrom: (3.1.2 squeeze)
  • Revision ID: james.westby@ubuntu.com-20090215164252-q5x4rcf8a5pbesb1
Tags: 1:12.b.5-dfsg-2
Upload to unstable after lenny is released.

Show diffs side-by-side

added added

removed removed

Lines of Context:
lib/dialyzer/src/dialyzer_gui.erl
31
31
 
32
32
-include("dialyzer.hrl").
33
33
 
34
 
-type(gs_object() :: any()).
 
34
-type gs_object() :: any().
35
35
 
36
36
-record(mode, {start_byte_code     :: gs_object(), 
37
37
               start_src_code      :: gs_object()}).
77
77
               
78
78
%%------------------------------------------------------------------------
79
79
 
80
 
-spec(start/1 :: (#options{}) -> ?RET_NOTHING_SUSPICIOUS).
 
80
-spec start(#options{}) -> ?RET_NOTHING_SUSPICIOUS.
81
81
 
82
82
start(DialyzerOptions = #options{}) ->
83
83
  process_flag(trap_exit, true),
357
357
%%  Main GUI Loop
358
358
%%
359
359
 
360
 
-spec(gui_loop/1 :: (#gui_state{}) -> ?RET_NOTHING_SUSPICIOUS).
 
360
-spec gui_loop(#gui_state{}) -> ?RET_NOTHING_SUSPICIOUS.
361
361
 
362
362
gui_loop(State = #gui_state{}) ->
363
363
  TopWin = State#gui_state.top,