1 /*
   2  * Copyright (c) 2005, 2010, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.  Oracle designates this
   8  * particular file as subject to the "Classpath" exception as provided
   9  * by Oracle 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 Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  22  * or visit www.oracle.com if you need additional information or have any
  23  * 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 InterleavePattern extends BinaryPattern {
  32   InterleavePattern(Pattern p1, Pattern p2) {
  33     super(p1.isNullable() && p2.isNullable(),
  34           combineHashCode(INTERLEAVE_HASH_CODE, p1.hashCode(), p2.hashCode()),
  35           p1,
  36           p2);
  37   }
  38   Pattern expand(SchemaPatternBuilder b) {
  39     Pattern ep1 = p1.expand(b);
  40     Pattern ep2 = p2.expand(b);
  41     if (ep1 != p1 || ep2 != p2)
  42       return b.makeInterleave(ep1, ep2);
  43     else
  44       return this;
  45   }
  46   void checkRestrictions(int context, DuplicateAttributeDetector dad, Alphabet alpha)
  47     throws RestrictionViolationException {
  48     switch (context) {
  49     case START_CONTEXT:
  50       throw new RestrictionViolationException("start_contains_interleave");
  51     case DATA_EXCEPT_CONTEXT:
  52       throw new RestrictionViolationException("data_except_contains_interleave");
  53     case LIST_CONTEXT:
  54       throw new RestrictionViolationException("list_contains_interleave");
  55     }
  56     if (context == ELEMENT_REPEAT_CONTEXT)
  57       context = ELEMENT_REPEAT_INTERLEAVE_CONTEXT;
  58     Alphabet a1;
  59     if (alpha != null && alpha.isEmpty())
  60       a1 = alpha;
  61     else
  62       a1 = new Alphabet();
  63     p1.checkRestrictions(context, dad, a1);
  64     if (a1.isEmpty())
  65       p2.checkRestrictions(context, dad, a1);
  66     else {
  67       Alphabet a2 = new Alphabet();
  68       p2.checkRestrictions(context, dad, a2);
  69       a1.checkOverlap(a2);
  70       if (alpha != null) {
  71         if (alpha != a1)
  72           alpha.addAlphabet(a1);
  73         alpha.addAlphabet(a2);
  74       }
  75     }
  76     if (context != LIST_CONTEXT
  77         && !contentTypeGroupable(p1.getContentType(), p2.getContentType()))
  78       throw new RestrictionViolationException("interleave_string");
  79     if (p1.getContentType() == MIXED_CONTENT_TYPE
  80         && p2.getContentType() == MIXED_CONTENT_TYPE)
  81       throw new RestrictionViolationException("interleave_text_overlap");
  82   }
  83 
  84   public void accept(PatternVisitor visitor) {
  85     visitor.visitInterleave(p1, p2);
  86   }
  87   public Object apply(PatternFunction f) {
  88     return f.caseInterleave(this);
  89   }
  90 }