Uses of Class
g2d.terms.Hole

Packages that use Hole

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

Uses of Hole in g2d.terms

Fields in g2d.terms declared as Hole

Modifier and Type	Field and Description
Hole	HoleTerm.hole
Hole	HolePosition.hole

Constructors in g2d.terms with parameters of type Hole

Constructor and Description
HolePosition(int start, Hole hole)
HoleTerm(Hole hole)