de.uniba.cogsys.app2igor.core
Class App2IgorInteropImpl

java.lang.Object
  de.uniba.cogsys.app2igor.core.App2IgorInteropImpl

All Implemented Interfaces:

App2IgorInterop

public class App2IgorInteropImpl
extends java.lang.Object
implements App2IgorInterop

Author:

Thomas Hieber

Constructor Summary

App2IgorInteropImpl(InteropCenter center)

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

App2IgorInteropImpl

public App2IgorInteropImpl(InteropCenter center)

Method Detail

abortIgor

public void abortIgor()

Specified by:

abortIgor in interface App2IgorInterop

getModuleNames

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

Specified by:

getModuleNames in interface App2IgorInterop

Returns:

startIgor

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

Specified by:

startIgor in interface App2IgorInterop

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

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

Specified by:

startIgor in interface App2IgorInterop

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

getModules

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

Specified by:

getModules in interface App2IgorInterop

Returns: