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

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.  * $Id: ListDatatypeValidator.cpp,v 1.8 2001/10/11 19:32:27 peiyongz Exp $
  58.  * $Log: ListDatatypeValidator.cpp,v $
  59.  * Revision 1.8  2001/10/11 19:32:27  peiyongz
  60.  * To overwrite inheritFacet()
  61.  *
  62.  * Revision 1.7  2001/10/09 20:56:21  peiyongz
  63.  * inherit from AbstractStringValidator instead of DatatypeValidator to reuse
  64.  * the code.
  65.  *
  66.  * Revision 1.6  2001/10/02 18:59:29  peiyongz
  67.  * Invalid_Facet_Tag to display the tag name
  68.  *
  69.  * Revision 1.5  2001/09/20 13:11:42  knoaman
  70.  * Regx  + misc. fixes
  71.  *
  72.  * Revision 1.4  2001/08/29 19:03:40  peiyongz
  73.  * Bugzilla# 2816:on AIX 4.2, xlC 3 r ev.1, Compilation error on inline method
  74.  *
  75.  * Revision 1.3  2001/08/21 18:42:53  peiyongz
  76.  * Bugzilla# 2816: cleanUp() declared with external linkage and called
  77.  *                          before defined as inline
  78.  *
  79.  * Revision 1.2  2001/08/14 22:11:56  peiyongz
  80.  * new exception message added
  81.  *
  82.  * Revision 1.1  2001/07/11 21:37:17  peiyongz
  83.  * ListDatatypeDTV
  84.  *
  85.  *
  86.  */
  87. // ---------------------------------------------------------------------------
  88. //  Includes
  89. // ---------------------------------------------------------------------------
  90. #include <validators/datatype/ListDatatypeValidator.hpp>
  91. #include <validators/datatype/InvalidDatatypeFacetException.hpp>
  92. #include <validators/datatype/InvalidDatatypeValueException.hpp>
  93. #include <util/NumberFormatException.hpp>
  94. static const int BUF_LEN = 64;
  95. static XMLCh value1[BUF_LEN+1];
  96. static XMLCh value2[BUF_LEN+1];
  97. // ---------------------------------------------------------------------------
  98. //  Constructors and Destructor
  99. // ---------------------------------------------------------------------------
  100. ListDatatypeValidator::ListDatatypeValidator()
  101. :AbstractStringValidator(0, 0, 0, DatatypeValidator::List)
  102. ,fContent(0)
  103. {}
  104. ListDatatypeValidator::ListDatatypeValidator(
  105.                           DatatypeValidator*            const baseValidator
  106.                         , RefHashTableOf<KVStringPair>* const facets
  107.                         , RefVectorOf<XMLCh>*           const enums
  108.                         , const int                           finalSet)
  109. :AbstractStringValidator(baseValidator, facets, finalSet, DatatypeValidator::List)
  110. ,fContent(0)
  111. {
  112.     //
  113.     // baseValidator shall either 
  114.     // an atomic DTV which servers as itemType, or
  115.     // another ListDTV from which, this ListDTV is derived by restriction.
  116.     // 
  117.     // In either case, it shall be not null
  118.     //
  119.     if (!baseValidator)
  120.         ThrowXML(InvalidDatatypeFacetException, XMLExcepts::FACET_List_Null_baseValidator);
  121.     init(enums);
  122. }
  123. ListDatatypeValidator::~ListDatatypeValidator()
  124. {}
  125. DatatypeValidator* ListDatatypeValidator::newInstance(
  126.                                       RefHashTableOf<KVStringPair>* const facets
  127.                                     , RefVectorOf<XMLCh>*           const enums
  128.                                     , const int                           finalSet)
  129. {
  130.     return (DatatypeValidator*) new ListDatatypeValidator(this, facets, enums, finalSet);
  131. }
  132. int ListDatatypeValidator::compare(const XMLCh* const lValue
  133.                                  , const XMLCh* const rValue)
  134. {
  135.     DatatypeValidator* theItemTypeDTV = getItemTypeDTV();
  136.     RefVectorOf<XMLCh>* lVector = XMLString::tokenizeString(lValue);
  137.     Janitor<RefVectorOf<XMLCh> > janl(lVector);
  138.     RefVectorOf<XMLCh>* rVector = XMLString::tokenizeString(rValue);
  139.     Janitor<RefVectorOf<XMLCh> > janr(rVector);
  140.    
  141.     int lNumberOfTokens = lVector->size();         
  142.     int rNumberOfTokens = rVector->size();         
  143.     if (lNumberOfTokens < rNumberOfTokens)
  144.         return -1; 
  145.     else if (lNumberOfTokens > rNumberOfTokens)
  146.         return 1;
  147.     else 
  148.     { //compare each token   
  149.         for ( int i = 0; i < lNumberOfTokens; i++)
  150.         {
  151.             int returnValue = theItemTypeDTV->compare(lVector->elementAt(i), rVector->elementAt(i));
  152.             if (returnValue != 0) 
  153.                 return returnValue; //REVISIT: does it make sense to return -1 or +1..?               
  154.         }
  155.         return 0;
  156.     }
  157.        
  158. }
  159. bool ListDatatypeValidator::isAtomic() const {
  160.     return false;
  161. }
  162. void ListDatatypeValidator::validate( const XMLCh* const content)
  163. {
  164.     setContent(content);
  165.     RefVectorOf<XMLCh>* tokenVector = XMLString::tokenizeString(content);
  166.     Janitor<RefVectorOf<XMLCh> > janName(tokenVector);
  167.     checkContent(tokenVector, false);
  168. }
  169. void ListDatatypeValidator::checkContent( const XMLCh* const content, bool asBase)
  170. {
  171.     setContent(content);
  172.     RefVectorOf<XMLCh>* tokenVector = XMLString::tokenizeString(content);
  173.     Janitor<RefVectorOf<XMLCh> > janName(tokenVector);
  174.     checkContent(tokenVector, asBase);
  175. }
  176. //
  177. // here content is a list of items
  178. //
  179. void ListDatatypeValidator::checkContent( RefVectorOf<XMLCh>* tokenVector, bool asBase)
  180. {
  181.     DatatypeValidator* bv = getBaseValidator();
  182.     if (bv->getType() == DatatypeValidator::List)
  183.         ((ListDatatypeValidator*)bv)->checkContent(tokenVector, true);
  184.     else
  185.     {   // the ultimate itemType DTV
  186.         for (unsigned int i = 0; i < tokenVector->size(); i++)
  187.             bv->validate(tokenVector->elementAt(i));
  188.     }
  189.     int thisFacetsDefined = getFacetsDefined();
  190.     // we check pattern first
  191.     if ( (thisFacetsDefined & DatatypeValidator::FACET_PATTERN ) != 0 )
  192.     {
  193.         // lazy construction
  194.         if (getRegex() == 0) 
  195.         {
  196.             try {
  197.                 setRegex(new RegularExpression(getPattern(), SchemaSymbols::fgRegEx_XOption));
  198.             }
  199.             catch (XMLException &e)
  200.             {
  201.                 ThrowXML1(InvalidDatatypeValueException, XMLExcepts::RethrowError, e.getMessage());
  202.             }
  203.         }
  204.         //check each and every item in the list   
  205.         for (unsigned int i = 0; i < tokenVector->size(); i++)
  206.         {
  207.             if (getRegex()->matches(tokenVector->elementAt(i)) ==false)
  208.             {
  209.                 ThrowXML2(InvalidDatatypeValueException
  210.                     , XMLExcepts::VALUE_NotMatch_Pattern
  211.                     , tokenVector->elementAt(i)
  212.                     , getPattern());
  213.             }
  214.         }
  215.     }
  216.     // if this is a base validator, we only need to check pattern facet
  217.     // all other facet were inherited by the derived type
  218.     if (asBase)
  219.         return;
  220.     unsigned int tokenNumber = tokenVector->size();
  221.     if (((thisFacetsDefined & DatatypeValidator::FACET_MAXLENGTH) != 0) &&
  222.         (tokenNumber > getMaxLength()))
  223.     {
  224.         XMLString::binToText(tokenNumber, value1, BUF_LEN, 10);
  225.         XMLString::binToText(getMaxLength(), value2, BUF_LEN, 10);
  226.         ThrowXML3(InvalidDatatypeValueException
  227.                 , XMLExcepts::VALUE_GT_maxLen
  228.                 , getContent()
  229.                 , value1
  230.                 , value2);
  231.     }
  232.     if (((thisFacetsDefined & DatatypeValidator::FACET_MINLENGTH) != 0) &&
  233.         (tokenNumber < getMinLength()))
  234.     {
  235.         XMLString::binToText(tokenNumber, value1, BUF_LEN, 10);
  236.         XMLString::binToText(getMinLength(), value2, BUF_LEN, 10);
  237.         ThrowXML3(InvalidDatatypeValueException
  238.                 , XMLExcepts::VALUE_LT_minLen
  239.                 , getContent()
  240.                 , value1
  241.                 , value2);
  242.     }
  243.     if (((thisFacetsDefined & DatatypeValidator::FACET_LENGTH) != 0) &&
  244.         (tokenNumber != AbstractStringValidator::getLength()))
  245.     {
  246.         XMLString::binToText(tokenNumber, value1, BUF_LEN, 10);
  247.         XMLString::binToText(AbstractStringValidator::getLength(), value2, BUF_LEN, 10);
  248.         ThrowXML3(InvalidDatatypeValueException
  249.                 , XMLExcepts::VALUE_NE_Len
  250.                 , getContent()
  251.                 , value1
  252.                 , value2);
  253.     }
  254.     if ((thisFacetsDefined & DatatypeValidator::FACET_ENUMERATION) != 0 &&
  255.         (getEnumeration() != 0))
  256.     {
  257.         int i;
  258.         int enumLength = getEnumeration()->size();
  259.         for ( i = 0; i < enumLength; i++)
  260.         {
  261.             //optimization: we do a lexical comparision first
  262.             // this may be faster for string and its derived
  263.             if (XMLString::compareString(getEnumeration()->elementAt(i), getContent()) == 0)
  264.                 break; // a match found
  265.             // do a value space check
  266.             // this is needed for decimal (and probably other types 
  267.             // such as datetime related)
  268.             // eg.
  269.             // tokenVector = "1 2 3.0 4" vs enumeration = "1 2 3 4.0"
  270.             //
  271.             if (valueSpaceCheck(tokenVector, getEnumeration()->elementAt(i)))
  272.                 break;
  273.         }
  274.         if (i == enumLength)
  275.             ThrowXML1(InvalidDatatypeValueException, XMLExcepts::VALUE_NotIn_Enumeration, getContent());
  276.     } // enumeration
  277. }
  278. bool ListDatatypeValidator::valueSpaceCheck(RefVectorOf<XMLCh>* tokenVector
  279.                                           , const XMLCh* const  enumStr) const
  280. {
  281.     DatatypeValidator* theItemTypeDTV = getItemTypeDTV();
  282.     RefVectorOf<XMLCh>* enumVector = XMLString::tokenizeString(enumStr);
  283.     Janitor<RefVectorOf<XMLCh> > janName(enumVector);
  284.     if (tokenVector->size() != enumVector->size())
  285.         return false;
  286.     for ( unsigned int j = 0; j < tokenVector->size(); j++ )
  287.     {
  288.         if (theItemTypeDTV->compare(tokenVector->elementAt(j), enumVector->elementAt(j)) != 0)
  289.             return false;
  290.     }
  291.     return true;
  292. }
  293. DatatypeValidator* ListDatatypeValidator::getItemTypeDTV() const
  294. {
  295.     DatatypeValidator* bdv = this->getBaseValidator();
  296.     while (bdv->getType() == DatatypeValidator::List)
  297.         bdv = bdv->getBaseValidator();
  298.     return bdv;
  299. }
  300. // ---------------------------------------------------------------------------
  301. //  Utilities
  302. // ---------------------------------------------------------------------------
  303. void ListDatatypeValidator::assignAdditionalFacet( const XMLCh* const key
  304.                                                  , const XMLCh* const)
  305. {
  306.     ThrowXML1(InvalidDatatypeFacetException
  307.             , XMLExcepts::FACET_Invalid_Tag
  308.             , key);
  309. }
  310. void ListDatatypeValidator::inheritAdditionalFacet()
  311. {}
  312. void ListDatatypeValidator::checkAdditionalFacetConstraints() const
  313. {}
  314. void ListDatatypeValidator::checkAdditionalFacet(const XMLCh* const) const
  315. {}
  316. void ListDatatypeValidator::checkValueSpace(const XMLCh* const content)
  317. {}
  318. int ListDatatypeValidator::getLength(const XMLCh* const content) const
  319. {
  320.     RefVectorOf<XMLCh>* tokenVector = XMLString::tokenizeString(content);
  321.     Janitor<RefVectorOf<XMLCh> > janName(tokenVector);
  322.     return tokenVector->size();
  323. }
  324. void ListDatatypeValidator::inspectFacetBase()
  325. {
  326.     //
  327.     // we are pretty sure baseValidator is not null
  328.     //
  329.     if (getBaseValidator()->getType() == DatatypeValidator::List)
  330.     {
  331.         AbstractStringValidator::inspectFacetBase();
  332.     }
  333.     else
  334.     {
  335.         // the first level ListDTV
  336.         // check 4.3.5.c0 must: enumeration values from the value space of base
  337.         if ( ((getFacetsDefined() & DatatypeValidator::FACET_ENUMERATION) != 0) &&
  338.              (getEnumeration() !=0)                                              )
  339.         {
  340.             int i;
  341.             int enumLength = getEnumeration()->size();
  342.             try
  343.             {
  344.                 for ( i = 0; i < enumLength; i++)
  345.                 {
  346.                     // ask the itemType for a complete check
  347.                     RefVectorOf<XMLCh>* tempList = XMLString::tokenizeString(getEnumeration()->elementAt(i));
  348.                     int tokenNumber = tempList->size();
  349.                     try 
  350.                     {
  351.                         for ( int j = 0; j < tokenNumber; j++)
  352.                             getBaseValidator()->validate(tempList->elementAt(j));
  353.                     }
  354.                     catch (...)
  355.                     {
  356.                         delete tempList;
  357.                         throw;
  358.                     }
  359.                     delete tempList;
  360.                     // enum shall pass this->checkContent() as well.
  361.                     checkContent(getEnumeration()->elementAt(i), false);
  362.                 }
  363.             }
  364.             catch ( XMLException& )
  365.             {
  366.                 ThrowXML1(InvalidDatatypeFacetException
  367.                         , XMLExcepts::FACET_enum_base
  368.                         , getEnumeration()->elementAt(i));
  369.             }
  370.     
  371.         }
  372.     }
  373. }// End of inspectFacetBase()
  374. void ListDatatypeValidator::inheritFacet()
  375. {    
  376.     //iff the base validator is List, then we inherit
  377.     //
  378.     if (getBaseValidator()->getType() == DatatypeValidator::List)
  379.     {
  380.         AbstractStringValidator::inheritFacet();
  381.     }    
  382.        
  383. }
  384. /**
  385.   * End of file ListDatatypeValidator.cpp
  386.   */