de.cau.cs.kieler.maude.internal
Class MaudeSession

java.lang.Object
  extended by de.cau.cs.kieler.maude.internal.MaudeSession

public class MaudeSession
extends Object

Rating red

Constructor Summary
MaudeSession(String pathToMaudeParam, String pathToMaudeCodeParam)
          Instantiates a new maude session.
 
Method Summary
 boolean isStarted()
          Checks whether the maude session is started.
 String queryMaude(String queryRequest)
          Query maude with a string returning a string for a given maude session id.
 String queryMaude(String queryRequest, int wait)
          Query maude with a string returning a string for a given maude session id.
 void startSession()
          Starts a maude session.
 void stopSession()
          Stops a maude session.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MaudeSession

public MaudeSession(String pathToMaudeParam,
                    String pathToMaudeCodeParam)
Instantiates a new maude session.

Parameters:
pathToMaudeParam - the path to maude param
pathToMaudeCodeParam - the path to maude code param
Method Detail

startSession

public void startSession()
                  throws IOException
Starts a maude session.

Throws:
IOException - Signals that an I/O exception has occurred.

stopSession

public void stopSession()
Stops a maude session.


isStarted

public boolean isStarted()
Checks whether the maude session is started.

Returns:
true, if is started

queryMaude

public String queryMaude(String queryRequest)
                  throws IOException
Query maude with a string returning a string for a given maude session id.

Parameters:
queryRequest - the query request
Returns:
the string
Throws:
IOException - Signals that an I/O exception has occurred.

queryMaude

public String queryMaude(String queryRequest,
                         int wait)
                  throws IOException
Query maude with a string returning a string for a given maude session id. The optional wait parameter can be used the first time after initialization to get all contens.

Parameters:
queryRequest - the query request
Returns:
the string
Throws:
IOException - Signals that an I/O exception has occurred.