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

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

1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
   * 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
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
                .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

  • com.google.walkaround.wave.shared.OperationFactory
  • org.waveprotocol.wave.client.editor.harness.EditorHarness
  • org.waveprotocol.wave.model.document.bootstrap.BootstrapDocument
  • org.waveprotocol.wave.model.document.indexed.IndexedDocumentImpl
  • org.waveprotocol.wave.model.document.indexed.IndexedDocumentImplRandomLargeTest
  • org.waveprotocol.wave.model.document.indexed.IndexedDocumentImplTest
  • org.waveprotocol.wave.model.document.operation.impl.BufferedDocOpImpl
  • org.waveprotocol.wave.model.document.operation.impl.DocOpValidatorTest
  • org.waveprotocol.wave.model.document.operation.NindoValidator
  • org.waveprotocol.wave.model.testing.RandomDocOpGenerator
    • 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.