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)