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

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DEXDROutputStream.java192 writeInt(((Integer)o).intValue());
270 out.writeInt(val);
282 void writeInt(int i) throws IOException method in class:EXDROutputStream
291 out.writeInt(i);
303 writeInt((int) l);
326 out.writeInt(term.arity());

Completed in 144 milliseconds