XercesElementWildcard.cpp
上传用户:huihehuasu
上传日期:2007-01-10
资源大小:6948k
文件大小:7k
源码类别:

xml/soap/webservice

开发平台:

C/C++

  1. /*
  2.  * The Apache Software License, Version 1.1
  3.  *
  4.  * Copyright (c) 2001 The Apache Software Foundation.  All rights
  5.  * reserved.
  6.  *
  7.  * Redistribution and use in source and binary forms, with or without
  8.  * modification, are permitted provided that the following conditions
  9.  * are met:
  10.  *
  11.  * 1. Redistributions of source code must retain the above copyright
  12.  *    notice, this list of conditions and the following disclaimer.
  13.  *
  14.  * 2. Redistributions in binary form must reproduce the above copyright
  15.  *    notice, this list of conditions and the following disclaimer in
  16.  *    the documentation and/or other materials provided with the
  17.  *    distribution.
  18.  *
  19.  * 3. The end-user documentation included with the redistribution,
  20.  *    if any, must include the following acknowledgment:
  21.  *       "This product includes software developed by the
  22.  *        Apache Software Foundation (http://www.apache.org/)."
  23.  *    Alternately, this acknowledgment may appear in the software itself,
  24.  *    if and wherever such third-party acknowledgments normally appear.
  25.  *
  26.  * 4. The names "Xerces" and "Apache Software Foundation" must
  27.  *    not be used to endorse or promote products derived from this
  28.  *    software without prior written permission. For written
  29.  *    permission, please contact apache@apache.org.
  30.  *
  31.  * 5. Products derived from this software may not be called "Apache",
  32.  *    nor may "Apache" appear in their name, without prior written
  33.  *    permission of the Apache Software Foundation.
  34.  *
  35.  * THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESSED OR IMPLIED
  36.  * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
  37.  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
  38.  * DISCLAIMED.  IN NO EVENT SHALL THE APACHE SOFTWARE FOUNDATION OR
  39.  * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  40.  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  41.  * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF
  42.  * USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
  43.  * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
  44.  * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
  45.  * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  46.  * SUCH DAMAGE.
  47.  * ====================================================================
  48.  *
  49.  * This software consists of voluntary contributions made by many
  50.  * individuals on behalf of the Apache Software Foundation, and was
  51.  * originally based on software copyright (c) 2001, International
  52.  * Business Machines, Inc., http://www.ibm.com .  For more information
  53.  * on the Apache Software Foundation, please see
  54.  * <http://www.apache.org/>.
  55.  */
  56. /*
  57.  * $Log: XercesElementWildcard.cpp,v $
  58.  * Revision 1.3  2001/11/21 14:30:13  knoaman
  59.  * Fix for UPA checking.
  60.  *
  61.  * Revision 1.2  2001/08/22 16:58:27  tng
  62.  * typo: the type should be t1/t2, not w1/w2.
  63.  *
  64.  * Revision 1.1  2001/08/21 15:58:42  tng
  65.  * Schema: New files XercesElementWildCard.
  66.  *
  67.  */
  68. // ---------------------------------------------------------------------------
  69. //  Includes
  70. // ---------------------------------------------------------------------------
  71. #include <validators/schema/XercesElementWildcard.hpp>
  72. // ---------------------------------------------------------------------------
  73. //  Local methods
  74. // ---------------------------------------------------------------------------
  75. /**
  76.  * XercesElementWildcard is used to check whether two element declarations conflict
  77.  */
  78. /**
  79.  * Check whether two element declarations conflict
  80.  */
  81. bool XercesElementWildcard::conflict(SchemaGrammar* const pGrammar,
  82.                                      ContentSpecNode::NodeTypes   type1,
  83.                                      QName*                       q1,
  84.                                      ContentSpecNode::NodeTypes   type2,
  85.                                      QName*                       q2,
  86.                                      SubstitutionGroupComparator* comparator)
  87. {
  88.     if (type1 == ContentSpecNode::Leaf &&
  89.         type2 == ContentSpecNode::Leaf) {
  90.         if (comparator->isEquivalentTo(q1, q2) || comparator->isEquivalentTo(q2, q1))
  91.             return true;
  92.     }
  93.     else if (type1 == ContentSpecNode::Leaf) {
  94.         return uriInWildcard(pGrammar, q1, q2->getURI(), type2, comparator);
  95.     }
  96.     else if (type2 == ContentSpecNode::Leaf) {
  97.         return uriInWildcard(pGrammar, q2, q1->getURI(), type1, comparator);
  98.     }
  99.     else {
  100.         return wildcardIntersect(type1, q1->getURI(), type2, q2->getURI());
  101.     }
  102.     return false;
  103. }
  104. bool XercesElementWildcard::uriInWildcard(SchemaGrammar* const         pGrammar,
  105.                                           QName*                       qname,
  106.                                           unsigned int                 wildcard,
  107.                                           ContentSpecNode::NodeTypes   wtype,
  108.                                           SubstitutionGroupComparator* comparator)
  109. {
  110.     if ((wtype & 0x0f)== ContentSpecNode::Any) {
  111.         return true;
  112.     }
  113.     else if ((wtype & 0x0f)== ContentSpecNode::Any_NS) {
  114.         // substitution of "uri" satisfies "wtype:wildcard"
  115.         return comparator->isAllowedByWildcard(pGrammar, qname, wildcard, false);
  116.     }
  117.     else if ((wtype & 0x0f)== ContentSpecNode::Any_Other) {
  118.         // substitution of "uri" satisfies "wtype:wildcard"
  119.         return comparator->isAllowedByWildcard(pGrammar, qname, wildcard, true);
  120.     }
  121.     return false;
  122. }
  123. bool XercesElementWildcard::wildcardIntersect(ContentSpecNode::NodeTypes t1,
  124.                                               unsigned int               w1,
  125.                                               ContentSpecNode::NodeTypes t2,
  126.                                               unsigned int               w2)
  127. {
  128.     if (((t1 & 0x0f) == ContentSpecNode::Any) ||
  129.         ((t2 & 0x0f) == ContentSpecNode::Any)) {
  130.         // if either one is "##any", then intersects
  131.         return true;
  132.     }
  133.     else if (((t1 & 0x0f) == ContentSpecNode::Any_NS) &&
  134.              ((t2 & 0x0f) == ContentSpecNode::Any_NS) &&
  135.              (w1 == w2)) {
  136.         // if both are "some_namespace" and equal, then intersects
  137.         return true;
  138.     }
  139.     else if (((t1 & 0x0f) == ContentSpecNode::Any_Other) &&
  140.              ((t2 & 0x0f) == ContentSpecNode::Any_Other)) {
  141.         // if both are "##other", and equal, then intersects
  142.         return true;
  143.     }
  144.     else if (((((t1 & 0x0f) == ContentSpecNode::Any_NS) &&
  145.                ((t2 & 0x0f) == ContentSpecNode::Any_Other)) ||
  146.               (((t1 & 0x0f) == ContentSpecNode::Any_Other) &&
  147.                ((t2 & 0x0f) == ContentSpecNode::Any_NS))) &&
  148.              (w1 != w2)) {
  149.         return true;
  150.     }
  151.     return false;
  152. }