Difference between revisions of "URLDownloadToFile"
From wiki.visual-prolog.com
m (categorized) |
(simplify) |
||
(2 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
− | For downloading, there is a Windows API called '''URLDownloadToFile''' which can do the job | + | 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> |
− | + | class predicates | |
− | + | 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) :- | |
− | Hresult = uRLDownloadToFile( | + | Hresult = uRLDownloadToFile(nullHandle, SourceURL, Destfile, 0, 0), |
− | + | if winErrors::s_ok <> Hresult then | |
− | + | exception::raise_nativeCallException("URLDownloadToFile", Hresult, | |
− | + | [namedValue("SourceURL", string(SourceURL)), namedValue("Destfile", string(Destfile))]) | |
− | + | end if. | |
− | + | </vip> | |
− | |||
[[Category:Examples]] | [[Category:Examples]] | ||
[[Category:Internet]] | [[Category:Internet]] | ||
[[Category:Tips and Tricks]] | [[Category:Tips and Tricks]] |
Latest revision as of 16:16, 19 February 2019
For downloading, there is a Windows API called URLDownloadToFile which can do the job.
In your program, add the lines:
class predicates uRLDownloadToFile : (handle, string URL, string File, unsigned Reserved, unsigned Callback) -> unsigned Hresult language apicall. class predicates doDownload : (string SourceURL, string Destfile) [used]. clauses doDownload(SourceURL, Destfile) :- Hresult = uRLDownloadToFile(nullHandle, SourceURL, Destfile, 0, 0), if winErrors::s_ok <> Hresult then exception::raise_nativeCallException("URLDownloadToFile", Hresult, [namedValue("SourceURL", string(SourceURL)), namedValue("Destfile", string(Destfile))]) end if.