From 7c15ebc4f16d8d513f50aded1460c7f7894082cf Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Sat, 27 Aug 2022 21:19:50 +0300 Subject: [PATCH] ENHANCED: annotate predicates with the summaries from the manual --- sweep.pl | 12 +++--------- 1 file changed, 3 insertions(+), 9 deletions(-) diff --git a/sweep.pl b/sweep.pl index ee9bb66..3a2991b 100644 --- a/sweep.pl +++ b/sweep.pl @@ -15,6 +15,7 @@ :- use_module(library(pldoc/doc_wiki)). :- use_module(library(pldoc/doc_modes)). :- use_module(library(pldoc/doc_man)). +:- use_module(library(pldoc/man_index)). :- use_module(library(lynx/html_text)). :- dynamic sweep_current_color/3, @@ -210,13 +211,6 @@ sweep_predicate_description(M:F/N, [S|T]) :- sweep_predicate_description_(M, F, N, [D]) :- doc_comment(M:F/N, _, D0, _), !, atom_string(D0, D). -% sweep_predicate_description_(_M, F, N, [D]) :- -% pldoc_man:load_man_object(F/N, _, _, Dom), -% with_output_to(string(DomS), html_text(Dom, [])), -% sub_string(DomS, EOL, _, _, '\n'), -% sub_string(DomS, EOL, _, 0, Rest), -% ( sub_string(Rest, EOS, _, _, '. ') -% -> sub_string(Rest, 0, EOS, _, D) -% ; D=Rest -% ). +sweep_predicate_description_(_M, F, N, [D]) :- + man_object_property(F/N, summary(D0)), !, atom_string(D0, D). sweep_predicate_description_(_, _, _, []). -- 2.39.2