| 
 | 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 | arityarity of term. | 
| static CompoundTermTag | commacomma tag | 
| static CompoundTermTag | curly1'{}'/1 tag | 
| static CompoundTermTag | divide2'/'/2 tag | 
|  AtomTerm | functora 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 | |||||||||