/// <summary>
/// Creates a new Expansion Loader which uses the specified settings
/// </summary>
/// <param name="cacheDir">Cache Directory</param>
/// <param name="freshness">Cache Freshness</param>
/// <param name="threads">Number of Threads to use</param>
public ExpansionLoader(String cacheDir, int freshness, int threads)
{
this._cache = new ExpansionCache(cacheDir, freshness);
this._threadsToUse = threads;
UriLoader.UserAgent = "Expander/dotNetRDF " + Assembly.GetAssembly(typeof(IGraph)).GetName().Version + "/.Net Framework " + Environment.Version + " ([email protected])";
}
/// <summary>
/// Creates a new Expansion Loader which uses the specified settings
/// </summary>
/// <param name="cacheDir">Cache Directory</param>
/// <param name="freshness">Cache Freshness</param>
/// <param name="threads">Number of Threads to use</param>
public ExpansionLoader(String cacheDir, int freshness, int threads)
{
this._cache = new ExpansionCache(cacheDir, freshness);
this._threadsToUse = threads;
UriLoader.UserAgent = "Expander/dotNetRDF " + Assembly.GetAssembly(typeof(IGraph)).GetName().Version + "/.Net Framework " + Environment.Version + " ([email protected])";
}
/// <summary>
/// Creates a new Expansion Loader which uses the default Cache directory
/// </summary>
public ExpansionLoader()
{
this._cache = new ExpansionCache("expansion_cache\\");
UriLoader.UserAgent = "Expander/dotNetRDF " + Assembly.GetAssembly(typeof(IGraph)).GetName().Version + "/.Net Framework " + Environment.Version + " ([email protected])";
}
/// <summary>
/// Creates a new Expansion Loader which uses the default Cache directory
/// </summary>
public ExpansionLoader()
{
this._cache = new ExpansionCache("expansion_cache\\");
UriLoader.UserAgent = "Expander/dotNetRDF " + Assembly.GetAssembly(typeof(IGraph)).GetName().Version + "/.Net Framework " + Environment.Version + " ([email protected])";
}
/// <summary>
/// Creates a new Expansion Loader which uses the specified settings
/// </summary>
/// <param name="cacheDir">Cache Directory</param>
/// <param name="freshness">Cache Freshness</param>
/// <param name="threads">Number of Threads to use</param>
public ExpansionLoader(String cacheDir, int freshness, int threads)
{
this._cache = new ExpansionCache(cacheDir, freshness);
this._threadsToUse = threads;
}
/// <summary>
/// Creates a new Expansion Loader which uses the specified Cache directory and Cache freshness
/// </summary>
/// <param name="cacheDir">Cache Directory</param>
/// <param name="freshness">Cache Freshness</param>
public ExpansionLoader(String cacheDir, int freshness)
{
this._cache = new ExpansionCache(cacheDir, freshness);
}
/// <summary>
/// Creates a new Expansion Loader which uses the specified Cache directory
/// </summary>
/// <param name="cacheDir">Cache Directory</param>
public ExpansionLoader(String cacheDir)
{
this._cache = new ExpansionCache(cacheDir);
}
/// <summary>
/// Creates a new Expansion Loader which uses the default Cache directory
/// </summary>
public ExpansionLoader()
{
this._cache = new ExpansionCache("expansion_cache\\");
}
