01: /*
02: * Copyright 2006 Sun Microsystems, Inc. All Rights Reserved.
03: * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
04: *
05: * This code is free software; you can redistribute it and/or modify it
06: * under the terms of the GNU General Public License version 2 only, as
07: * published by the Free Software Foundation. Sun designates this
08: * particular file as subject to the "Classpath" exception as provided
09: * by Sun in the LICENSE file that accompanied this code.
10: *
11: * This code is distributed in the hope that it will be useful, but WITHOUT
12: * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13: * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14: * version 2 for more details (a copy is included in the LICENSE file that
15: * accompanied this code).
16: *
17: * You should have received a copy of the GNU General Public License version
18: * 2 along with this work; if not, write to the Free Software Foundation,
19: * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
20: *
21: * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
22: * CA 95054 USA or visit www.sun.com if you need additional information or
23: * have any questions.
24: */
25:
26: package com.sun.xml.internal.rngom.binary;
27:
28: import com.sun.xml.internal.rngom.binary.visitor.PatternFunction;
29: import com.sun.xml.internal.rngom.binary.visitor.PatternVisitor;
30: import org.relaxng.datatype.Datatype;
31: import org.xml.sax.Locator;
32:
33: public class DataExceptPattern extends DataPattern {
34: private Pattern except;
35: private Locator loc;
36:
37: DataExceptPattern(Datatype dt, Pattern except, Locator loc) {
38: super (dt);
39: this .except = except;
40: this .loc = loc;
41: }
42:
43: boolean samePattern(Pattern other) {
44: if (!super .samePattern(other))
45: return false;
46: return except.samePattern(((DataExceptPattern) other).except);
47: }
48:
49: public void accept(PatternVisitor visitor) {
50: visitor.visitDataExcept(getDatatype(), except);
51: }
52:
53: public Object apply(PatternFunction f) {
54: return f.caseDataExcept(this );
55: }
56:
57: void checkRestrictions(int context, DuplicateAttributeDetector dad,
58: Alphabet alpha) throws RestrictionViolationException {
59: super .checkRestrictions(context, dad, alpha);
60: try {
61: except.checkRestrictions(DATA_EXCEPT_CONTEXT, null, null);
62: } catch (RestrictionViolationException e) {
63: e.maybeSetLocator(loc);
64: throw e;
65: }
66: }
67:
68: Pattern getExcept() {
69: return except;
70: }
71: }
|