Searched defs:closeAsyncEclipseStreamEclipseSide (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/ | ||
H A D | EclipseConnectionImpl.java | 864 void closeAsyncEclipseStreamEclipseSide(int streamid) throws IOException method in class:EclipseConnectionImpl |
H A D | RemoteEclipse.java | 904 void closeAsyncEclipseStreamEclipseSide(int streamid) throws IOException method in class:RemoteEclipse |
Completed in 87 milliseconds