g2d.terms

Class Term

java.lang.Object

g2d.terms.Term

Direct Known Subclasses:

AppTerm, HoleTerm, VarTerm

public abstract class Term
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Term()

Method Summary

Modifier and Type	Method and Description
abstract Term	copy()
Term	expand(int hi, Constructor constructor, Subsorter s)
abstract Term	expand(int hi, Term term, Subsorter s)
static java.util.ArrayList<Term>	expand(java.util.List<Term> terms, int hi, Term term, Subsorter s)
static java.util.ArrayList<Term>	expand(java.util.List<Term> terms, Term old_term, Term new_term, Subsorter s)
Term	expand(TermPosition position, Term term, Subsorter s)
abstract Term	expand(Term old_term, Term new_term, Subsorter s)
java.util.ArrayList<HolePosition>	getHolePositions()
abstract int	getHolePositions(int offset, java.util.ArrayList<HolePosition> retval)
java.util.ArrayList<TermPosition>	getSubtermPositions()
abstract int	getSubtermPositions(int offset, Sort sort, java.util.ArrayList<TermPosition> retval)
abstract int	holeCount()
abstract int	length()
static Term	parse(java.lang.Object o, Algebra a)
static Term	parseArray(java.lang.Object[] raw, Algebra a)
protected static Term	parseConstructor(java.lang.String raw, Algebra a)
protected static Term	parseString(java.lang.String raw, Algebra a)
protected static Term	parseVariable(java.lang.String raw, Algebra a)
abstract int	rank()
abstract Sort	sort()
abstract java.util.Set<Term>	subterms()
java.lang.String	toString()
abstract void	toStringBuffer(java.lang.StringBuffer sb)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Term

public Term()

Method Detail

sort

public abstract Sort sort()

subterms

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toStringBuffer

public abstract void toStringBuffer(java.lang.StringBuffer sb)

length

public abstract int length()

rank

public abstract int rank()

holeCount

public abstract int holeCount()

copy

public abstract Term copy()

expand

public Term expand(int hi,
                   Constructor constructor,
                   Subsorter s)

expand

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

expand

public static java.util.ArrayList<Term> expand(java.util.List<Term> terms,
                                               int hi,
                                               Term term,
                                               Subsorter s)

expand

public Term expand(TermPosition position,
                   Term term,
                   Subsorter s)

expand

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

expand

public static java.util.ArrayList<Term> expand(java.util.List<Term> terms,
                                               Term old_term,
                                               Term new_term,
                                               Subsorter s)

getHolePositions

public java.util.ArrayList<HolePosition> getHolePositions()

getHolePositions

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

getSubtermPositions

public java.util.ArrayList<TermPosition> getSubtermPositions()

getSubtermPositions

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

parse

public static Term parse(java.lang.Object o,
                         Algebra a)

parseString

protected static Term parseString(java.lang.String raw,
                                  Algebra a)

parseArray

public static Term parseArray(java.lang.Object[] raw,
                              Algebra a)

parseConstructor

protected static Term parseConstructor(java.lang.String raw,
                                       Algebra a)

parseVariable

protected static Term parseVariable(java.lang.String raw,
                                    Algebra a)