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:
31: public class ChoicePattern extends BinaryPattern {
32: ChoicePattern(Pattern p1, Pattern p2) {
33: super (p1.isNullable() || p2.isNullable(), combineHashCode(
34: CHOICE_HASH_CODE, p1.hashCode(), p2.hashCode()), p1, p2);
35: }
36:
37: Pattern expand(SchemaPatternBuilder b) {
38: Pattern ep1 = p1.expand(b);
39: Pattern ep2 = p2.expand(b);
40: if (ep1 != p1 || ep2 != p2)
41: return b.makeChoice(ep1, ep2);
42: else
43: return this ;
44: }
45:
46: boolean containsChoice(Pattern p) {
47: return p1.containsChoice(p) || p2.containsChoice(p);
48: }
49:
50: public void accept(PatternVisitor visitor) {
51: visitor.visitChoice(p1, p2);
52: }
53:
54: public Object apply(PatternFunction f) {
55: return f.caseChoice(this );
56: }
57:
58: void checkRestrictions(int context, DuplicateAttributeDetector dad,
59: Alphabet alpha) throws RestrictionViolationException {
60: if (dad != null)
61: dad.startChoice();
62: p1.checkRestrictions(context, dad, alpha);
63: if (dad != null)
64: dad.alternative();
65: p2.checkRestrictions(context, dad, alpha);
66: if (dad != null)
67: dad.endChoice();
68: }
69:
70: }
|