uri-parse.pl

:- use_module(schemeMachine).
:- use_module(uriMachine).

/**
 * uri_parse(++String:string, -Uri:uri) is nondet.
 * 
 * True when the given string represents a valid URI.
 */
uri_parse(String, uri(Scheme, Userinfo, Host, Port, Path, Query, Fragment)) :-
	string_chars(String, Chars),
	schemeMachine(Chars, Scheme, Leftover),
	downcase_atom(Scheme, LoweredScheme),
	uriMachine(
		Leftover,
		uri(LoweredScheme, Userinfo, Host, Port, Path, Query, Fragment)
	).
/**
 * uri_display(+Uri:uri, ++Stream:stream) is det.
 * 
 * Always true, writes the given URI to the specified Stream.
 */
uri_display(uri(Scheme, Userinfo, Host, Port, Path, Query, Frag), Stream) :-
	write(Stream, uri(Scheme, Userinfo, Host, Port, Path, Query, Frag)),
	nl(Stream).
/**
 * uri_display(+Uri:uri) is det.
 * 
 * Always true, writes the given URI to current output stream.
 */
uri_display(uri(Scheme, Userinfo, Host, Port, Path, Query, Frag)) :-
	current_output(Stream),
	uri_display(uri(Scheme, Userinfo, Host, Port, Path, Query, Frag), Stream).