Float.java

Go to the documentation of this file.

//tabstop=4
//*****************************************************************************/
// Project: jpl
//
// File:    $Id$
// Date:    $Date$
// Author:  Fred Dushin <fadushin@syr.edu>
//          
//
// Description:
//    
//
// -------------------------------------------------------------------------
// Copyright (c) 2004 Paul Singleton
// Copyright (c) 1998 Fred Dushin
//                    All rights reserved.
// 
// This library is free software; you can redistribute it and/or
// modify it under the terms of the GNU Library Public License
// as published by the Free Software Foundation; either version 2
// of the License, or (at your option) any later version.
// 
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU Library Public License for more details.
//*****************************************************************************/
package jpl;

import java.util.Map;

import jpl.fli.DoubleHolder;
import jpl.fli.Prolog;
import jpl.fli.term_t;

//----------------------------------------------------------------------/
// Float
public class Float extends Term {
        
        //==================================================================/
        //  Attributes
        //==================================================================/

        protected final double value;

        //==================================================================/
        //  Constructors and Initialization
        //==================================================================/

        public Float(double value) {
                this.value = value;
        }

        //==================================================================/
        //  Methods (common)
        //==================================================================/

        public final Term arg(int i) {
                throw new JPLException("jpl.Float#arg(int) is undefined");
        }

        public Term[] args() {
                return new Term[] {};
        }

        public final boolean hasFunctor(String name, int arity) {
                return false;
        }

        public final boolean hasFunctor(int val, int arity) {
                return false;
        }

        public final boolean hasFunctor(double val, int arity) {
                return val == this.value && arity == 0;
        }

        public final String name() {
                throw new JPLException("jpl.Float#name() is undefined");
        }

        public final int arity() {
                return 0;
        }

        public final int intValue() {
                return (new Double(value)).intValue();
        }

        public final long longValue() {
                return (new Double(value)).longValue();
        }

        public final float floatValue() {
                return (new Double(value)).floatValue();
        }

        public final double doubleValue() {
                return this.value;
        }

        public final int type() {
                return Prolog.FLOAT;
        }
        
        public String typeName(){
                return "Float";
        }
        
        public String toString() {
                return "" + value + "";
        }

        public final boolean equals(Object obj) {
                return this == obj || (obj instanceof Float && value == ((Float) obj).value);
        }
        
        public Object jrefToObject() {
                throw new JPLException("Float.jrefToObject: term is not a JRef");
        }

        //==================================================================/
        //  Methods (deprecated)
        //==================================================================/

        public double value() {
                return value;
        }

        public String debugString() {
                return "(Float " + toString() + ")";
        }

        //==================================================================/
        //  Converting JPL Terms to Prolog terms
        //==================================================================/

        protected final void put(Map varnames_to_vars, term_t term) {
                Prolog.put_float(term, value);
        }

        //==================================================================/
        //  Converting Prolog terms to JPL Terms
        //==================================================================/

        protected static Term getTerm1(Map vars_to_Vars, term_t term) {
                DoubleHolder double_holder = new DoubleHolder();

                Prolog.get_float(term, double_holder); // assume it succeeds...
                return new jpl.Float(double_holder.value);
        }

        //==================================================================/
        //  Computing Substitutions
        //==================================================================/

        protected final void getSubst(Map varnames_to_Terms, Map vars_to_Vars) {
        }

}

//345678901234567890123456789012346578901234567890123456789012345678901234567890

---

jpl
Author(s): Lorenz Moesenlechner
autogenerated on Fri Jan 11 09:40:29 2013