File 2392-ssh-type-and-spec-adjustments.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 2392-ssh-type-and-spec-adjustments.patch of Package erlang (Revision aa120d3233f613ad478314c3181372c5)

Currently displaying revision aa120d3233f613ad478314c3181372c5 , Show latest

From 3bbb2c9d5f92205f91cc68b9cebe263b84afe3e2 Mon Sep 17 00:00:00 2001
From: Hans Nilsson <hans@erlang.org>
Date: Tue, 21 Mar 2017 15:20:58 +0100
Subject: [PATCH 12/13] ssh: -type and -spec adjustments

---
 lib/ssh/src/ssh.hrl         | 17 +++++++++++++++--
 lib/ssh/src/ssh_options.erl | 12 +-----------
 2 files changed, 16 insertions(+), 13 deletions(-)

diff --git a/lib/ssh/src/ssh.hrl b/lib/ssh/src/ssh.hrl
index 63eeb0bd0..e03c15454 100644
--- a/lib/ssh/src/ssh.hrl
+++ b/lib/ssh/src/ssh.hrl
@@ -113,12 +113,25 @@
 -type double_algs()         :: list( {client2serverlist,simple_algs()} | {server2client,simple_algs()} )
                              | simple_algs() .
 
+-type options() :: #{socket_options   := socket_options(),
+                     internal_options := internal_options(),
+                     option_key()     => any()
+                    }.
+
+-type socket_options()   :: proplists:proplist().
+-type internal_options() :: #{option_key() => any()}.
+
+-type option_key() :: atom().
+
+
 
 %% Records
 -record(ssh,
 	{
-	  role,         %% client | server
-	  peer,         %% string version of peer address 
+	  role :: client | role(),
+	  peer :: undefined | 
+                  {inet:hostname(),
+                   {inet:ip_adress(),inet:port_number()}},         %% string version of peer address 
 
 	  c_vsn,        %% client version {Major,Minor}
 	  s_vsn,        %% server version {Major,Minor}
diff --git a/lib/ssh/src/ssh_options.erl b/lib/ssh/src/ssh_options.erl
index cb3f63103..febd3f6ee 100644
--- a/lib/ssh/src/ssh_options.erl
+++ b/lib/ssh/src/ssh_options.erl
@@ -38,16 +38,6 @@
 %%%================================================================
 %%% Types
 
--type options() :: #{socket_options   := socket_options(),
-                     internal_options := internal_options(),
-                     option_key()     => any()
-                    }.
-
--type socket_options()   :: proplists:proplist().
--type internal_options() :: #{option_key() => any()}.
-
--type option_key() :: atom().
-
 -type option_in() :: proplists:property() | proplists:proplist() .
 
 -type option_class() :: internal_options | socket_options | user_options . 
@@ -431,7 +421,7 @@ default(client) ->
            },
 
       {silently_accept_hosts, def} =>
-          #{default => {false,none},
+          #{default => false,
             chk => fun check_silently_accept_hosts/1,
             class => user_options
            },
-- 
2.12.2

Places

File 2392-ssh-type-and-spec-adjustments.patch of Package erlang (Revision aa120d3233f613ad478314c3181372c5)

Places