Uses of Class
jpov.structure.JmlFile

Packages that use JmlFile

jml2b.structure.java
jpov
jpov.structure

Uses of JmlFile in jml2b.structure.java

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

void	JmlFile.mergeWith(JmlFile jf)

Uses of JmlFile in jpov

Methods in jpov that return JmlFile

static JmlFile	JpoFile.loadJmlFile(IJml2bConfiguration configuration, java.lang.String name) Loads a JPO file
JmlFile	JpoFile.getJmlFile() Returns the associated JML file

Uses of JmlFile in jpov.structure

Methods in jpov.structure that return JmlFile

static JmlFile

JmlFile.loadJmlFile(IJml2bConfiguration config, java.io.File jpoFile, JpoInputStream s) Loads the root node from a .jpo file