Uses of Class
g2d.terms.HolePosition

Packages that use HolePosition

Package	Description
g2d.terms	This package contains a preliminary implementation of term editing.

Uses of HolePosition in g2d.terms

Methods in g2d.terms that return types with arguments of type HolePosition

Modifier and Type	Method and Description
java.util.ArrayList<HolePosition>	Term.getHolePositions()

Method parameters in g2d.terms with type arguments of type HolePosition

Modifier and Type	Method and Description
int	VarTerm.getHolePositions(int offset, java.util.ArrayList<HolePosition> retval)
abstract int	Term.getHolePositions(int offset, java.util.ArrayList<HolePosition> retval)
int	HoleTerm.getHolePositions(int offset, java.util.ArrayList<HolePosition> retval)
int	AppTerm.getHolePositions(int offset, java.util.ArrayList<HolePosition> retval)