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

/barrelfish-2018-10-04/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DEmbeddedEclipse.java182 // Initialise fromEclipse based on the pre-existing stream called
189 fromEclipse = new EXDRInputStream(fromEclipseFEQ);
208 // setup embed_info to be a fromEclipse queue and a systemQueue
611 return(fromEclipse.readTerm());
H A DEclipseConnectionImpl.java80 EXDRInputStream fromEclipse; field in class:EclipseConnectionImpl

Completed in 45 milliseconds