g2d.terms

Class AppTerm

java.lang.Object

g2d.terms.Term

g2d.terms.AppTerm

public class AppTerm
extends Term

Field Summary

Fields

Modifier and Type	Field and Description
Constructor	constructor
int	hashCode
java.util.List<Term>	terms

Constructor Summary

Constructors

Constructor and Description
AppTerm(Constructor constructor, java.util.ArrayList<Term> terms, Subsorter s)

Method Summary

Modifier and Type	Method and Description
Term	copy()
boolean	equals(java.lang.Object obj)
Term	expand(int hi, Term term, Subsorter s)
Term	expand(Term old_term, Term new_term, Subsorter s)
int	getHolePositions(int offset, java.util.ArrayList<HolePosition> retval)
int	getSubtermPositions(int offset, Sort sort, java.util.ArrayList<TermPosition> retval)
int	hashCode()
int	holeCount()
boolean	isOK(Subsorter s)
int	length()
int	rank()
Sort	sort()
java.util.Set<Term>	subterms()
void	toStringBuffer(java.lang.StringBuffer sb)

Methods inherited from class g2d.terms.Term

expand, expand, expand, expand, getHolePositions, getSubtermPositions, parse, parseArray, parseConstructor, parseString, parseVariable, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

constructor

public final Constructor constructor

terms

public final java.util.List<Term> terms

hashCode

public final int hashCode

Constructor Detail

AppTerm

public AppTerm(Constructor constructor,
               java.util.ArrayList<Term> terms,
               Subsorter s)

Method Detail

sort

public Sort sort()

Specified by:

sort in class Term

subterms

public java.util.Set<Term> subterms()

Specified by:

subterms in class Term

toStringBuffer

public void toStringBuffer(java.lang.StringBuffer sb)

Specified by:

toStringBuffer in class Term

length

public int length()

Specified by:

length in class Term

rank

public int rank()

Specified by:

rank in class Term

isOK

public boolean isOK(Subsorter s)

holeCount

public int holeCount()

Specified by:

holeCount in class Term

copy

public Term copy()

Specified by:

copy in class Term

expand

public Term expand(int hi,
                   Term term,
                   Subsorter s)

Specified by:

expand in class Term

expand

public Term expand(Term old_term,
                   Term new_term,
                   Subsorter s)

Specified by:

expand in class Term

getHolePositions

public int getHolePositions(int offset,
                            java.util.ArrayList<HolePosition> retval)

Specified by:

getHolePositions in class Term

getSubtermPositions

public int getSubtermPositions(int offset,
                               Sort sort,
                               java.util.ArrayList<TermPosition> retval)

Specified by:

getSubtermPositions in class Term

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object