Searched defs:readTerm (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/ | ||
| H A D | EXDRInputStream.java | 93 synchronized public Object readTerm() throws IOException method in class:EXDRInputStream |
Completed in 30 milliseconds