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

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DEXDROutputStream.java201 writeString(((String) o));
228 void writeString(String s) throws IOException method in class:EXDROutputStream
328 writeString(term.functor());

Completed in 28 milliseconds