| private getPath ( ) : global::java.lang.String | ||
| return | global::java.lang.String | |
public virtual void run()
{
Exception exception;
try
{
((Window) main.access\u0024000()).pack();
((Window) main.access\u0024000()).setVisible(true);
this.val\u0024monitor.setProgress(750);
this.val\u0024monitor.setNote("Loading From Save");
File.__\u003Cclinit\u003E();
File file = new File((string) main.access\u0024000().getPrefs().__\u003C\u003EsaveFile.getValue());
if (file.exists())
main.access\u0024000().load(file.getPath());
this.val\u0024monitor.setProgress(1000);
return;
}
catch (Exception ex)
{
int num = 0;
M0 m0 = ByteCodeHelper.MapException<Exception>(ex, (ByteCodeHelper.MapFlags) num);
if (m0 == null)
throw;
else
exception = (Exception) m0;
}
Throwable.instancehelper_printStackTrace((Exception) exception);
System.exit(1);
}
private static string GetPathFromFile(java.io.File file)
{
#if FIRST_PASS
return(null);
#else
return(file.getPath());
#endif
}
public static Object LoadFromFile(java.io.File f, string baseUri, org.openrdf.rio.RDFFormat rdff)
{
Object obj;
if (rdff == dotSesameFormats.RDFFormat.N3)
{
obj = new Graph();
if (baseUri != null)
{
((IGraph)obj).BaseUri = new Uri(baseUri);
}
FileLoader.Load((IGraph)obj, f.getPath(), new Notation3Parser());
}
else if (rdff == dotSesameFormats.RDFFormat.NTRIPLES)
{
obj = new Graph();
if (baseUri != null)
{
((IGraph)obj).BaseUri = new Uri(baseUri);
}
FileLoader.Load((IGraph)obj, f.getPath(), new NTriplesParser());
}
else if (rdff == dotSesameFormats.RDFFormat.RDFXML)
{
obj = new Graph();
if (baseUri != null)
{
((IGraph)obj).BaseUri = new Uri(baseUri);
}
FileLoader.Load((IGraph)obj, f.getPath(), new RdfXmlParser());
}
else if (rdff == dotSesameFormats.RDFFormat.TRIG)
{
obj = new TripleStore();
TriGParser trig = new TriGParser();
trig.Load((ITripleStore)obj, new StreamParams(f.getPath()));
}
else if (rdff == dotSesameFormats.RDFFormat.TRIX)
{
obj = new TripleStore();
TriXParser trix = new TriXParser();
trix.Load((ITripleStore)obj, new StreamParams(f.getPath()));
}
else if (rdff == dotSesameFormats.RDFFormat.TURTLE)
{
obj = new Graph();
if (baseUri != null)
{
((IGraph)obj).BaseUri = new Uri(baseUri);
}
FileLoader.Load((IGraph)obj, f.getPath(), new TurtleParser());
}
else
{
throw new RdfParserSelectionException("The given Input Format is not supported by dotNetRDF");
}
return(obj);
}
