alice.tuprologx.ide

Class JavaIOManager

java.lang.Object

alice.tuprologx.ide.JavaIOManager

public class JavaIOManager
extends Object

A manager for Input/Output operations on the Java 2 platform.

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
JavaIOManager(Component 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

JavaIOManager

public JavaIOManager(Component 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()