URLDownloadToFile - Revision history

Thomas Linder Puls: simplify

2019-02-19T15:16:06Z

simplify

← Older revision		Revision as of 17:16, 19 February 2019
Line 1:		Line 1:
	For downloading, there is a Windows API called '''URLDownloadToFile''' which can do the job~~. This API needs '''urlmon.dll''' which is present in all Windows versions~~.		For downloading, there is a Windows API called '''URLDownloadToFile''' which can do the job.

	In your program, add the lines:		In your program, add the lines:

	<vip>class predicates		<vip>
	~~urlDownloadToFile~~ : (~~unsigned~~, string URL, string File, unsigned Reserved, unsigned Callback) -> unsigned Hresult		class predicates
	language apicall ~~as "URLDownloadToFile"~~.		uRLDownloadToFile : (handle, string URL, string File, unsigned Reserved, unsigned Callback)
			-> unsigned Hresult language apicall.

	class predicates		class predicates
	doDownload : (string SourceURL, string Destfile).		doDownload : (string SourceURL, string Destfile) [used].
	clauses		clauses
	doDownload(SourceURL, Destfile) :-		doDownload(SourceURL, Destfile) :-
	Hresult = uRLDownloadToFile(0, SourceURL, Destfile, 0, 0),		Hresult = uRLDownloadToFile(nullHandle, SourceURL, Destfile, 0, 0),
	if winErrors::s_ok <> Hresult then		if winErrors::s_ok <> Hresult then
	exception::raise_nativeCallException("URLDownloadToFile", Hresult,		exception::raise_nativeCallException("URLDownloadToFile", Hresult,
	[namedValue("SourceURL", string(SourceURL)), namedValue("Destfile", string(Destfile))])		[namedValue("SourceURL", string(SourceURL)), namedValue("Destfile", string(Destfile))])
	end if.</vip>		end if.
			</vip>

	[[Category:Examples]]		[[Category:Examples]]
	[[Category:Internet]]		[[Category:Internet]]
	[[Category:Tips and Tricks]]		[[Category:Tips and Tricks]]

Thomas Linder Puls: clarify

2019-02-19T15:00:32Z

clarify

← Older revision		Revision as of 17:00, 19 February 2019
Line 1:		Line 1:
	For downloading, there is a Windows API called '''URLDownloadToFile''' which can do the job. This API needs '''urlmon.dll''' which is present in all Windows.		For downloading, there is a Windows API called '''URLDownloadToFile''' which can do the job. This API needs '''urlmon.dll''' which is present in all Windows versions.

	In your program, add the lines:		In your program, add the lines:

Thomas Linder Puls: update

2016-03-22T18:50:46Z

update

← Older revision		Revision as of 20:50, 22 March 2016
Line 4:		Line 4:

	<vip>class predicates		<vip>class predicates
	urlDownloadToFile : (unsigned,string URL,string File,~~unsigned32~~ Reserved,unsigned Callback) -> ~~unsigned32~~ Hresult		urlDownloadToFile : (unsigned, string URL, string File, unsigned Reserved, unsigned Callback) -> unsigned Hresult
	language apicall as "URLDownloadToFile".		language apicall as "URLDownloadToFile".
	~~resolve~~
	~~urlDownloadToFile externally % This needs urlmon.lib~~

	class predicates		class predicates
	doDownload : (string SourceURL, string Destfile).		doDownload : (string SourceURL, string Destfile).
	clauses		clauses
	doDownload(SourceURL, Destfile) :-		doDownload(SourceURL, Destfile) :-
	Hresult = uRLDownloadToFile(0,SourceURL,Destfile,0,0),		Hresult = uRLDownloadToFile(0, SourceURL, Destfile, 0, 0),
	~~common_exception~~::~~checkNoApiException~~(~~classInfo, Hresult,~~ "URLDownloadToFile",		if winErrors::s_ok <> Hresult then
	[namedValue("SourceURL", string(SourceURL)), namedValue("Destfile", string(Destfile))]).</vip>		exception::raise_nativeCallException("URLDownloadToFile", Hresult,
			[namedValue("SourceURL", string(SourceURL)), namedValue("Destfile", string(Destfile))])
	~~You will alo need to add '''urlmon.lib''' to your project, because '''URLDownloadToFile''' is not in the Visual Prolog libs.~~		end if.</vip>

	~~'''urlmon.lib''' is part of the [[wikipedia:Microsoft Windows SDK]].~~

	[[Category:Examples]]		[[Category:Examples]]
	[[Category:Internet]]		[[Category:Internet]]
	[[Category:Tips and Tricks]]		[[Category:Tips and Tricks]]

Thomas Linder Puls: categorized

2008-01-19T22:05:52Z

categorized

← Older revision		Revision as of 00:05, 20 January 2008
Line 22:		Line 22:

	[[Category:Examples]]		[[Category:Examples]]
			[[Category:Internet]]
			[[Category:Tips and Tricks]]

Thomas Linder Puls: categorized

2008-01-19T21:42:47Z

categorized

← Older revision		Revision as of 23:42, 19 January 2008
Line 20:		Line 20:

	'''urlmon.lib''' is part of the [[wikipedia:Microsoft Windows SDK]].		'''urlmon.lib''' is part of the [[wikipedia:Microsoft Windows SDK]].

			[[Category:Examples]]

Thomas Linder Puls: copied from forum (updated)

2008-01-08T23:21:33Z

copied from forum (updated)

New page

For downloading, there is a Windows API called '''URLDownloadToFile''' which can do the job. This API needs '''urlmon.dll''' which is present in all Windows.

In your program, add the lines:

<vip>class predicates
urlDownloadToFile : (unsigned,string URL,string File,unsigned32 Reserved,unsigned Callback) -> unsigned32 Hresult
language apicall as "URLDownloadToFile".
resolve
urlDownloadToFile externally % This needs urlmon.lib

class predicates
doDownload : (string SourceURL, string Destfile).
clauses
doDownload(SourceURL, Destfile) :-
Hresult = uRLDownloadToFile(0,SourceURL,Destfile,0,0),
common_exception::checkNoApiException(classInfo, Hresult, "URLDownloadToFile",
[namedValue("SourceURL", string(SourceURL)), namedValue("Destfile", string(Destfile))]).</vip>

You will alo need to add '''urlmon.lib''' to your project, because '''URLDownloadToFile''' is not in the Visual Prolog libs.

'''urlmon.lib''' is part of the [[wikipedia:Microsoft Windows SDK]].