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

//----------------------------------------------------------------------/
// JRef
public class JRef extends Term {

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

        protected final Object ref;

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

        public JRef(Object ref) {
                if (ref instanceof String) {
                        throw new JPLException("a JRef cannot have a String value (String maps to atom)");
                } else {
                        this.ref = ref;
                }
        }

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

        public Term arg(int ano) {
                return (ano == 1 ? new Atom(jpl.fli.Prolog.object_to_tag(ref)) : null);
        }

        public String toString() {
                return "" + ref + ""; // WRONG
        }

        public final boolean equals(Object obj) {
                return this == obj || (obj instanceof JRef && ref == ((JRef) obj).ref);
        }
        
        public final int type() {
                return Prolog.JREF;
        }
        
        public String typeName(){
                return "JRef";
        }
        
        //==================================================================/
        //  Methods (peculiar)
        //==================================================================/

        public Object ref() {
                return ref;
        }

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

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

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

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

        protected final void put(Map varnames_to_vars, term_t term) {

                Prolog.put_jref(term, ref);
        }

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

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

        public boolean hasFunctor(String name, int arity) {
                return name != null && name.equals("@") && arity == 1;
        }

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

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

        public Object jrefToObject() {
                return ref;
        }

}

//345678901234567890123456789012346578901234567890123456789012345678901234567890

---

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