Uses of Class
jack.plugin.prove.ProofTask

Packages that use ProofTask

jack.plugin
jack.plugin.prove
jml2b.languages

Uses of ProofTask in jack.plugin

Methods in jack.plugin with parameters of type ProofTask

void	ToolbarButton.runProofTask(org.eclipse.jface.action.IAction action, ProofTask pt)

Uses of ProofTask in jack.plugin.prove

Methods in jack.plugin.prove that return ProofTask

abstract ProofTask

ProofTask.factory(org.eclipse.core.resources.IFile jpoFile, org.eclipse.jdt.core.ICompilationUnit cu)

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

void	ProofView.addProof(ProofTask tsk) Adds the given proof to the list of proofs to be performed.

Uses of ProofTask in jml2b.languages

Methods in jml2b.languages with parameters of type ProofTask

static void

Languages.register(java.lang.String name, ILanguage il, ITranslationResult rc, IPrinter ip, ProverStatus ps, IInteractiveProver iip, IObviousProver iop, ProofTask pt) Register a plugin