|
GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectgnu.prolog.term.CompoundTermTag
public final class CompoundTermTag
A tag of compound term such as foo/2. A tag consists of functor and arity. All tags are unique in one JVM.
| Field Summary | |
|---|---|
int |
arity
arity of term. |
static CompoundTermTag |
comma
comma tag |
static CompoundTermTag |
curly1
'{}'/1 tag |
static CompoundTermTag |
divide2
'/'/2 tag |
AtomTerm |
functor
a functor of term |
static CompoundTermTag |
minus2
'-'/2 tag |
| Constructor Summary | |
|---|---|
protected |
CompoundTermTag(AtomTerm f,
int a)
a constructor |
| Method Summary | |
|---|---|
boolean |
equals(Object obj)
|
static CompoundTermTag |
get(AtomTerm functor,
int arity)
get compound term tag |
static CompoundTermTag |
get(CompoundTerm predicateIndicator)
get compound term tag |
static CompoundTermTag |
get(String functor,
int arity)
get compound term tag |
CompoundTerm |
getPredicateIndicator()
get predicate indicator for this tag |
int |
hashCode()
|
static boolean |
isPredicateIndicator(Term term)
check if term is predicate indicator |
Object |
readResolve()
Return an object to replace the object extracted from the stream. |
String |
toString()
convert tag to string |
| Methods inherited from class java.lang.Object |
|---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Field Detail |
|---|
public static final CompoundTermTag comma
public static final CompoundTermTag curly1
public static final CompoundTermTag minus2
public static final CompoundTermTag divide2
public final AtomTerm functor
public final int arity
| Constructor Detail |
|---|
protected CompoundTermTag(AtomTerm f,
int a)
f - functor of terma - arity of term| Method Detail |
|---|
public CompoundTerm getPredicateIndicator()
public static CompoundTermTag get(CompoundTerm predicateIndicator)
predicateIndicator - a term which represent a predicate indicator of term
IllegalArgumentException - if term is not a valid predicate indicatorpublic static boolean isPredicateIndicator(Term term)
term - term to check
public static CompoundTermTag get(String functor,
int arity)
functor - functor of tagarity - arity of tag
public static CompoundTermTag get(AtomTerm functor,
int arity)
functor - functor of tagarity - arity of tag
public Object readResolve()
Resolvablepublic String toString()
toString in class Objectpublic int hashCode()
hashCode in class Objectpublic boolean equals(Object obj)
equals in class Object
|
GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||