Integer.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.Int64Holder;
import jpl.fli.Prolog;
import jpl.fli.term_t;

//----------------------------------------------------------------------/
// Integer
public class Integer extends Term {

        //==================================================================/
        //  Attributes
        //==================================================================/

        protected final long value;

        //==================================================================/
        //  Constructors
        //==================================================================/

        public Integer(long value) {
                this.value = value;
        }

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

        public Term arg(int ano) {
                throw new JPLException("jpl." + this.typeName() + ".arg() is undefined");
        }

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

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

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

        public boolean hasFunctor(double value, int arity) {
                return false;
        }

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

        public final int arity() {
                return 0;
        }

        public final int intValue() {
                if (value < java.lang.Integer.MIN_VALUE || value > java.lang.Integer.MAX_VALUE) {
                        throw new JPLException("cannot represent Integer value as an int");
                } else {
                        return (int) value;
                }
        }

        public final long longValue() {
                return value;
        }

        public final float floatValue() {
                return (new java.lang.Long(value)).floatValue(); // safe but inefficient...
        }

        public final double doubleValue() {
                return (new java.lang.Long(value)).doubleValue(); // safe but inefficient...
        }

        public final int type() {
                return Prolog.INTEGER;
        }

        public String typeName(){
                return "Integer";
        }
        
        public String toString() {
                return "" + value; // hopefully invokes Integer.toString() or equivalent
        }

        public final boolean equals(Object obj) {
                return this == obj || (obj instanceof Integer && value == ((Integer) obj).value);
        }

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

        public final int value() {
                return (int) value;
        }

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

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

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

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

        protected static Term getTerm1(Map vars_to_Vars, term_t term) {
                Int64Holder int64_holder = new Int64Holder();

                Prolog.get_integer(term, int64_holder); // assume it succeeds...
                return new jpl.Integer(int64_holder.value);
        }

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

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

        public Object jrefToObject() {
                throw new JPLException("Integer.jrefToObject(): term is not a jref");
        }

}

//345678901234567890123456789012346578901234567890123456789012345678901234567890

---

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