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

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DVisClient.java199 catch(EclipseException ee){recover_ee(ee);}
262 catch(EclipseException ee){recover_ee(ee);}
304 recover_ee(ee);
599 recover_ee(ee);
719 catch(EclipseException ee){recover_ee(ee);}
760 recover_ee(ee);
792 protected void recover_ee(EclipseException ee) method in class:VisClient
872 catch(EclipseException ee){recover_ee(ee);}
892 recover_ee(ee);

Completed in 76 milliseconds