예제 #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])";
 }
예제 #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])";
 }
예제 #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])";
 }
예제 #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])";
 }
예제 #5
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;
 }
예제 #6
0
 /// <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);
 }
예제 #7
0
 /// <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);
 }
예제 #8
0
 /// <summary>
 /// Creates a new Expansion Loader which uses the default Cache directory
 /// </summary>
 public ExpansionLoader()
 {
     this._cache = new ExpansionCache("expansion_cache\\");
 }