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

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

1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
  /**
   * Checks if an endAnnotation with the given parameters would be valid.
   */
  public ValidationResult checkEndAnnotation(String key, ViolationCollector v) {
    {
      ValidationResult r = validateAnnotationKey(key, v);
      if (r != ValidationResult.VALID) { return r; }
    }
    if (!isAnnotationOpen(key)) { return mismatchedEndAnnotation(v, key); }
    return valid();
  }
View Full Code Here
319
320
321
322
323
324
325
326
327
328
329
330
              @Override
              public Pair<String, String> map(String value) {
                Attributes b = finalAttrAccu.updateWith(
                    new AttributesUpdateImpl(name, null, value));
                assert b != finalAttrAccu; // assert non-destructiveness
                ValidationResult v = checker.check(b);
                if (valid && !v.isValid() || !valid && v.isIllFormed()) {
                  return null;
                } else {
                  return Pair.of(name, value);
                }
              }
View Full Code Here
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
        return 0;
      }

      @Override
      RandomizerMutationComponent generate(boolean valid) {
        ValidationResult v = a.checkCharacters("a", null);
        if (v.isIllFormed()) {
          return null;
        }
        int count;
        if (valid) {
          if (!v.isValid()) {
            return null;
          }
          int max = Math.min(a.maxLengthIncrease(), p.getMaxInsertLength());
          if (max == 0) {
            return null;
          }
          count = randomIntFromRange(r, 1, max + 1);
        } else {
          if (v.isValid()) {
            // Exceed length of document (if p.maxInsertLength allows it).
            int max = p.getMaxInsertLength();
            int min = a.maxLengthIncrease() + 1;
            if (min > max) {
              return null;
View Full Code Here
351
352
353
354
355
356
357
358
359
360
361
362
        Pair<String, Attributes> args = pickRandomNonNullMappedElement(r, p.getElementTypes(),
            new Mapper<String, Pair<String, Attributes>>() {
              @Override
              public Pair<String, Attributes> map(final String tag) {
                {
                  ValidationResult v = a.checkElementStart(tag, Attributes.EMPTY_MAP, null);
                  if (valid && !v.isValid() || !valid && v.isIllFormed()) {
                    // Early exit if we can't build an element start with this tag.
                    return null;
                  }
                }
View Full Code Here
879
880
881
882
883
884
885
886
887
888
889
  public ValidationResult checkElementStart(String tag, Map<String, String> attr,
      ViolationCollector v) {
    if (tag == null) { return nullTag(v); }
    if (!isXmlName(tag)) { return elementTypeNotXmlName(v, tag); }
    {
      ValidationResult attrViolation = validateAttributes(tag, attr, v, false);
      if (attrViolation != ValidationResult.VALID) { return attrViolation; }
    }
    if (topOfStackIsDeletion()) { return insertInsideDelete(v); }
    if (!canIncreaseLength(2)) { return tooLong(v); }
    if (effectiveDocSymbol() == DocSymbol.END
View Full Code Here
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
  /**
   * Checks if a startAnnotation with the given parameters would be valid.
   */
  public ValidationResult checkStartAnnotation(String key, String value, ViolationCollector v) {
    {
      ValidationResult r = validateAnnotationKey(key, v);
      if (r != ValidationResult.VALID) { return r; }
    }
    return valid();
  }
View Full Code Here
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
  /**
   * Checks if an endAnnotation with the given parameters would be valid.
   */
  public ValidationResult checkEndAnnotation(String key, ViolationCollector v) {
    {
      ValidationResult r = validateAnnotationKey(key, v);
      if (r != ValidationResult.VALID) { return r; }
    }
    if (!isAnnotationOpen(key)) { return mismatchedEndAnnotation(v, key); }
    return valid();
  }
View Full Code Here
639
640
641
642
643
644
645
646
647
648
649
650
              @Override
              public AttributesUpdate map(String value) {
                AttributesUpdate b = finalAccu.composeWith(new AttributesUpdateImpl(name,
                    oldAttributes.get(name), value));
                assert b != finalAccu; // assert non-destructiveness
                ValidationResult v = checker.check(b);
                if (valid && !v.isValid() || !valid && v.isIllFormed()) {
                  return null;
                } else {
                  return b;
                }
              }
View Full Code Here
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
      @Override
      RandomizerOperationComponent generate(DocOpAutomaton a, boolean valid, Stage stage) {
        if (stage != Stage.S1_UNRESTRICTED) {
          return null;
        }
        ValidationResult v = a.checkCharacters("a", null);
        if (v.isIllFormed()) {
          return null;
        }
        int count;
        if (valid) {
          if (!v.isValid()) {
            return null;
          }
          // TODO: implement this once we have size limits.
          int max = p.getMaxInsertLength();
          if (max == 0) {
            return null;
          }
          count = randomIntFromRange(r, 1, max + 1);
        } else {
          if (v.isValid()) {
            // Exceed length of document (if p.maxInsertLength allows it).
            int max = p.getMaxInsertLength();
            // TODO: implement this once we have size limits.
            //count = randomIntFromRange(r, min, max + 1);
            return null;
View Full Code Here
675
676
677
678
679
680
681
682
683
684
685
686
      }

      RandomizerOperationComponent generateGivenTag(final DocOpAutomaton a, final boolean valid,
          final String tag) {
        {
          ValidationResult v = a.checkElementStart(tag, Attributes.EMPTY_MAP, null);
          if (valid && !v.isValid() || !valid && v.isIllFormed()) {
            // Early exit if we can't build an element start with this tag.
            return null;
          }
        }
View Full Code Here
TOP

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

  • org.waveprotocol.wave.model.document.operation.impl.DocOpValidatorTest
  • org.waveprotocol.wave.model.document.operation.NindoAutomaton
  • org.waveprotocol.wave.model.testing.RandomDocOpGenerator$Generator
  • org.waveprotocol.wave.model.testing.RandomDocOpGenerator$Generator$AnnotationBoundaryGenerator
  • org.waveprotocol.wave.model.testing.RandomDocOpGenerator$Generator$CharactersGenerator
  • org.waveprotocol.wave.model.testing.RandomDocOpGenerator$Generator$ElementStartGenerator
  • org.waveprotocol.wave.model.testing.RandomNindoGenerator$Generator
  • org.waveprotocol.wave.model.testing.RandomNindoGenerator$Generator$CharactersGenerator
  • org.waveprotocol.wave.model.testing.RandomNindoGenerator$Generator$ElementStartGenerator
    • 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.