| /* |
| * Licensed to the Apache Software Foundation (ASF) under one or more |
| * contributor license agreements. See the NOTICE file distributed with |
| * this work for additional information regarding copyright ownership. |
| * The ASF licenses this file to You 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 org.apache.jena.ext.xerces.impl.dv.xs; |
| |
| import org.apache.jena.ext.xerces.impl.dv.InvalidDatatypeValueException; |
| import org.apache.jena.ext.xerces.impl.dv.ValidationContext; |
| |
| /** |
| * Validator for <precisionDecimal> datatype (W3C Schema 1.1) |
| * |
| * @xerces.experimental |
| * |
| * @author Ankit Pasricha, IBM |
| * |
| * @version $Id: PrecisionDecimalDV.java 446745 2006-09-15 21:43:58Z mrglavas $ |
| */ |
| @SuppressWarnings("all") |
| 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; |
| } |
| |
| |
| @Override |
| 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; |
| |
| @Override |
| 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 org.apache.xerces.impl.dv.xs.TypeValidator#getAllowedFacets() |
| */ |
| @Override |
| 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 org.apache.xerces.impl.dv.xs.TypeValidator#getActualValue(java.lang.String, org.apache.xerces.impl.dv.ValidationContext) |
| */ |
| @Override |
| 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"}); |
| } |
| } |
| |
| @Override |
| public int compare(Object value1, Object value2) { |
| return ((XPrecisionDecimal)value1).compareTo((XPrecisionDecimal)value2); |
| } |
| |
| @Override |
| public int getFractionDigits(Object value) { |
| return ((XPrecisionDecimal)value).fracDigits; |
| } |
| |
| @Override |
| public int getTotalDigits(Object value) { |
| return ((XPrecisionDecimal)value).totalDigits; |
| } |
| |
| @Override |
| public boolean isIdentical(Object value1, Object value2) { |
| if(!(value2 instanceof XPrecisionDecimal) || !(value1 instanceof XPrecisionDecimal)) |
| return false; |
| return ((XPrecisionDecimal)value1).isIdentical((XPrecisionDecimal)value2); |
| } |
| } |