Beispiel #1
0
 /* Returns a string representation of this action.  */
 public final String toString() {
   return "<Action " + pred.toString() + ">";
 }
Beispiel #2
0
 public final String getLocation() {
   return "<Action " + pred.getLocation() + ">";
 }
Beispiel #3
0
 public static Value getValue(SemanticNode expr) {
   return (Value) expr.getToolObject(TLCGlobals.ToolId);
 }