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.nc.ChoiceNameClass;
29: import com.sun.xml.internal.rngom.nc.NameClass;
30:
31: class Alphabet {
32: private NameClass nameClass;
33:
34: boolean isEmpty() {
35: return nameClass == null;
36: }
37:
38: void addElement(NameClass nc) {
39: if (nameClass == null)
40: nameClass = nc;
41: else if (nc != null)
42: nameClass = new ChoiceNameClass(nameClass, nc);
43: }
44:
45: void addAlphabet(Alphabet a) {
46: addElement(a.nameClass);
47: }
48:
49: void checkOverlap(Alphabet a) throws RestrictionViolationException {
50: if (nameClass != null && a.nameClass != null
51: && nameClass.hasOverlapWith(a.nameClass))
52: throw new RestrictionViolationException(
53: "interleave_element_overlap");
54: }
55: }
|