UnionDatatypeValidator.cpp
上传用户:zhuqijet
上传日期:2013-06-25
资源大小:10074k
文件大小:15k
源码类别:

词法分析

开发平台:

Visual 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.  * $Id: UnionDatatypeValidator.cpp,v 1.10 2003/05/16 06:01:57 knoaman Exp $
  58.  * $Log: UnionDatatypeValidator.cpp,v $
  59.  * Revision 1.10  2003/05/16 06:01:57  knoaman
  60.  * Partial implementation of the configurable memory manager.
  61.  *
  62.  * Revision 1.9  2003/05/15 18:53:27  knoaman
  63.  * Partial implementation of the configurable memory manager.
  64.  *
  65.  * Revision 1.8  2003/02/06 13:51:55  gareth
  66.  * fixed bug with multiple attributes being validated by the same union type.
  67.  *
  68.  * Revision 1.7  2003/01/29 19:53:35  gareth
  69.  * we now store information about which validator was used to validate.
  70.  *
  71.  * Revision 1.6  2002/12/18 14:17:55  gareth
  72.  * Fix to bug #13438. When you eant a vector that calls delete[] on its members you should use RefArrayVectorOf.
  73.  *
  74.  * Revision 1.5  2002/12/06 16:45:54  tng
  75.  * header include cleanup.
  76.  *
  77.  * Revision 1.4  2002/11/04 14:53:28  tng
  78.  * C++ Namespace Support.
  79.  *
  80.  * Revision 1.3  2002/09/24 19:44:40  tng
  81.  * Performance: use XMLString::equals instead of XMLString::compareString
  82.  *
  83.  * Revision 1.2  2002/02/14 15:17:31  peiyongz
  84.  * getEnumString()
  85.  *
  86.  * Revision 1.1.1.1  2002/02/01 22:22:42  peiyongz
  87.  * sane_include
  88.  *
  89.  * Revision 1.5  2001/10/02 18:59:29  peiyongz
  90.  * Invalid_Facet_Tag to display the tag name
  91.  *
  92.  * Revision 1.4  2001/09/20 13:11:42  knoaman
  93.  * Regx  + misc. fixes
  94.  *
  95.  * Revision 1.3  2001/08/21 18:42:54  peiyongz
  96.  * Bugzilla# 2816: cleanUp() declared with external linkage and called
  97.  *                          before defined as inline
  98.  *
  99.  * Revision 1.2  2001/08/14 22:11:56  peiyongz
  100.  * new exception message added
  101.  *
  102.  * Revision 1.1  2001/07/13 14:10:40  peiyongz
  103.  * UnionDTV
  104.  *
  105.  */
  106. // ---------------------------------------------------------------------------
  107. //  Includes
  108. // ---------------------------------------------------------------------------
  109. #include <xercesc/validators/datatype/UnionDatatypeValidator.hpp>
  110. #include <xercesc/validators/datatype/InvalidDatatypeFacetException.hpp>
  111. #include <xercesc/validators/datatype/InvalidDatatypeValueException.hpp>
  112. XERCES_CPP_NAMESPACE_BEGIN
  113. static const int BUF_LEN = 64;
  114. static XMLCh value1[BUF_LEN+1];
  115. static XMLCh value2[BUF_LEN+1];
  116. // ---------------------------------------------------------------------------
  117. //  Constructors and Destructor
  118. // ---------------------------------------------------------------------------
  119. UnionDatatypeValidator::UnionDatatypeValidator(MemoryManager* const manager)
  120. :DatatypeValidator(0, 0, 0, DatatypeValidator::Union, manager)
  121. ,fEnumerationInherited(false)
  122. ,fEnumeration(0)
  123. ,fMemberTypeValidators(0)
  124. ,fValidatedDatatype(0)
  125. {}
  126. UnionDatatypeValidator::~UnionDatatypeValidator()
  127. {
  128.     cleanUp();
  129. }
  130. UnionDatatypeValidator::UnionDatatypeValidator(
  131.                         RefVectorOf<DatatypeValidator>* const memberTypeValidators
  132.                       , const int                             finalSet
  133.                       , MemoryManager* const                  manager)
  134. :DatatypeValidator(0, 0, finalSet, DatatypeValidator::Union, manager)
  135. ,fEnumerationInherited(false)
  136. ,fEnumeration(0)
  137. ,fMemberTypeValidators(0)
  138. ,fValidatedDatatype(0)
  139. {
  140.     if ( !memberTypeValidators )
  141.     {
  142.         ThrowXML(InvalidDatatypeFacetException
  143.                , XMLExcepts::FACET_Union_Null_memberTypeValidators);
  144.     }
  145.     // no pattern, no enumeration
  146.     fMemberTypeValidators = memberTypeValidators;
  147. }
  148. UnionDatatypeValidator::UnionDatatypeValidator(
  149.                           DatatypeValidator*            const baseValidator
  150.                         , RefHashTableOf<KVStringPair>* const facets
  151.                         , RefArrayVectorOf<XMLCh>*      const enums
  152.                         , const int                           finalSet
  153.                         , MemoryManager* const                manager)
  154. :DatatypeValidator(baseValidator, facets, finalSet, DatatypeValidator::Union, manager)
  155. ,fEnumerationInherited(false)
  156. ,fEnumeration(0)
  157. ,fMemberTypeValidators(0)
  158. ,fValidatedDatatype(0)
  159. {
  160.     //
  161.     // baseValidator another UnionDTV from which,
  162.     // this UnionDTV is derived by restriction.
  163.     // it shall be not null
  164.     //
  165.     if (!baseValidator)
  166.     {
  167.         ThrowXML(InvalidDatatypeFacetException
  168.                , XMLExcepts::FACET_Union_Null_baseValidator);
  169.     }
  170.     if (baseValidator->getType() != DatatypeValidator::Union)
  171.     {
  172.         XMLString::binToText(baseValidator->getType(), value1, BUF_LEN, 10);
  173.         ThrowXML1(InvalidDatatypeFacetException
  174.                 , XMLExcepts::FACET_Union_invalid_baseValidatorType
  175.                 , value1);
  176.     }
  177.     try
  178.     {
  179.         init(baseValidator, facets, enums);
  180.     }
  181.     catch (...)
  182.     {
  183.         cleanUp();
  184.         throw;
  185.     }
  186. }
  187. void UnionDatatypeValidator::init(DatatypeValidator*            const baseValidator
  188.                                 , RefHashTableOf<KVStringPair>* const facets
  189.                                 , RefArrayVectorOf<XMLCh>*           const enums)
  190. {
  191.     if (enums)
  192.         setEnumeration(enums, false);
  193.     // Set Facets if any defined
  194.     if (facets)
  195.     {
  196.         XMLCh* key;
  197.         XMLCh* value;
  198.         RefHashTableOfEnumerator<KVStringPair> e(facets);
  199.         while (e.hasMoreElements())
  200.         {
  201.             KVStringPair pair = e.nextElement();
  202.             key = pair.getKey();
  203.             value = pair.getValue();
  204.             if (XMLString::equals(key, SchemaSymbols::fgELT_PATTERN))
  205.             {
  206.                 setPattern(value);
  207.                 if (getPattern())
  208.                     setFacetsDefined(DatatypeValidator::FACET_PATTERN);
  209.                 // do not construct regex until needed
  210.             }
  211.             else
  212.             {
  213.                  ThrowXML1(InvalidDatatypeFacetException
  214.                          , XMLExcepts::FACET_Invalid_Tag
  215.                          , key);
  216.             }
  217.         }//while
  218.         /***
  219.            Schema constraint: Part I -- self checking
  220.         ***/
  221.         // Nil
  222.         /***
  223.            Schema constraint: Part II base vs derived checking
  224.         ***/
  225.         // check 4.3.5.c0 must: enumeration values from the value space of base
  226.         if ( ((getFacetsDefined() & DatatypeValidator::FACET_ENUMERATION) != 0) &&
  227.             (getEnumeration() !=0))
  228.         {
  229.             int i = 0;
  230.             int enumLength = getEnumeration()->size();
  231.             try
  232.             {
  233.                 for ( ; i < enumLength; i++)
  234.                 {
  235.                     // ask parent do a complete check
  236.                     //
  237.                     // enum need NOT be passed this->checkContent()
  238.                     // since there are no other facets for Union, parent
  239.                     // checking is good enough.
  240.                     //
  241.                     baseValidator->validate(getEnumeration()->elementAt(i));
  242.                 }
  243.             }
  244.             catch ( XMLException& )
  245.             {
  246.                 ThrowXML1(InvalidDatatypeFacetException
  247.                             , XMLExcepts::FACET_enum_base
  248.                             , getEnumeration()->elementAt(i));
  249.             }
  250.         }
  251.     }// End of Facet setting
  252.     /***
  253.         Inherit facets from base.facets
  254.         The reason of this inheriting (or copying values) is to ease
  255.         schema constraint checking, so that we need NOT trace back to our
  256.         very first base validator in the hierachy. Instead, we are pretty
  257.         sure checking against immediate base validator is enough.
  258.     ***/
  259.     UnionDatatypeValidator *pBaseValidator = (UnionDatatypeValidator*) baseValidator;
  260.     // inherit enumeration
  261.     if (((pBaseValidator->getFacetsDefined() & DatatypeValidator::FACET_ENUMERATION) !=0) &&
  262.         ((getFacetsDefined() & DatatypeValidator::FACET_ENUMERATION) == 0))
  263.     {
  264.         setEnumeration(pBaseValidator->getEnumeration(), true);
  265.     }
  266. }
  267. //
  268. // 1) the bottom level UnionDTV would check against
  269. //        pattern and enumeration as well
  270. // 2) each UnionDTV(s) above the bottom level UnionDTV and
  271. //        below the native UnionDTV (the top level DTV)
  272. //        would check against pattern only.
  273. // 3) the natvie Union DTV (the top level DTV) would invoke
  274. //        memberTypeValidator to validate
  275. //
  276. void UnionDatatypeValidator::checkContent(const XMLCh* const content, bool asBase)
  277. {
  278.     DatatypeValidator* bv = getBaseValidator();
  279.     if (bv)
  280.         ((UnionDatatypeValidator*)bv)->checkContent(content, true);
  281.     else
  282.     {   // 3) native union type
  283.         // check content against each member type validator in Union
  284.         // report an error only in case content is not valid against all member datatypes.
  285.         //
  286.         bool memTypeValid = false;
  287.         for ( unsigned int i = 0; i < fMemberTypeValidators->size(); ++i )
  288.         {
  289.             if ( memTypeValid )
  290.                 break;
  291.             try
  292.             {
  293.                 fMemberTypeValidators->elementAt(i)->validate(content);
  294.                 memTypeValid = true;
  295.                 
  296.                 //set the validator of the type actually used to validate the content
  297.                 DatatypeValidator *dtv = fMemberTypeValidators->elementAt(i);
  298.                 fValidatedDatatype = dtv;
  299.             }
  300.             catch (XMLException&)
  301.             {
  302.                 //absorbed
  303.             }
  304.         } // for
  305.         if ( !memTypeValid )
  306.         {
  307.             ThrowXML1(InvalidDatatypeValueException
  308.                     , XMLExcepts::VALUE_no_match_memberType
  309.                     , content);
  310.             //( "Content '"+content+"' does not match any union types" );
  311.         }
  312.     }
  313.     // 1) and 2). we check pattern first
  314.     if ( (getFacetsDefined() & DatatypeValidator::FACET_PATTERN ) != 0 )
  315.     {
  316.         // lazy construction
  317.         if (getRegex() == 0)
  318.         {
  319.             try {
  320.                 setRegex(new (fMemoryManager) RegularExpression(getPattern(), SchemaSymbols::fgRegEx_XOption, fMemoryManager));
  321.             }
  322.             catch (XMLException &e)
  323.             {
  324.                 ThrowXML1(InvalidDatatypeValueException, XMLExcepts::RethrowError, e.getMessage());
  325.             }
  326.         }
  327.         if (getRegex()->matches(content) == false)
  328.         {
  329.             ThrowXML2(InvalidDatatypeValueException
  330.                     , XMLExcepts::VALUE_NotMatch_Pattern
  331.                     , content
  332.                     , getPattern());
  333.         }
  334.     }
  335.     // if this is a base validator, we only need to check pattern facet
  336.     // all other facet were inherited by the derived type
  337.     if (asBase)
  338.         return;
  339.     if ((getFacetsDefined() & DatatypeValidator::FACET_ENUMERATION) != 0 &&
  340.         (getEnumeration() != 0))
  341.     {
  342.         // If the content match (compare equal) any enumeration with
  343.         // any of the member types, it is considerd valid.
  344.         //
  345.         RefVectorOf<DatatypeValidator>* memberDTV = getMemberTypeValidators();
  346.         RefArrayVectorOf<XMLCh>* tmpEnum = getEnumeration();
  347.         unsigned int memberTypeNumber = memberDTV->size();
  348.         unsigned int enumLength = tmpEnum->size();
  349.         for ( unsigned int memberIndex = 0; memberIndex < memberTypeNumber; ++memberIndex)
  350.         {
  351.             for ( unsigned int enumIndex = 0; enumIndex < enumLength; ++enumIndex)
  352.             {
  353.                 try
  354.                 {
  355.                     if (memberDTV->elementAt(memberIndex)->compare(content, tmpEnum->elementAt(enumIndex)) == 0)
  356.                         return;
  357.                 }
  358.                 catch (XMLException&)
  359.                 {
  360.                     //absorbed
  361.                 }
  362.             } // for enumIndex
  363.         } // for memberIndex
  364.         ThrowXML1(InvalidDatatypeValueException, XMLExcepts::VALUE_NotIn_Enumeration, content);
  365.     } // enumeration
  366. }
  367. //
  368. //
  369. //
  370. int UnionDatatypeValidator::compare(const XMLCh* const lValue
  371.                                   , const XMLCh* const rValue)
  372. {
  373.     RefVectorOf<DatatypeValidator>* memberDTV = getMemberTypeValidators();
  374.     unsigned int memberTypeNumber = memberDTV->size();
  375.     for ( unsigned int memberIndex = 0; memberIndex < memberTypeNumber; ++memberIndex)
  376.     {
  377.         if (memberDTV->elementAt(memberIndex)->compare(lValue, rValue) ==0)
  378.             return  0;
  379.     }
  380.     //REVISIT: what does it mean for UNION1 to be <less than> or <greater than> UNION2 ?
  381.     // As long as -1 or +1 indicates an unequality, return either of them is ok.
  382.     return -1;
  383. }
  384. const RefArrayVectorOf<XMLCh>* UnionDatatypeValidator::getEnumString() const
  385. {
  386. return getEnumeration();
  387. }
  388. XERCES_CPP_NAMESPACE_END
  389. /**
  390.   * End of file UnionDatatypeValidator.cpp
  391.   */