File 7403-Add-missing-specs-for-observer.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 7403-Add-missing-specs-for-observer.patch of Package erlang

From e3b8df128870dfe34a3e581a102a72bf9221225e Mon Sep 17 00:00:00 2001
From: Dan Gudmundsson <dgud@erlang.org>
Date: Tue, 2 Jan 2024 11:49:16 +0100
Subject: [PATCH 3/4] Add missing specs for observer

---
 lib/observer/src/etop.erl     |  18 +++-
 lib/observer/src/observer.erl |   6 +-
 lib/observer/src/ttb.erl      | 197 +++++++++++++++++++++++++++++++---
 3 files changed, 205 insertions(+), 16 deletions(-)

diff --git a/lib/observer/src/observer.erl b/lib/observer/src/observer.erl
index b2a878e54e..07808d3cab 100644
--- a/lib/observer/src/observer.erl
+++ b/lib/observer/src/observer.erl
@@ -21,10 +21,11 @@
 
 -export([start/0, start/1, start_and_wait/0, start_and_wait/1, stop/0]).
 
-
+-spec start() -> ok | {error, term()}.
 start() ->
     observer_wx:start().
 
+-spec start(node()|[node()]) -> ok | {error, term()}.
 start(Node) when is_atom(Node) ->
     start([Node]);
 start([Node]) ->
@@ -42,6 +43,7 @@ start([Node]) ->
             {error, failed_to_connect}
     end.
 
+-spec start_and_wait() -> ok.
 start_and_wait() ->
     ok = start(),
     MonitorRef = monitor(process, observer),
@@ -50,6 +52,7 @@ start_and_wait() ->
             ok
     end.
 
+-spec start_and_wait(node()|[node()]) -> ok.
 start_and_wait(Node) when is_atom(Node) ->
     start_and_wait([Node]);
 start_and_wait(List) when is_list(List) ->
@@ -60,6 +63,7 @@ start_and_wait(List) when is_list(List) ->
             ok
     end.
 
+-spec stop() -> ok.
 stop() ->
     observer_wx:stop().
 
-- 
2.35.3

Places

File 7403-Add-missing-specs-for-observer.patch of Package erlang

Places