Modifier and Type | Class and Description |
---|---|
static class |
SaveAction.AutomatonPersistenceType
Enumeration of persistence types usable for automata.
|
static class |
SaveAction.GraphPersistenceType
Enumeration of persistence types usable for graphs.
|
Constructor and Description |
---|
SaveAction(CospanDecomposition decomposition,
String filename)
Creates a new save action which saves the decomposition
decomp to the file
named by filename . |
SaveAction(Cospan cospan,
String filename)
Creates a new save action which saves the cospan
cospan as a cos file named by
filename . |
SaveAction(SaveAction.AutomatonPersistenceType type,
Automaton automaton,
String filename)
Creates a new save action which saves the automaton
automaton to the file named by
filename . |
SaveAction(SaveAction.GraphPersistenceType type,
Graph graph,
String filename)
Creates a new save action which saves the graph
graph as a gxl file named by
filename . |
SaveAction(Signature signature,
String filename)
Creates a new save action which saves the signature
signature to the file
named by filename . |
Modifier and Type | Method and Description |
---|---|
void |
execute()
Causes this action to begin execution.
|
Exception |
getException()
Returns the exception which has been occurred if existing.
|
boolean |
hasExceptionOccured()
Returns
true if an exception has been occurred during
the execution of this action. |
public SaveAction(SaveAction.AutomatonPersistenceType type, Automaton automaton, String filename)
automaton
to the file named by
filename
.type
- the type indicates which printer is used to save the automatonautomaton
- the automaton to be savedfilename
- the name of the file to which the automaton will be savedpublic SaveAction(SaveAction.GraphPersistenceType type, Graph graph, String filename) throws FileNotFoundException
graph
as a gxl file named by
filename
.type
- the type indicates which printer is used to save the graphgraph
- the graph to be savedfilename
- the name of the file to which the graph will be saved (as a GXL)FileNotFoundException
- thrown if the file given by the filename can not be foundpublic SaveAction(Cospan cospan, String filename) throws FileNotFoundException
cospan
as a cos file named by
filename
.cospan
- the cospan to be savedfilename
- the name of the file to which the cospan will be saved (as a GXL)FileNotFoundException
- thrown if the file given by the filename can not be foundpublic SaveAction(Signature signature, String filename)
signature
to the file
named by filename
.signature
- the signature to be savedfilename
- the name of the file to which the signature will be savedpublic SaveAction(CospanDecomposition decomposition, String filename)
decomp
to the file
named by filename
.decomposition
- the decomposition to be savedfilename
- the name of the file to which the signature will be savedpublic void execute()
Action
public boolean hasExceptionOccured()
IOAction
true
if an exception has been occurred during
the execution of this action.hasExceptionOccured
in interface IOAction
true
if an exception has been occurred, false
otherwisepublic Exception getException()
IOAction
getException
in interface IOAction
null
if no exception has been occurred