Package org.waveprotocol.wave.model.document.operation.automaton.DocOpAutomaton

Examples of org.waveprotocol.wave.model.document.operation.automaton.DocOpAutomaton.ViolationCollector.printDescriptions()

259
260
261
262
263
264
265
266
267
268
269
    System.out.println(op + "==========> " + docOp);
    ViolationCollector v = new ViolationCollector();
    if (!DocOpValidator.validate(v, DocumentSchema.NO_SCHEMA_CONSTRAINTS,
        Automatons.fromReadable(copy), docOp).isValid()) {
      v.printDescriptions(System.err);
      fail("Invalid operation");
    }

    copy.consume(docOp);
View Full Code Here
273
274
275
276
277
278
279
280
281
282
283
        DocOpUtil.toXmlString(copy.asOperation()));
    DocOp inverted = DocOpInverter.invert(docOp);
    v = new ViolationCollector();
    if (!DocOpValidator.validate(v, DocumentSchema.NO_SCHEMA_CONSTRAINTS,
        Automatons.fromReadable(copy), inverted).isValid()) {
      v.printDescriptions(System.err);
      fail("Invalid operation");
    }
    copy.consume(inverted);
    assertEquals(initial, DocOpUtil.toXmlString(copy.asOperation()));
  }
View Full Code Here
677
678
679
680
681
682
683
684
685
686
687
    } catch (AssertionFailedError e) {
      System.err.println("test data:");
      System.err.println(DocOpUtil.toConciseString(d.finish()));
      System.err.println(DocOpUtil.toConciseString(m.finish()));
      System.err.println("violations:");
      v.printDescriptions(System.err);
      throw e;
    }
  }

}
View Full Code Here
234
235
236
237
238
239
240
241
242
243
244
  }

  private void validate(AutomatonDocument doc, DocOp op) {
    ViolationCollector v = new ViolationCollector();
    if (!DocOpValidator.validate(v, null, doc, op).isValid()) {
      v.printDescriptions(System.err);
      throw new AssertionFailedError("Validation failed: " + v);
    }
  }

  private int iteration;
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.