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

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: SubstitutionGroupComparator.cpp,v $
  58.  * Revision 1.11  2001/11/28 16:46:03  tng
  59.  * Schema fix: Initialize the temporary string as null terminated.
  60.  *
  61.  * Revision 1.10  2001/11/21 14:30:13  knoaman
  62.  * Fix for UPA checking.
  63.  *
  64.  * Revision 1.9  2001/11/07 21:50:28  tng
  65.  * Fix comment log that lead to error.
  66.  *
  67.  * Revision 1.8  2001/11/07 21:12:15  tng
  68.  * Performance: Create QName in ContentSpecNode only if it is a leaf/Any/PCDataNode.
  69.  *
  70.  * Revision 1.7  2001/10/04 15:08:56  knoaman
  71.  * Add support for circular import.
  72.  *
  73.  * Revision 1.6  2001/08/21 15:57:51  tng
  74.  * Schema: Add isAllowedByWildcard.  Help from James Murphy.
  75.  *
  76.  * Revision 1.5  2001/05/29 19:47:22  knoaman
  77.  * Fix bug -  memory was not allocated before call to XMLString::subString
  78.  *
  79.  * Revision 1.4  2001/05/28 20:55:42  tng
  80.  * Schema: Null pointer checking in SubsitutionGropuComparator
  81.  *
  82.  * Revision 1.3  2001/05/11 13:27:37  tng
  83.  * Copyright update.
  84.  *
  85.  * Revision 1.2  2001/05/04 14:50:28  tng
  86.  * Fixed the cvs symbols.
  87.  *
  88.  *
  89.  */
  90. // ---------------------------------------------------------------------------
  91. //  Includes
  92. // ---------------------------------------------------------------------------
  93. #include <validators/schema/SubstitutionGroupComparator.hpp>
  94. #include <validators/common/Grammar.hpp>
  95. #include <validators/schema/SchemaGrammar.hpp>
  96. #include <validators/schema/ComplexTypeInfo.hpp>
  97. #include <validators/schema/SchemaSymbols.hpp>
  98. bool SubstitutionGroupComparator::isEquivalentTo(QName* const anElement
  99.                                                , QName* const exemplar)
  100. {
  101.     if (!anElement && !exemplar)
  102.         return true;
  103.     if ((!anElement && exemplar) || (anElement && !exemplar))
  104.         return false;
  105.     if ((XMLString::compareString(anElement->getLocalPart(), exemplar->getLocalPart()) == 0) &&
  106.         (anElement->getURI() == exemplar->getURI()))
  107.         return true; // they're the same!
  108.     if (!fGrammarResolver || !fStringPool )
  109.     {
  110.         ThrowXML(RuntimeException, XMLExcepts::SubGrpComparator_NGR);
  111.     }
  112.     unsigned int uriId = anElement->getURI();
  113.     if (uriId == XMLContentModel::gEOCFakeId ||
  114.         uriId == XMLContentModel::gEpsilonFakeId ||
  115.         uriId == XMLElementDecl::fgPCDataElemId)
  116.         return false;
  117.     const XMLCh* uri = fStringPool->getValueForId(uriId);
  118.     const XMLCh* localpart = anElement->getLocalPart();
  119.     // In addition to simply trying to find a chain between anElement and exemplar,
  120.     // we need to make sure that no steps in the chain are blocked.
  121.     // That is, at every step, we need to make sure that the element
  122.     // being substituted for will permit being substituted
  123.     // for, and whether the type of the element will permit derivations in
  124.     // instance documents of this sort.
  125.     if (!uri)
  126.         return false;
  127.     SchemaGrammar *sGrammar = (SchemaGrammar*) fGrammarResolver->getGrammar(uri);
  128.     if (!sGrammar || sGrammar->getGrammarType() == Grammar::DTDGrammarType)
  129.         return false;
  130.     SchemaElementDecl* pElemDecl = (SchemaElementDecl*) sGrammar->getElemDecl(uriId, localpart, 0, Grammar::TOP_LEVEL_SCOPE);
  131.     if (!pElemDecl)
  132.         return false;
  133.     SchemaElementDecl* anElementDecl = pElemDecl;     // to preserve the ElementDecl for anElement
  134.     XMLCh* substitutionGroupFullName = pElemDecl->getSubstitutionGroupName();
  135.     bool foundIt = false;
  136.     while (substitutionGroupFullName)
  137.     {
  138.         int commaAt = XMLString::indexOf(substitutionGroupFullName, chComma);
  139.         XMLCh tmpURI[256];
  140.         tmpURI[0] = chNull;
  141.         XMLCh tmpLocalpart[256];
  142.         tmpLocalpart[0] = chNull;
  143.         if (commaAt >= 0)
  144.         {
  145.             if (commaAt > 0)
  146.                  XMLString::subString(tmpURI, substitutionGroupFullName, 0, commaAt);
  147.             XMLString::subString(tmpLocalpart, substitutionGroupFullName, commaAt+1, XMLString::stringLen(substitutionGroupFullName));
  148.         }
  149.         else {
  150.             XMLString::subString(tmpLocalpart, substitutionGroupFullName, 0, XMLString::stringLen(substitutionGroupFullName));
  151.         }
  152.         sGrammar = (SchemaGrammar*) fGrammarResolver->getGrammar(tmpURI);
  153.         if (!sGrammar || sGrammar->getGrammarType() == Grammar::DTDGrammarType)
  154.             return false;
  155.         uriId = fStringPool->addOrFind(tmpURI);
  156.         pElemDecl = (SchemaElementDecl*) sGrammar->getElemDecl(uriId, tmpLocalpart, 0, Grammar::TOP_LEVEL_SCOPE);
  157.         if (!pElemDecl)
  158.             return false;
  159.         if ((XMLString::compareString(tmpLocalpart, exemplar->getLocalPart()) == 0) &&
  160.             (uriId == exemplar->getURI()))
  161.         {
  162.             // time to check for block value on element
  163.             if((pElemDecl->getBlockSet() & SchemaSymbols::SUBSTITUTION) != 0)
  164.                 return false;
  165.             foundIt = true;
  166.             break;
  167.         }
  168.         substitutionGroupFullName = pElemDecl->getSubstitutionGroupName();
  169.     }//while
  170.     if (!foundIt)
  171.         return false;
  172.     // this will contain anElement's complexType information.
  173.     ComplexTypeInfo *aComplexType = anElementDecl->getComplexTypeInfo();
  174.     int exemplarBlockSet = pElemDecl->getBlockSet();
  175.     if(!aComplexType)
  176.     {
  177.         // check on simpleType case
  178.         DatatypeValidator *anElementDV = anElementDecl->getDatatypeValidator();
  179.         DatatypeValidator *exemplarDV = pElemDecl->getDatatypeValidator();
  180.         return((anElementDV == 0) ||
  181.             ((anElementDV == exemplarDV) ||
  182.             ((exemplarBlockSet & SchemaSymbols::RESTRICTION) == 0)));
  183.     }
  184.     // now we have to make sure there are no blocks on the complexTypes that this is based upon
  185.     int anElementDerivationMethod = aComplexType->getDerivedBy();
  186.     if((anElementDerivationMethod & exemplarBlockSet) != 0)
  187.         return false;
  188.     // this will contain exemplar's complexType information.
  189.     ComplexTypeInfo *exemplarComplexType = pElemDecl->getComplexTypeInfo();
  190.     for(ComplexTypeInfo *tempType = aComplexType;
  191.         tempType != 0 && tempType != exemplarComplexType;
  192.         tempType = tempType->getBaseComplexTypeInfo())
  193.     {
  194.         if((tempType->getBlockSet() & anElementDerivationMethod) != 0)
  195.             return false;
  196.     }//for
  197.     return true;
  198. }
  199. bool SubstitutionGroupComparator::isAllowedByWildcard(SchemaGrammar* const pGrammar,
  200.                                                       QName* const element,
  201.                                                       unsigned int wuri, bool wother)
  202. {
  203.     // whether the uri is allowed directly by the wildcard
  204.     unsigned int uriId = element->getURI();
  205.     if ((!wother && uriId == wuri) ||
  206.         (wother && uriId != wuri && uriId != XMLContentModel::gEOCFakeId && uriId != XMLContentModel::gEpsilonFakeId))
  207.     {
  208.         return true;
  209.     }
  210.     // get all elements that can substitute the current element
  211.     RefHash2KeysTableOf<ElemVector>* theValidSubstitutionGroups = pGrammar->getValidSubstitutionGroups();
  212.     if (!theValidSubstitutionGroups)
  213.         return false;
  214.     ValueVectorOf<SchemaElementDecl*>* subsElements = theValidSubstitutionGroups->get(element->getLocalPart(), uriId);
  215.     if (!subsElements)
  216.         return false;
  217.     // then check whether there exists one element that is allowed by the wildcard
  218.     int size = subsElements->size();
  219.     for (int i = 0; i < size; i++)
  220.     {
  221.         unsigned int subUriId = subsElements->elementAt(i)->getElementName()->getURI();
  222.         if ((!wother && subUriId == wuri) ||
  223.             (wother && subUriId != wuri && subUriId != XMLContentModel::gEOCFakeId && subUriId != XMLContentModel::gEpsilonFakeId))
  224.         {
  225.             return true;
  226.         }
  227.     }
  228.     return false;
  229. }
  230. /**
  231.   * End of file SubstitutionGroupComparator.cpp
  232.   */