diff options
Diffstat (limited to 'src/share/classes/com/sun/org/apache/xerces/internal/impl/dv/xs/PrecisionDecimalDV.java')
-rw-r--r-- | src/share/classes/com/sun/org/apache/xerces/internal/impl/dv/xs/PrecisionDecimalDV.java | 361 |
1 files changed, 361 insertions, 0 deletions
diff --git a/src/share/classes/com/sun/org/apache/xerces/internal/impl/dv/xs/PrecisionDecimalDV.java b/src/share/classes/com/sun/org/apache/xerces/internal/impl/dv/xs/PrecisionDecimalDV.java new file mode 100644 index 0000000..af8d8d4 --- /dev/null +++ b/src/share/classes/com/sun/org/apache/xerces/internal/impl/dv/xs/PrecisionDecimalDV.java @@ -0,0 +1,361 @@ +/* + * reserved comment block + * DO NOT REMOVE OR ALTER! + */ +/* + * Copyright 2004 The Apache Software Foundation. + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ +package com.sun.org.apache.xerces.internal.impl.dv.xs; + +import com.sun.org.apache.xerces.internal.impl.dv.InvalidDatatypeValueException; +import com.sun.org.apache.xerces.internal.impl.dv.ValidationContext; + +/** + * Validator for <precisionDecimal> datatype (W3C Schema 1.1) + * + * @xerces.experimental + * + * @author Ankit Pasricha, IBM + * + */ +class PrecisionDecimalDV extends TypeValidator { + + static class XPrecisionDecimal { + + // sign: 0 for absent; 1 for positive values; -1 for negative values (except in case of INF, -INF) + int sign = 1; + // total digits. >= 1 + int totalDigits = 0; + // integer digits when sign != 0 + int intDigits = 0; + // fraction digits when sign != 0 + int fracDigits = 0; + //precision + //int precision = 0; + // the string representing the integer part + String ivalue = ""; + // the string representing the fraction part + String fvalue = ""; + + int pvalue = 0; + + + XPrecisionDecimal(String content) throws NumberFormatException { + if(content.equals("NaN")) { + ivalue = content; + sign = 0; + } + if(content.equals("+INF") || content.equals("INF") || content.equals("-INF")) { + ivalue = content.charAt(0) == '+' ? content.substring(1) : content; + return; + } + initD(content); + } + + void initD(String content) throws NumberFormatException { + int len = content.length(); + if (len == 0) + throw new NumberFormatException(); + + // these 4 variables are used to indicate where the integre/fraction + // parts start/end. + int intStart = 0, intEnd = 0, fracStart = 0, fracEnd = 0; + + // Deal with leading sign symbol if present + if (content.charAt(0) == '+') { + // skip '+', so intStart should be 1 + intStart = 1; + } + else if (content.charAt(0) == '-') { + intStart = 1; + sign = -1; + } + + // skip leading zeroes in integer part + int actualIntStart = intStart; + while (actualIntStart < len && content.charAt(actualIntStart) == '0') { + actualIntStart++; + } + + // Find the ending position of the integer part + for (intEnd = actualIntStart; intEnd < len && TypeValidator.isDigit(content.charAt(intEnd)); intEnd++); + + // Not reached the end yet + if (intEnd < len) { + // the remaining part is not ".DDD" or "EDDD" or "eDDD", error + if (content.charAt(intEnd) != '.' && content.charAt(intEnd) != 'E' && content.charAt(intEnd) != 'e') + throw new NumberFormatException(); + + if(content.charAt(intEnd) == '.') { + // fraction part starts after '.', and ends at the end of the input + fracStart = intEnd + 1; + + // find location of E or e (if present) + // Find the ending position of the fracion part + for (fracEnd = fracStart; + fracEnd < len && TypeValidator.isDigit(content.charAt(fracEnd)); + fracEnd++); + } + else { + pvalue = Integer.parseInt(content.substring(intEnd + 1, len)); + } + } + + // no integer part, no fraction part, error. + if (intStart == intEnd && fracStart == fracEnd) + throw new NumberFormatException(); + + // ignore trailing zeroes in fraction part + /*while (fracEnd > fracStart && content.charAt(fracEnd-1) == '0') { + fracEnd--; + }*/ + + // check whether there is non-digit characters in the fraction part + for (int fracPos = fracStart; fracPos < fracEnd; fracPos++) { + if (!TypeValidator.isDigit(content.charAt(fracPos))) + throw new NumberFormatException(); + } + + intDigits = intEnd - actualIntStart; + fracDigits = fracEnd - fracStart; + + if (intDigits > 0) { + ivalue = content.substring(actualIntStart, intEnd); + } + + if (fracDigits > 0) { + fvalue = content.substring(fracStart, fracEnd); + if(fracEnd < len) { + pvalue = Integer.parseInt(content.substring(fracEnd + 1, len)); + } + } + totalDigits = intDigits + fracDigits; + } + + + public boolean equals(Object val) { + if (val == this) + return true; + + if (!(val instanceof XPrecisionDecimal)) + return false; + XPrecisionDecimal oval = (XPrecisionDecimal)val; + + return this.compareTo(oval) == EQUAL; + } + + /** + * @return + */ + private int compareFractionalPart(XPrecisionDecimal oval) { + if(fvalue.equals(oval.fvalue)) + return EQUAL; + + StringBuffer temp1 = new StringBuffer(fvalue); + StringBuffer temp2 = new StringBuffer(oval.fvalue); + + truncateTrailingZeros(temp1, temp2); + return temp1.toString().compareTo(temp2.toString()); + } + + private void truncateTrailingZeros(StringBuffer fValue, StringBuffer otherFValue) { + for(int i = fValue.length() - 1;i >= 0; i--) + if(fValue.charAt(i) == '0') + fValue.deleteCharAt(i); + else + break; + + for(int i = otherFValue.length() - 1;i >= 0; i--) + if(otherFValue.charAt(i) == '0') + otherFValue.deleteCharAt(i); + else + break; + } + + public int compareTo(XPrecisionDecimal val) { + + // seen NaN + if(sign == 0) + return INDETERMINATE; + + //INF is greater than everything and equal to itself + if(ivalue.equals("INF") || val.ivalue.equals("INF")) { + if(ivalue.equals(val.ivalue)) + return EQUAL; + else if(ivalue.equals("INF")) + return GREATER_THAN; + return LESS_THAN; + } + + //-INF is smaller than everything and equal itself + if(ivalue.equals("-INF") || val.ivalue.equals("-INF")) { + if(ivalue.equals(val.ivalue)) + return EQUAL; + else if(ivalue.equals("-INF")) + return LESS_THAN; + return GREATER_THAN; + } + + if (sign != val.sign) + return sign > val.sign ? GREATER_THAN : LESS_THAN; + + return sign * compare(val); + } + + // To enable comparison - the exponent part of the decimal will be limited + // to the max value of int. + private int compare(XPrecisionDecimal val) { + + if(pvalue != 0 || val.pvalue != 0) { + if(pvalue == val.pvalue) + return intComp(val); + else { + + if(intDigits + pvalue != val.intDigits + val.pvalue) + return intDigits + pvalue > val.intDigits + val.pvalue ? GREATER_THAN : LESS_THAN; + + //otherwise the 2 combined values are the same + if(pvalue > val.pvalue) { + int expDiff = pvalue - val.pvalue; + StringBuffer buffer = new StringBuffer(ivalue); + StringBuffer fbuffer = new StringBuffer(fvalue); + for(int i = 0;i < expDiff; i++) { + if(i < fracDigits) { + buffer.append(fvalue.charAt(i)); + fbuffer.deleteCharAt(i); + } + else + buffer.append('0'); + } + return compareDecimal(buffer.toString(), val.ivalue, fbuffer.toString(), val.fvalue); + } + else { + int expDiff = val.pvalue - pvalue; + StringBuffer buffer = new StringBuffer(val.ivalue); + StringBuffer fbuffer = new StringBuffer(val.fvalue); + for(int i = 0;i < expDiff; i++) { + if(i < val.fracDigits) { + buffer.append(val.fvalue.charAt(i)); + fbuffer.deleteCharAt(i); + } + else + buffer.append('0'); + } + return compareDecimal(ivalue, buffer.toString(), fvalue, fbuffer.toString()); + } + } + } + else { + return intComp(val); + } + } + + /** + * @param val + * @return + */ + private int intComp(XPrecisionDecimal val) { + if (intDigits != val.intDigits) + return intDigits > val.intDigits ? GREATER_THAN : LESS_THAN; + + return compareDecimal(ivalue, val.ivalue, fvalue, val.fvalue); + } + + /** + * @param val + * @return + */ + private int compareDecimal(String iValue, String fValue, String otherIValue, String otherFValue) { + int ret = iValue.compareTo(otherIValue); + if (ret != 0) + return ret > 0 ? GREATER_THAN : LESS_THAN; + + if(fValue.equals(otherFValue)) + return EQUAL; + + StringBuffer temp1=new StringBuffer(fValue); + StringBuffer temp2=new StringBuffer(otherFValue); + + truncateTrailingZeros(temp1, temp2); + ret = temp1.toString().compareTo(temp2.toString()); + return ret == 0 ? EQUAL : (ret > 0 ? GREATER_THAN : LESS_THAN); + } + + private String canonical; + + public synchronized String toString() { + if (canonical == null) { + makeCanonical(); + } + return canonical; + } + + private void makeCanonical() { + // REVISIT: to be determined by working group + canonical = "TBD by Working Group"; + } + + /** + * @param decimal + * @return + */ + public boolean isIdentical(XPrecisionDecimal decimal) { + if(ivalue.equals(decimal.ivalue) && (ivalue.equals("INF") || ivalue.equals("-INF") || ivalue.equals("NaN"))) + return true; + + if(sign == decimal.sign && intDigits == decimal.intDigits && fracDigits == decimal.fracDigits && pvalue == decimal.pvalue + && ivalue.equals(decimal.ivalue) && fvalue.equals(decimal.fvalue)) + return true; + return false; + } + + } + /* (non-Javadoc) + * @see com.sun.org.apache.xerces.internal.impl.dv.xs.TypeValidator#getAllowedFacets() + */ + public short getAllowedFacets() { + return ( XSSimpleTypeDecl.FACET_PATTERN | XSSimpleTypeDecl.FACET_WHITESPACE | XSSimpleTypeDecl.FACET_ENUMERATION |XSSimpleTypeDecl.FACET_MAXINCLUSIVE |XSSimpleTypeDecl.FACET_MININCLUSIVE | XSSimpleTypeDecl.FACET_MAXEXCLUSIVE | XSSimpleTypeDecl.FACET_MINEXCLUSIVE | XSSimpleTypeDecl.FACET_TOTALDIGITS | XSSimpleTypeDecl.FACET_FRACTIONDIGITS); + } + + /* (non-Javadoc) + * @see com.sun.org.apache.xerces.internal.impl.dv.xs.TypeValidator#getActualValue(java.lang.String, com.sun.org.apache.xerces.internal.impl.dv.ValidationContext) + */ + public Object getActualValue(String content, ValidationContext context) + throws InvalidDatatypeValueException { + try { + return new XPrecisionDecimal(content); + } catch (NumberFormatException nfe) { + throw new InvalidDatatypeValueException("cvc-datatype-valid.1.2.1", new Object[]{content, "precisionDecimal"}); + } + } + + public int compare(Object value1, Object value2) { + return ((XPrecisionDecimal)value1).compareTo((XPrecisionDecimal)value2); + } + + public int getFractionDigits(Object value) { + return ((XPrecisionDecimal)value).fracDigits; + } + + public int getTotalDigits(Object value) { + return ((XPrecisionDecimal)value).totalDigits; + } + + public boolean isIdentical(Object value1, Object value2) { + if(!(value2 instanceof XPrecisionDecimal) || !(value1 instanceof XPrecisionDecimal)) + return false; + return ((XPrecisionDecimal)value1).isIdentical((XPrecisionDecimal)value2); + } +} |