|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjpl.Term
jpl.Compound
A Compound represents a structured term, comprising a functor and arguments (Terms). Atom is a subclass of Compound, whose instances have zero arguments. Direct instances of Compound must have one or more arguments (it is an error to attempt to construct a Compound with zero args; a JPLException will be thrown). For example, this Java expression yields a representation of the term f(a):
new Compound( "f", new Term[] { new Atom("a") } )Note the use of the "anonymous array" notation to denote the arguments (an anonymous array of Term).
Util.textToTerm("f(a)")The arity of a Compound is the quantity of its arguments. Once constructed, neither the name, arity nor any argument of a Compound can be altered.
Copyright (C) 1998 Fred Dushin
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.
Term
,
Atom
Constructor Summary | |
Compound(java.lang.String name,
Term[] args)
Creates a Compound with name and args. |
Method Summary | |
Term |
arg(int i)
Returns the ith argument (counting from 1) of this Compound; throws an ArrayIndexOutOfBoundsException if i is inappropriate. |
Term |
arg0(int i)
Deprecated. |
Term[] |
args()
Deprecated. |
int |
arity()
Returns the arity (1+) of this Compound. |
java.lang.String |
debugString()
Deprecated. |
boolean |
equals(java.lang.Object obj)
Two Compounds are equal if they are identical (same object) or their names and arities are equal and their respective arguments are equal. |
boolean |
hasFunctor(java.lang.String name,
int arity)
Tests whether this Compound's functor has (String) 'name' and 'arity'. |
java.lang.String |
name()
Returns the name (unquoted) of this Compound. |
java.lang.String |
toString()
Returns a prefix functional representation of a Compound of the form name(arg1,...), where each argument is represented according to its toString() method. |
int |
type()
returns the type of this term, as one of jpl.fli.Prolog.COMPOUND, .ATOM, .VARIABLE, .INTEGER, .FLOAT etc |
java.lang.String |
typeName()
returns the name of the type of this term, as one of "Compound", "Atom", "Variable", "Integer", "Float" etc |
Methods inherited from class jpl.Term |
debugString, doubleValue, floatValue, hasFunctor, hasFunctor, intValue, isAtom, isCompound, isFloat, isInteger, isJBoolean, isJRef, isJVoid, isVariable, listLength, longValue, putParams, putParams, toString, toTermArray |
Methods inherited from class java.lang.Object |
getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public Compound(java.lang.String name, Term[] args)
name
- the name of this Compoundargs
- the arguments of this CompoundMethod Detail |
public final Term arg(int i)
arg
in class Term
public final boolean hasFunctor(java.lang.String name, int arity)
hasFunctor
in class Term
public final java.lang.String name()
name
in class Term
public final int arity()
arity
in class Term
public java.lang.String toString()
public final boolean equals(java.lang.Object obj)
obj
- the Object to compare (not necessarily another Compound)
public int type()
Term
type
in class Term
public java.lang.String typeName()
Term
typeName
in class Term
public final Term[] args()
args
in class Term
public final Term arg0(int i)
public java.lang.String debugString()
debugString
in class Term
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |