versioned_graph/commit

more w.i.p. on documentation

authorJacco van Ossenbruggen
Mon Jun 23 11:10:02 2014 +0200
committerJacco van Ossenbruggen
Mon Jun 23 11:10:02 2014 +0200
commitfd81e52684a9dcd375fa85d0ee41e65edb452942
tree561ddc607754027e8cf4496eeff37a231ede6a68
parent92fcba9ece6a2d343c6a202d518715ea749a77bf
Diff style: patch stat
diff --git a/lib/url_to_filename.pl b/lib/url_to_filename.pl
index f2e3917..c265160 100644
--- a/lib/url_to_filename.pl
+++ b/lib/url_to_filename.pl
@@ -1,16 +1,18 @@
 :- module(gv_url_to_filename,
-	  [
-	  url_to_filename/2
+	  [ url_to_filename/2
 	  ]).
 
+:- use_module(library(url)).
+:- use_module(library(lists)).
+
 %%	url_to_filename(-URL, +FileName) is det.
 %
-%	Turn  a  valid  URL  into  a  filename.  Earlier  versions  used
-%	www_form_encode/2, but this can produce  characters that are not
-%	valid  in  filenames.  We  will  use    the   same  encoding  as
-%	www_form_encode/2,  but  using  our  own    rules   for  allowed
-%	characters. The only requirement is that   we avoid any filename
-%	special character in use.  The   current  encoding  use US-ASCII
+%	Encode a valid URL into a valid filename and vice versa. Earlier
+%	versions used www_form_encode/2, but this can produce characters
+%	that are not valid in filenames. We will use the same encoding
+%	as www_form_encode/2, but using our own rules for allowed
+%	characters. The only requirement is that we avoid any filename
+%	special character in use. The current encoding use US-ASCII
 %	alnum characters, _ and %
 %
 %	Code copied from rdf_persistency:url_to_filename/2
@@ -21,7 +23,9 @@ url_to_filename(URL, FileName) :-
 	atom_codes(URL, Codes),
 	phrase(url_encode(EncCodes), Codes),
 	atom_codes(FileName, EncCodes).
+
 url_to_filename(URL, FileName) :-
+	% for _decoding_ the standard www_form_encode/2 will do.
 	www_form_encode(URL, FileName).
 
 url_encode([0'+|T]) -->