2015-04-09 13:12:50 +03:00
|
|
|
#pragma once
|
|
|
|
|
|
|
|
#include "types.hh"
|
Eliminate the "store" global variable
Also, move a few free-standing functions into StoreAPI and Derivation.
Also, introduce a non-nullable smart pointer, ref<T>, which is just a
wrapper around std::shared_ptr ensuring that the pointer is never
null. (For reference-counted values, this is better than passing a
"T&", because the latter doesn't maintain the refcount. Usually, the
caller will have a shared_ptr keeping the value alive, but that's not
always the case, e.g., when passing a reference to a std::thread via
std::bind.)
2016-02-04 15:28:26 +02:00
|
|
|
|
2015-04-09 13:12:50 +03:00
|
|
|
#include <string>
|
|
|
|
|
|
|
|
namespace nix {
|
|
|
|
|
2015-10-21 15:59:01 +03:00
|
|
|
struct DownloadOptions
|
|
|
|
{
|
|
|
|
string expectedETag;
|
|
|
|
bool verifyTLS{true};
|
2016-02-29 19:15:20 +02:00
|
|
|
enum { yes, no, automatic } showProgress{yes};
|
|
|
|
bool head{false};
|
2015-10-21 15:59:01 +03:00
|
|
|
};
|
|
|
|
|
2015-04-09 13:12:50 +03:00
|
|
|
struct DownloadResult
|
|
|
|
{
|
|
|
|
bool cached;
|
|
|
|
string data, etag;
|
|
|
|
};
|
|
|
|
|
2016-02-04 15:48:42 +02:00
|
|
|
class Store;
|
Eliminate the "store" global variable
Also, move a few free-standing functions into StoreAPI and Derivation.
Also, introduce a non-nullable smart pointer, ref<T>, which is just a
wrapper around std::shared_ptr ensuring that the pointer is never
null. (For reference-counted values, this is better than passing a
"T&", because the latter doesn't maintain the refcount. Usually, the
caller will have a shared_ptr keeping the value alive, but that's not
always the case, e.g., when passing a reference to a std::thread via
std::bind.)
2016-02-04 15:28:26 +02:00
|
|
|
|
2016-02-29 19:15:20 +02:00
|
|
|
struct Downloader
|
|
|
|
{
|
|
|
|
virtual DownloadResult download(string url, const DownloadOptions & options) = 0;
|
|
|
|
|
|
|
|
Path downloadCached(ref<Store> store, const string & url, bool unpack);
|
|
|
|
|
|
|
|
enum Error { NotFound, Forbidden, Misc };
|
|
|
|
};
|
2015-04-09 13:12:50 +03:00
|
|
|
|
2016-02-29 19:15:20 +02:00
|
|
|
ref<Downloader> makeDownloader();
|
2015-05-05 18:09:42 +03:00
|
|
|
|
2016-02-29 19:15:20 +02:00
|
|
|
class DownloadError : public Error
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
Downloader::Error error;
|
|
|
|
DownloadError(Downloader::Error error, const FormatOrString & fs)
|
|
|
|
: Error(fs), error(error)
|
|
|
|
{ }
|
|
|
|
};
|
2015-04-09 13:49:13 +03:00
|
|
|
|
2015-05-06 15:54:31 +03:00
|
|
|
bool isUri(const string & s);
|
|
|
|
|
2015-04-09 13:12:50 +03:00
|
|
|
}
|