com.thaiopensource.relaxng.pattern.StartAttributeDerivFunction Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of wicketstuff-jing Show documentation

Jing is a validator for RELAX NG and other schema languages. This project was taken from http://code.google.com/p/jing-trang and mavenized for inclusion in the Wicket Stuff HTML Validator. The code was taken from the 20091111 release.

There is a newer version: 1.11

Show newest version

package com.thaiopensource.relaxng.pattern;

import com.thaiopensource.xml.util.Name;

class StartAttributeDerivFunction extends StartTagOpenDerivFunction {
  StartAttributeDerivFunction(Name name, ValidatorPatternBuilder builder) {
    super(name, builder);
  }

  public Pattern caseElement(ElementPattern p) {
    return getPatternBuilder().makeNotAllowed();
  }

  public Pattern caseGroup(GroupPattern p) {
    final Pattern p1 = p.getOperand1();
    final Pattern p2 = p.getOperand2();
    return getPatternBuilder().makeChoice(
            memoApply(p1).apply(new ApplyAfterFunction(getPatternBuilder()) {
              Pattern apply(Pattern x) {
                return getPatternBuilder().makeGroup(x, p2);
              }
            }),
            memoApply(p2).apply(new ApplyAfterFunction(getPatternBuilder()) {
              Pattern apply(Pattern x) {
                return getPatternBuilder().makeGroup(p1, x);
              }
            }));
  }

  public Pattern caseAttribute(AttributePattern p) {
    if (!p.getNameClass().contains(getName()))
      return getPatternBuilder().makeNotAllowed();
    return getPatternBuilder().makeAfter(p.getContent(),
					 getPatternBuilder().makeEmpty());
  }

  PatternMemo apply(PatternMemo memo) {
    return memo.startAttributeDeriv(this);
  }
}