Searched defs:updated (Results 1 – 1 of 1) sorted by relevance
57 public final Value updated; field in OutputChecker.Variable63 public Variable(String name, VarType type, Str original, Value updated) { in Variable()73 public Variable addUpdated(Value updated) { in addUpdated()