Uses of Class
org.jpc.term.IntegerTerm

Packages that use IntegerTerm

Package	Description
org.jpc.converter.typesolver.catalog
org.jpc.term.visitor

Uses of IntegerTerm in org.jpc.converter.typesolver.catalog

Methods in org.jpc.converter.typesolver.catalog with parameters of type IntegerTerm

Modifier and Type	Method and Description
Type	IntegerTermTypeSolver.inferType(IntegerTerm integerTerm)

Uses of IntegerTerm in org.jpc.term.visitor

Methods in org.jpc.term.visitor with parameters of type IntegerTerm

Modifier and Type	Method and Description
void	TermVisitor.visitInteger(IntegerTerm integerTerm)
void	DefaultTermVisitor.visitInteger(IntegerTerm term)