aoqi@0: /*
aoqi@0:  * Copyright (c) 2005, 2010, Oracle and/or its affiliates. All rights reserved.
aoqi@0:  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0:  *
aoqi@0:  * This code is free software; you can redistribute it and/or modify it
aoqi@0:  * under the terms of the GNU General Public License version 2 only, as
aoqi@0:  * published by the Free Software Foundation.  Oracle designates this
aoqi@0:  * particular file as subject to the "Classpath" exception as provided
aoqi@0:  * by Oracle in the LICENSE file that accompanied this code.
aoqi@0:  *
aoqi@0:  * This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0:  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0:  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
aoqi@0:  * version 2 for more details (a copy is included in the LICENSE file that
aoqi@0:  * accompanied this code).
aoqi@0:  *
aoqi@0:  * You should have received a copy of the GNU General Public License version
aoqi@0:  * 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0:  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0:  *
aoqi@0:  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0:  * or visit www.oracle.com if you need additional information or have any
aoqi@0:  * questions.
aoqi@0:  */
aoqi@0: /*
aoqi@0:  * Copyright (C) 2004-2011
aoqi@0:  *
aoqi@0:  * Permission is hereby granted, free of charge, to any person obtaining a copy
aoqi@0:  * of this software and associated documentation files (the "Software"), to deal
aoqi@0:  * in the Software without restriction, including without limitation the rights
aoqi@0:  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
aoqi@0:  * copies of the Software, and to permit persons to whom the Software is
aoqi@0:  * furnished to do so, subject to the following conditions:
aoqi@0:  *
aoqi@0:  * The above copyright notice and this permission notice shall be included in
aoqi@0:  * all copies or substantial portions of the Software.
aoqi@0:  *
aoqi@0:  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
aoqi@0:  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
aoqi@0:  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
aoqi@0:  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
aoqi@0:  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
aoqi@0:  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
aoqi@0:  * THE SOFTWARE.
aoqi@0:  */
aoqi@0: package com.sun.xml.internal.rngom.binary;
aoqi@0: 
aoqi@0: import com.sun.xml.internal.rngom.binary.visitor.PatternFunction;
aoqi@0: import com.sun.xml.internal.rngom.binary.visitor.PatternVisitor;
aoqi@0: 
aoqi@0: public class InterleavePattern extends BinaryPattern {
aoqi@0:   InterleavePattern(Pattern p1, Pattern p2) {
aoqi@0:     super(p1.isNullable() && p2.isNullable(),
aoqi@0:           combineHashCode(INTERLEAVE_HASH_CODE, p1.hashCode(), p2.hashCode()),
aoqi@0:           p1,
aoqi@0:           p2);
aoqi@0:   }
aoqi@0:     @Override
aoqi@0:   Pattern expand(SchemaPatternBuilder b) {
aoqi@0:     Pattern ep1 = p1.expand(b);
aoqi@0:     Pattern ep2 = p2.expand(b);
aoqi@0:     if (ep1 != p1 || ep2 != p2)
aoqi@0:       return b.makeInterleave(ep1, ep2);
aoqi@0:     else
aoqi@0:       return this;
aoqi@0:   }
aoqi@0:     @Override
aoqi@0:   void checkRestrictions(int context, DuplicateAttributeDetector dad, Alphabet alpha)
aoqi@0:     throws RestrictionViolationException {
aoqi@0:     switch (context) {
aoqi@0:     case START_CONTEXT:
aoqi@0:       throw new RestrictionViolationException("start_contains_interleave");
aoqi@0:     case DATA_EXCEPT_CONTEXT:
aoqi@0:       throw new RestrictionViolationException("data_except_contains_interleave");
aoqi@0:     case LIST_CONTEXT:
aoqi@0:       throw new RestrictionViolationException("list_contains_interleave");
aoqi@0:     }
aoqi@0:     if (context == ELEMENT_REPEAT_CONTEXT)
aoqi@0:       context = ELEMENT_REPEAT_INTERLEAVE_CONTEXT;
aoqi@0:     Alphabet a1;
aoqi@0:     if (alpha != null && alpha.isEmpty())
aoqi@0:       a1 = alpha;
aoqi@0:     else
aoqi@0:       a1 = new Alphabet();
aoqi@0:     p1.checkRestrictions(context, dad, a1);
aoqi@0:     if (a1.isEmpty())
aoqi@0:       p2.checkRestrictions(context, dad, a1);
aoqi@0:     else {
aoqi@0:       Alphabet a2 = new Alphabet();
aoqi@0:       p2.checkRestrictions(context, dad, a2);
aoqi@0:       a1.checkOverlap(a2);
aoqi@0:       if (alpha != null) {
aoqi@0:         if (alpha != a1)
aoqi@0:           alpha.addAlphabet(a1);
aoqi@0:         alpha.addAlphabet(a2);
aoqi@0:       }
aoqi@0:     }
aoqi@0:     if (context != LIST_CONTEXT
aoqi@0:         && !contentTypeGroupable(p1.getContentType(), p2.getContentType()))
aoqi@0:       throw new RestrictionViolationException("interleave_string");
aoqi@0:     if (p1.getContentType() == MIXED_CONTENT_TYPE
aoqi@0:         && p2.getContentType() == MIXED_CONTENT_TYPE)
aoqi@0:       throw new RestrictionViolationException("interleave_text_overlap");
aoqi@0:   }
aoqi@0: 
aoqi@0:   public void accept(PatternVisitor visitor) {
aoqi@0:     visitor.visitInterleave(p1, p2);
aoqi@0:   }
aoqi@0:   public Object apply(PatternFunction f) {
aoqi@0:     return f.caseInterleave(this);
aoqi@0:   }
aoqi@0: }