Atom.java

Go to the documentation of this file.

//tabstop=4
//*****************************************************************************/
// Project: jpl
//
// File:    $Id$
// Date:    $Date$
// Author:  Fred Dushin <fadushin@syr.edu>
// Author:  Paul Singleton <paul@jbgb.com>
//          
//
// 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.StringHolder;
import jpl.fli.term_t;

//----------------------------------------------------------------------/
// Atom
public class Atom extends Compound {

        //==================================================================/
        //  Attributes (none)
        //==================================================================/

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

        public Atom(String name) {
                super(name);
        }

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

        // these are all inherited from Compound

        public final int type() {
                return Prolog.ATOM;
        }
        
        public String typeName() { // overrides same in jpl.Term
                return "Atom";
        }

        public Object jrefToObject() {
                throw new JPLException("Atom.jrefToObject: term is not a JRef");
        }
//==================================================================/
        //  Methods (deprecated)
        //==================================================================/

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

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

        // (this is done with the put() method inherited from Compound)

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

        protected static Term getTerm1(Map vars_to_Vars, term_t term) {
                StringHolder holder = new StringHolder();
                Prolog.get_atom_chars(term, holder); // ignore return val; assume success...

                return new Atom(holder.value);
        }

        protected static Term getString(Map vars_to_Vars, term_t term) {
                StringHolder holder = new StringHolder();
                Prolog.get_string_chars(term, holder); // ignore return val; assume success...
                return new Atom(holder.value);
        }

        //==================================================================/
        //  Computing substitutions
        //==================================================================/

        // (done with the inherited Compound.getSubst() method)

}

//345678901234567890123456789012346578901234567890123456789012345678901234567890

---

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