|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |