JPL.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.io.File;
import jpl.fli.Prolog;

//----------------------------------------------------------------------/
// JPL
public class JPL {
        protected static final boolean DEBUG = false;
        //
        public static final Term JFALSE = new Compound("@", new Term[] {new Atom("false")});
        public static final Term JTRUE = new Compound("@", new Term[] {new Atom("true")});
        public static final Term JNULL = new Compound("@", new Term[] {new Atom("null")});
        public static final Term JVOID = new Compound("@", new Term[] {new Atom("void")});
        
        protected static boolean modeDontTellMe = true;

        private static String nativeLibraryName = "jpl";
        private static String nativeLibraryDir = null;
        private static String nativeLibraryPath = null;
        public static String setNativeLibraryName(String newName) {
                if (newName == null) {
                        throw new NullPointerException("newName cannot be null");
                } else {
                        String oldName = nativeLibraryName;
                        nativeLibraryName = newName;
                        return oldName;
                }
        }
        public static String setNativeLibraryDir(String newDir) {
                String oldDir = nativeLibraryDir;
                nativeLibraryDir = newDir;
                return oldDir;
        }
        public static String setNativeLibraryPath(String newPath) {
                String oldPath = nativeLibraryPath;
                nativeLibraryPath = newPath;
                return oldPath;
        }
        public static void loadNativeLibrary() {
                if (nativeLibraryPath != null) {
            System.load((new File(nativeLibraryPath)).getAbsolutePath());
                } else if (nativeLibraryDir != null) {
            System.load((new File(nativeLibraryDir, System.mapLibraryName(nativeLibraryName))).getAbsolutePath());
                } else {
                        System.loadLibrary(nativeLibraryName); // as resolved somewhere on system property 'java.library.path'
                }
        }
        // setDTMMode
        public static void setDTMMode( boolean dtm){
                modeDontTellMe = dtm;
        }
        
        // getDefaultInitArgs
        public static String[] getDefaultInitArgs() {
                return Prolog.get_default_init_args();
        }

        // setDefaultInitArgs
        public static void setDefaultInitArgs(String[] args) {
                Prolog.set_default_init_args(args);
        }

        // getActualInitArgs
        public static String[] getActualInitArgs() {
                return Prolog.get_actual_init_args();
        }

        // init
        public static boolean init(String[] args) {
                return Prolog.set_default_init_args(args) && init();
        }

        // init
        public static boolean init() {
                return Prolog.initialise();
        }

        // isTag(String)
        public static boolean isTag(String s) {
                return s.length()==22 && s.charAt(0)=='J' && s.charAt(1)=='#' && Character.isDigit(s.charAt(2)) && Character.isDigit(s.charAt(3)) && Character.isDigit(s.charAt(4)) && Character.isDigit(s.charAt(5)) && Character.isDigit(s.charAt(6)) && Character.isDigit(s.charAt(7)) && Character.isDigit(s.charAt(8)) && Character.isDigit(s.charAt(9)) && Character.isDigit(s.charAt(10)) && Character.isDigit(s.charAt(11)) && Character.isDigit(s.charAt(12)) && Character.isDigit(s.charAt(13)) && Character.isDigit(s.charAt(14)) && Character.isDigit(s.charAt(15)) && Character.isDigit(s.charAt(16)) && Character.isDigit(s.charAt(17)) && Character.isDigit(s.charAt(18)) && Character.isDigit(s.charAt(19)) && Character.isDigit(s.charAt(20)) && Character.isDigit(s.charAt(21));
        }

        // newJRef(Object)
        public static Term newJRef(Object obj) {
                return new Compound( "@", new Term[]{new Atom(Prolog.object_to_tag(obj))});
        }

        // halt
        public static void halt() {
                Prolog.halt(0);
        }

        // a static reference to the current Version
        private static final Version version_ = new Version();

        // version
        public static Version version() {
                return version_;
        }

        // version_string
        public static String version_string() {
                return version_.major + "." + version_.minor + "." + version_.patch + "-" + version_.status;
        }

        public static void main(String[] args) {
                System.out.println(version_string());
        }
}

//345678901234567890123456789012346578901234567890123456789012345678901234567890

---

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