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

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DUpdateEvent.java32 private static String backString = "back"; field in class:UpdateEvent
44 if(backString.equals(((Atom)term.arg(3)).functor()))

Completed in 24 milliseconds