TechnionNLI-master/parser/modified-fig/src/main/java/fig/record/RecordServerInterface.java
package fig.record;

import java.util.*;
import java.rmi.*;
import fig.basic.*;

public interface RecordServerInterface extends Remote {
  public ResultReceiver processCommand(String line, ReceiverInterface receiver) throws RemoteException;
  public String getPrompt() throws RemoteException;
}
