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

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DEmbeddedEclipse.java90 private EXDRInputStream embed_infoEXDRInput; field in class:EmbeddedEclipse
211 embed_infoEXDRInput = new EXDRInputStream(embed_info);
498 (CompoundTerm) embed_infoEXDRInput.readTerm();

Completed in 23 milliseconds