Source for file Double.class.php

<?php
 
/**
 * @since 7/14/05
 * @package harmoni.primitives.numbers
 * 
 * @copyright Copyright &copy; 2005, Middlebury College
 * @license http://www.gnu.org/copyleft/gpl.html GNU General Public License (GPL)
 *
 * @version $Id: Double.class.php,v 1.5 2007/09/04 20:25:28 adamfranco Exp $
 */ 
 
require_once(dirname(__FILE__)."/Float.class.php");
 
/**
 * A simple Float data type.
 *
 * @package harmoni.primitives.numbers
 * 
 * @copyright Copyright &copy; 2005, Middlebury College
 * @license http://www.gnu.org/copyleft/gpl.html GNU General Public License (GPL)
 *
 * @version $Id: Double.class.php,v 1.5 2007/09/04 20:25:28 adamfranco Exp $
 */
class Double 
    extends Float
{
    
/*******************************************************
 * Class Methods - Instance Creation
 *********************************************************/
 
 
    /**
     * Answer a new object with the value specified
     * 
     * @param mixed $value 
     * @param optional string $class The class to instantiate. Do NOT use outside
     *         of this package.
     * @return object Double 
     * @access public
     * @since 7/14/05
     */
    function withValue ( $value, $class = 'Double') {
        return parent::withValue($value, $class);
    }
    
    /**
     * Answer a new object with the value specified
     * 
     * @param string $string a string representation of the object
     * @return object Double 
     * @access public
     * @since 3/14/06
     */
    function fromString ($string, $class = 'Double') {
        return parent::fromString($string, $class);
    }
    
    /**
     * Answer a new object with the value zero
     * 
     * @param optional string $class The class to instantiate. Do NOT use outside
     *         of this package.
     * @return object Double 
     * @access public
     * @since 7/14/05
     */
    function zero ( $class = 'Double') {
        return parent::zero($class);
    }
    
/*******************************************************
 * Instance Methods - Private
 *********************************************************/
 
    
    /**
     * Set the internal value to a PHP primitive.
     * 
     * @param mixed $value 
     * @return void 
     * @access private
     * @since 7/14/05
     */
    function _setValue ( $value ) {
        $this->_value = doubleval($value);
    }
}