Java Invariant.varNames Beispiele

Beispiel #1

Datei: InvariantChecker.java Projekt: GerardPaligot/spoon

 private static String invariant2str(PptTopLevel ppt, Invariant inv) {
   return ppt.name + " == " + inv.repr() + inv.getClass() + inv.varNames() + ": " + inv.format();
 }