Esempio n. 1
0
 /// <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])";
 }
Esempio n. 2
0
 /// <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])";
 }
Esempio n. 3
0
 /// <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])";
 }
Esempio n. 4
0
 /// <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\\");
 }