Uses of Interface
jml2b.pog.printers.IClassResolver

Packages that use IClassResolver

jml2b.pog	Provides the classes necessary to generate proof obligations.
jml2b.pog.printers

Uses of IClassResolver in jml2b.pog

Methods in jml2b.pog with parameters of type IClassResolver

static void

Pog.saveFiles(IJml2bConfiguration config, JmlFile file, org.eclipse.core.runtime.IProgressMonitor monitor, java.util.Vector addedDepends, java.util.Vector removedDepends, IClassResolver printer)

Uses of IClassResolver in jml2b.pog.printers

Classes in jml2b.pog.printers that implement IClassResolver

class

ClassResolver

Methods in jml2b.pog.printers with parameters of type IClassResolver

void	IPrinter.print(IClassResolver printer, JmlFile fi, java.io.File output_directory) Writes an output file corresponding to the entry of a prover.