1 33 34 package edu.rice.cs.drjava.model.repl.newjvm; 35 36 import java.io.File ; 37 import java.rmi.RemoteException ; 38 import edu.rice.cs.util.newjvm.*; 39 import edu.rice.cs.drjava.model.junit.JUnitError; 40 import edu.rice.cs.util.classloader.ClassFileError; 41 42 48 public interface MainJVMRemoteI extends MasterRemote { 49 50 55 public void systemErrPrint(String s) throws RemoteException ; 56 57 62 public void systemOutPrint(String s) throws RemoteException ; 63 64 68 public void interpretResult(InterpretResult result) throws RemoteException ; 69 70 74 public void quitFailed(Throwable th) throws RemoteException ; 75 76 79 public void nonTestCase(boolean isTestAll) throws RemoteException ; 80 81 84 public void classFileError(ClassFileError e) throws RemoteException ; 85 86 89 public void testSuiteStarted(int numTests) throws RemoteException ; 90 91 94 public void testStarted(String testName) throws RemoteException ; 95 96 102 public void testEnded(String testName, boolean wasSuccessful, boolean causedError) 103 throws RemoteException ; 104 105 109 public void testSuiteEnded(JUnitError[] errors) throws RemoteException ; 110 111 116 public File getFileForClassName(String className) throws RemoteException ; 117 118 130 131 135 public String getConsoleInput() throws RemoteException ; 136 } 137 | Popular Tags |