Deprecated API

Contents

• Deprecated Methods

Deprecated Methods

Method	Description
org.jpl7.JPL.halt()
org.jpl7.JRef.jrefToObject()	Use org.jpl7.JRef.object()
org.jpl7.Term.jrefToObject()	Use JRef.object()
org.jpl7.Term.listLength()	Use Util.listToLength(Term)
org.jpl7.Term.objectToJRef(Object)	Use JPL.newJRef(java.lang.Object)
org.jpl7.JRef.ref()
org.jpl7.Term.ref()	Use JRef.object()