Searched refs:controlEXDRInput (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DRemoteEclipse.java100 private EXDRInputStream controlEXDRInput; field in class:RemoteEclipse
203 controlEXDRInput = new EXDRInputStream(control.getInputStream());
1114 return(controlEXDRInput.readTerm());

Completed in 32 milliseconds