de.uniba.cogsys.app2igor.iface
Interface App2IgorInterop

All Known Implementing Classes:

App2IgorInteropImpl

public interface App2IgorInterop

Author:

Thomas Hieber

Method Summary

void	abortIgor()
java.util.List<java.lang.String>	getModuleNames()
java.util.HashMap<java.lang.String,java.lang.String>	getModules()
Runner	startIgor(java.util.List<java.lang.String> modules, boolean createOutFile)
Runner	startIgor(java.util.List<java.lang.String> modules, java.util.List<MaudeArgs> args, boolean createOutFile)

Method Detail

getModuleNames

java.util.List<java.lang.String> getModuleNames()

Returns:

getModules

java.util.HashMap<java.lang.String,java.lang.String> getModules()

Returns:

startIgor

Runner startIgor(java.util.List<java.lang.String> modules,
                 boolean createOutFile)
                 throws java.io.IOException

Parameters:

modules - - modules to load before the synthesis is started

createOutFile - - flag to put results in an [filename].out file within the specified file's directory

Returns:

Throws:

java.io.IOException

startIgor

Runner startIgor(java.util.List<java.lang.String> modules,
                 java.util.List<MaudeArgs> args,
                 boolean createOutFile)
                 throws java.io.IOException

Parameters:

modules - - modules to load before the synthesis is started

args - - command arguments for the maude interpreter

createOutFile - - flag to put results in an [filename].out file within the specified file's directory

Returns:

Throws:

java.io.IOException

abortIgor

void abortIgor()