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

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DEmbeddedEclipse.java333 private interface resume_result interface in class:EmbeddedEclipse
490 if(res == resume_result.PWAITIO)
494 if(res == resume_result.PFLUSHIO &&
518 if(res == resume_result.PFLUSHIO &&
523 if(res == resume_result.PSUCCEED)
527 if(res == resume_result.PRUNNING)

Completed in 29 milliseconds