From c2ad6c9e76a929cca23276aa0e9dbbfdd1ca469b Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 21 May 2002 08:52:37 +0000 Subject: [PATCH] Experimental commit that implements the getalluris method, that gives back in XML all the known uris whose prefix is cic and whose suffix is not .types. Useful to implement the locate query with galax. --- helm/http_getter/http_getter.pl.in | 27 ++++++++++++++++++++++++++- 1 file changed, 26 insertions(+), 1 deletion(-) diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in index f3484d688..c9cac35f2 100755 --- a/helm/http_getter/http_getter.pl.in +++ b/helm/http_getter/http_getter.pl.in @@ -313,7 +313,13 @@ while (my $c = $d->accept) { print " done\n"; html_nice_answer($c,"Update done"); - # "/ls" does not work with rdf uris + # "/getalluris" does not work with rdf uris + } elsif ($http_method eq 'GET' and $http_path eq "/getalluris") { + # send back all the keys in xml + print "BASEURI $baseuri, FORMAT $outype\n"; + $cont = getalluris(); + answer($c,$cont,"text/xml",""); + } elsif ($http_method eq 'GET' and $http_path eq "/ls") { # send back keys that begin with a given uri my ($uritype,$uripattern,$uriprefix); @@ -443,6 +449,25 @@ sub resolve { # resolve an uri in a url, work both with standard cic: or theory: } } +sub getalluris { # get all the keys whose prefix is cic + my $content = ""; + my ($uri); + my $debug=1; # for debug + + $content .= '' . "\n"; + $content .= "" . "\n\n"; + $content .= "\n"; + foreach $uri (sort (keys(%xml_map))) { # select matching uris + if ($uri =~ /^cic:/ && not $uri =~ /.types$/) { + print "GETALLURI: $uri\n" if defined($debug); + $content .= "\t\n"; + } + } + $content .= "\n"; + return $content; +} + sub finduris { # find uris for cic and theory trees generation my ($uritype,$uripattern,$format) = @_; my $content = ""; -- 2.39.2