alice.tuprologx.ide

Class DotNetIOManager

java.lang.Object

alice.tuprologx.ide.DotNetIOManager

public class DotNetIOManager
extends Object

A manager for Input/Output file operations on the .NET platform. Note that FileDialog use a very naive file filtering method, or does not use it at all, since the preferred method to filter files in AWT, namely a custom implementation of the FilenameFilter interface, is said not to work on the Windows OS (see the JavaDocs for the FileDialog class in the official JDK documentation).

Author:

Giulio Piancastelli

Field Summary

Fields

Modifier and Type	Field and Description
protected String	currentLoadDirectory The current directory where to load theories.
protected String	currentSaveDirectory The current directory where to save theories.
protected String	currentTheoryFileName The filename of the current opened theory.

Constructor Summary

Constructors

Constructor and Description
DotNetIOManager(Frame parent)

Method Summary

Methods

Modifier and Type	Method and Description
Theory	loadTheory() Load a theory from an input device, typically a file.
void	resetDefaultTheoryFileName()
protected String	save(String theory)
String	saveTheory(String theory)
String	saveTheoryAs(String theory) Save the engine's current theory to an output device, typically a file.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

currentLoadDirectory

protected String currentLoadDirectory

The current directory where to load theories.

currentSaveDirectory

protected String currentSaveDirectory

The current directory where to save theories.

currentTheoryFileName

protected String currentTheoryFileName

The filename of the current opened theory.

Constructor Detail

DotNetIOManager

public DotNetIOManager(Frame parent)

Method Detail

loadTheory

public Theory loadTheory()
                  throws Exception

Load a theory from an input device, typically a file.

Returns:

the loaded theory as an alice.tuprolog.Theory object, or null if the operation is cancelled.

Throws:

Exception - if something goes wrong.

saveTheoryAs

public String saveTheoryAs(String theory)
                    throws Exception

Save the engine's current theory to an output device, typically a file.

Parameters:

theory - The String containing the theory to be saved.

Returns:

The identifier of the output device where the theory has been saved (i.e. a filename if the output device is a file), or null if the operation is cancelled.

Throws:

Exception - if something goes wrong.

saveTheory

public String saveTheory(String theory)
                  throws Exception

Throws:

Exception

save

protected String save(String theory)
               throws IOException

Throws:

IOException

resetDefaultTheoryFileName

public void resetDefaultTheoryFileName()