de.uniba.cogsys.app2igor.core
Class InteropCenter

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

public class InteropCenter
extends java.lang.Object

Author:

Thomas Hieber

Constructor Summary

InteropCenter(java.lang.String igorHome, java.lang.String maudeHome, java.lang.String file)

Method Summary

java.lang.String	getFile()
java.lang.String	getIgorHome()
java.lang.String	getIgorVersion()
App2IgorInterop	getInteropThread()
java.lang.String	getMaudeHome()
void	setFile(java.lang.String file)
void	setIgorHome(java.lang.String igorHome)
void	setIgorVersion(java.lang.String igorVersion)
void	setMaudeHome(java.lang.String maudeHome)

Methods inherited from class java.lang.Object

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

Constructor Detail

InteropCenter

public InteropCenter(java.lang.String igorHome,
                     java.lang.String maudeHome,
                     java.lang.String file)

Parameters:

igorHome - - path to igor installation

maudeHome - - path to the maude binary

file - - path to the maude file to be processed by IGOR

modName - - name of the maude Module to be synthesized

Method Detail

getInteropThread

public App2IgorInterop getInteropThread()

Returns:

get an interface to interact with igor

getFile

public java.lang.String getFile()

setFile

public void setFile(java.lang.String file)

getIgorHome

public java.lang.String getIgorHome()

setIgorHome

public void setIgorHome(java.lang.String igorHome)

getMaudeHome

public java.lang.String getMaudeHome()

setMaudeHome

public void setMaudeHome(java.lang.String maudeHome)

getIgorVersion

public java.lang.String getIgorVersion()

setIgorVersion

public void setIgorVersion(java.lang.String igorVersion)