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

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


   * Returns a randomly-generated document operation based on the given document,
   * parameters, and schema.
   */
  public static DocOp generate(RandomProvider r, Parameters p, AutomatonDocument doc) {
    DocOp op = new Generator(r, p, doc).generate();
    ViolationCollector v = new ViolationCollector();
    DocOpValidator.validate(v, null, doc, op);
    assert !v.isIllFormed();
    assert p.getValidity() == v.isValid();
    return op;
  }
View Full Code Here


                .initializationEnd(toArray(keysToEnd))
                .updateValues(toArray(changeKeys), toArray(changeOldValues),
                    toArray(changeNewValues)).build();
            final RandomizerOperationComponent component = generate(map);
            DocOpAutomaton temp = new DocOpAutomaton(a);
            ViolationCollector v = new ViolationCollector();
            component.check(temp, v);
            assert !component.check(temp, null).isIllFormed();
            component.apply(temp);
//            System.err.println("begin lookahead for " + map);
            RandomizerOperationComponent followup = pickComponent(temp, stage);
View Full Code Here

TOP

Related Classes of org.waveprotocol.wave.model.document.operation.automaton.DocOpAutomaton.ViolationCollector

Copyright © 2018 www.massapicom. 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.