Uses of Class
g2d.terms.Sort

Packages that use Sort

Package	Description
g2d.npa	This package contains the GUI for the NPA tool.
g2d.npa.examples
g2d.terms	This package contains a preliminary implementation of term editing.

Uses of Sort in g2d.npa

Fields in g2d.npa declared as Sort

Modifier and Type	Field and Description
Sort	Syntax.knowledgeSort
Sort	Syntax.strandSort

Methods in g2d.npa with parameters of type Sort

Modifier and Type	Method and Description
void	SortedTermTable.addTerm(Term term, Sort sort)

Uses of Sort in g2d.npa.examples

Fields in g2d.npa.examples declared as Sort

Modifier and Type	Field and Description
static Sort[]	Nspk.empty
static Sort	Nspk.fresh
static Sort	IntruderKnowledge.ik
static Sort[]	Nspk.kArgs
static Sort	Nspk.key
static Sort	Strands.msg
static Sort	Nspk.msg
static Sort	IntruderKnowledge.msg
static Sort	Nspk.name
static Sort[]	Nspk.nArgs
static Sort	Nspk.nonce
static Sort	Nspk.pub
static Sort[]	Nspk.semicolonArgs
static Sort	Strands.smsg
static Sort[]	Strands.sorts
static Sort[]	Nspk.sorts
static Sort[]	IntruderKnowledge.sorts

Uses of Sort in g2d.terms

Fields in g2d.terms declared as Sort

Modifier and Type	Field and Description
Sort	Variable.sort
Sort	Hole.sort
Sort	Constructor.sort
Sort[]	Algebra.sorts

Fields in g2d.terms with type parameters of type Sort

Modifier and Type	Field and Description
java.util.List<Sort>	Constructor.args

Methods in g2d.terms that return Sort

Modifier and Type	Method and Description
Sort	VarTerm.sort()
Sort	TermPosition.sort()
abstract Sort	Term.sort()
Sort	HoleTerm.sort()
Sort	AppTerm.sort()

Methods in g2d.terms with parameters of type Sort

Modifier and Type	Method and Description
static HoleTerm	HoleTerm.fromSort(Sort sort)
java.util.ArrayList<Constructor>	Algebra.getConstructorsBySort(Sort sort)
java.util.ArrayList<Constructor>	Algebra.getConstructorsBySubsort(Sort sort)
java.util.Set<Term>	Algebra.getPool(Sort sort)
int	VarTerm.getSubtermPositions(int offset, Sort sort, java.util.ArrayList<TermPosition> retval)
abstract int	Term.getSubtermPositions(int offset, Sort sort, java.util.ArrayList<TermPosition> retval)
int	HoleTerm.getSubtermPositions(int offset, Sort sort, java.util.ArrayList<TermPosition> retval)
int	AppTerm.getSubtermPositions(int offset, Sort sort, java.util.ArrayList<TermPosition> retval)
static void	TermEditor.main(Sort sort, Term term)
static void	HoleEditor.main(Sort sort, Term term)
static Variable	Variable.parseDeclaration(java.lang.String candidate, Sort superSort, Algebra algebra, java.lang.String[] reasons)

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

Modifier and Type	Method and Description
static Subsorter	Subsorter.fromMap(java.util.HashMap<Sort,Sort[]> map)

Constructors in g2d.terms with parameters of type Sort

Constructor and Description
Algebra(Sort[] sorts, java.util.HashMap<Sort,Sort[]> subsortMap, Constructor[] ops)
Algebra(Sort[] sorts, Subsorter subsorter, Constructor[] ops)
Constructor(java.lang.String name, int arity, Sort sort, Sort[] args)
Constructor(java.lang.String name, int arity, Sort sort, Sort[] args)
Hole(Sort sort)
HoleEditor(java.awt.Window parent, Algebra algebra, Sort sort, Term term)
HoleEditor(java.awt.Window parent, Algebra algebra, Sort sort, Term term, boolean usePool)
TermEditor(java.awt.Window parent, Algebra algebra, Sort sort, Term term)
TermEditor(java.awt.Window parent, Algebra algebra, Sort sort, Term term, boolean usePool)
TermPosition(int start, Sort sort, Term term)
Variable(java.lang.String name, Sort sort)

Constructor parameters in g2d.terms with type arguments of type Sort

Constructor and Description
Algebra(Sort[] sorts, java.util.HashMap<Sort,Sort[]> subsortMap, Constructor[] ops)