Uses of Class
jpov.JpoFile

Packages that use JpoFile

jack.plugin
jack.plugin.perspective
jack.plugin.prove

Uses of JpoFile in jack.plugin

Methods in jack.plugin that return JpoFile

static JpoFile

JpovUtil.loadJpoFile(org.eclipse.core.resources.IFile jpo_file) Load a Jpov object from the given .jpo file.

Uses of JpoFile in jack.plugin.perspective

Methods in jack.plugin.perspective that return JpoFile

JpoFile

CaseExplorer.getJpoFile()

Uses of JpoFile in jack.plugin.prove

Methods in jack.plugin.prove with parameters of type JpoFile

void	ProofTask.setJPov(JpoFile jpoFile2)
void	ProveAction.run_proof_pec(org.eclipse.core.resources.IFile jpo_file, JpoFile j)