| /******************************************************************************* |
| * Copyright (c) 2005, 2009 Andrea Bittau, University College London, and others |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v1.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v10.html |
| * |
| * Contributors: |
| * Andrea Bittau - initial API and implementation from the PsychoPath XPath 2.0 |
| *******************************************************************************/ |
| |
| package org.eclipse.wst.xml.xpath2.processor.internal.types; |
| |
| import org.eclipse.wst.xml.xpath2.processor.DynamicError; |
| import org.eclipse.wst.xml.xpath2.processor.ResultSequence; |
| import org.eclipse.wst.xml.xpath2.processor.internal.function.*; |
| |
| /** |
| * A representation of the NumericType datatype |
| */ |
| public abstract class NumericType extends CtrType |
| |
| implements CmpEq, CmpGt, CmpLt, |
| |
| MathPlus, MathMinus, MathTimes, MathDiv, MathIDiv, MathMod { |
| |
| // XXX needed for fn:boolean |
| /** |
| * Check whether node represnts 0 |
| * |
| * @return True if node represnts 0. False otherwise |
| */ |
| public abstract boolean zero(); |
| |
| /** |
| * Creates a new ResultSequence representing the negation of the number |
| * stored |
| * |
| * @return New ResultSequence representing the negation of the number stored |
| */ |
| public abstract ResultSequence unary_minus(); |
| |
| // numeric functions |
| /** |
| * Absolutes the number stored |
| * |
| * @return New NumericType representing the absolute of the number stored |
| */ |
| public abstract NumericType abs(); |
| |
| /** |
| * Returns the smallest integer greater than the number stored |
| * |
| * @return A NumericType representing the smallest integer greater than the |
| * number stored |
| */ |
| public abstract NumericType ceiling(); |
| |
| /** |
| * Returns the largest integer smaller than the number stored |
| * |
| * @return A NumericType representing the largest integer smaller than the |
| * number stored |
| */ |
| public abstract NumericType floor(); |
| |
| /** |
| * Returns the closest integer of the number stored. |
| * |
| * @return A NumericType representing the closest long of the number stored. |
| */ |
| public abstract NumericType round(); |
| |
| /** |
| * Returns the closest integer of the number stored. |
| * |
| * @return A NumericType representing the closest long of the number stored. |
| */ |
| public abstract NumericType round_half_to_even(); |
| |
| public abstract NumericType round_half_to_even(int precision); |
| |
| protected AnyType get_single_arg(ResultSequence rs) throws DynamicError { |
| if (rs.size() != 1) |
| DynamicError.throw_type_error(); |
| |
| return rs.first(); |
| } |
| |
| /*** |
| * Check whether the supplied node is of the supplied type |
| * |
| * @param at |
| * The node being tested |
| * @param type |
| * The type expected |
| * @return The node being tested |
| * @throws DynamicError |
| * If node being tested is not of expected type |
| */ |
| public static AnyType get_single_type(AnyType at, Class type) |
| throws DynamicError { |
| |
| if (!type.isInstance(at)) |
| DynamicError.throw_type_error(); |
| |
| return at; |
| } |
| |
| /*** |
| * Check whether first node in supplied ResultSequence is of the supplied |
| * type |
| * |
| * @param rs |
| * The node being tested |
| * @param type |
| * The type expected |
| * @return The node being tested |
| * @throws DynamicError |
| * If node being tested is not of expected type |
| */ |
| public static AnyType get_single_type(ResultSequence rs, Class type) |
| throws DynamicError { |
| if (rs.size() != 1) |
| DynamicError.throw_type_error(); |
| |
| AnyType at = rs.first(); |
| |
| if (!type.isInstance(at)) |
| DynamicError.throw_type_error(); |
| |
| return at; |
| } |
| } |