Uses of Class
jpov.structure.Class

Packages that use Class

jml2b.structure.java
jpov.structure
jpov.viewer.lemma

Uses of Class in jml2b.structure.java

Methods in jml2b.structure.java with parameters of type Class

void	Class.mergeWith(Class[] classes)

Uses of Class in jpov.structure

Methods in jpov.structure that return Class

Class[]

JmlFile.getClasses() Returns the array of classes.

Uses of Class in jpov.viewer.lemma

Methods in jpov.viewer.lemma with parameters of type Class

void	LemmaFilterWindow.setCurrentClass(Class class1)