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

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DEmbeddedEclipse.java88 private FromEclipseQueue embed_info; field in class:EmbeddedEclipse
208 // setup embed_info to be a fromEclipse queue and a systemQueue
209 embed_info = this.getFromEclipseQueue("embed_info");
210 embed_info.setSystemQueue(true);
211 embed_infoEXDRInput = new EXDRInputStream(embed_info);
495 lookupFromEclipseQueue(stream.intValue()) == embed_info)
519 lookupFromEclipseQueue(stream.intValue()) != embed_info)
/barrelfish-master/usr/eclipseclp/lib_tcl/
H A Declipse.tcl347 # Handler for embed_info queue
392 ;# embed_info must be created after embed peer info has been set
393 set ec_embed_info_channel [ec_queue_create embed_info fromec ec_info_queue_handler]
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dio.pl1274 write_exdr(embed_info, queue_close(StreamNum)),
1275 flush(embed_info),
1338 write_exdr(embed_info, queue_connect(Name, Nr, Direction)),
1339 flush(embed_info).

Completed in 47 milliseconds