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

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DVisClient.java201 catch(VisException ve){recover_ve(ve);}
638 catch(VisException ve){recover_ve(ve);}
700 catch(VisException ve){recover_ve(ve);}
803 protected void recover_ve(VisException ve) method in class:VisClient

Completed in 26 milliseconds