diff options
| author | Stavros Aronis <[email protected]> | 2012-01-25 15:44:30 +0100 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2012-02-22 14:13:19 +0100 |
| commit | ff5c8bf413cbfda1b7c9a43c948559d31bfcc4d4 (patch) | |
| tree | b10370548cf646bfd0dfb84be39dfb7b2dcd8518 /lib/dialyzer/src/dialyzer_plt.erl | |
| parent | bda48b93fc15a718a3bec1f0c8e628d67f486c40 (diff) | |
| download | otp-ff5c8bf413cbfda1b7c9a43c948559d31bfcc4d4.tar.gz otp-ff5c8bf413cbfda1b7c9a43c948559d31bfcc4d4.tar.bz2 otp-ff5c8bf413cbfda1b7c9a43c948559d31bfcc4d4.zip | |
Remove redundant code
Diffstat (limited to 'lib/dialyzer/src/dialyzer_plt.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_plt.erl | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/lib/dialyzer/src/dialyzer_plt.erl b/lib/dialyzer/src/dialyzer_plt.erl index d6c809c289..3d36f5d5ac 100644 --- a/lib/dialyzer/src/dialyzer_plt.erl +++ b/lib/dialyzer/src/dialyzer_plt.erl @@ -32,7 +32,6 @@ compute_md5_from_files/1, contains_mfa/2, contains_module/2, - delete_contract_list/2, delete_list/2, delete_module/2, included_files/1, @@ -164,18 +163,6 @@ lookup_callbacks(#plt{callbacks = Callbacks}, Mod) when is_atom(Mod) -> ModCallbacks = dict:filter(FunModFilter, Callbacks), dict:to_list(ModCallbacks). --spec delete_contract_list(plt(), [mfa()]) -> plt(). - -delete_contract_list(#plt{contracts = Contracts, - callbacks = Callbacks} = PLT, List) -> - PLT#plt{contracts = table_delete_list(Contracts, List), - callbacks = table_delete_list(Callbacks, List)}. - -%% -spec insert(plt(), mfa() | integer(), {_, _}) -> plt(). -%% -%% insert(#plt{info = Info} = PLT, Id, Types) -> -%% PLT#plt{info = table_insert(Info, Id, Types)}. - -type ret_args_types() :: {erl_types:erl_type(), [erl_types:erl_type()]}. -spec insert_list(plt(), [{mfa() | integer(), ret_args_types()}]) -> plt(). |