jml2b.pog.printers
Interface IPrinter

public interface IPrinter

This interface defines a printer for a plugin.

Author:

L. Burdy

Field Summary

static java.lang.String[]

builtinNames The array of builtin types name

Method Summary

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

Field Detail

builtinNames

public static final java.lang.String[] builtinNames

The array of builtin types name

Method Detail

print

public void print(IClassResolver printer,
                  JmlFile fi,
                  java.io.File output_directory)
           throws java.io.IOException

Writes an output file corresponding to the entry of a prover.

Parameters:

printer - The parent printer

fi - The jpo file

output_directory - The output_directory.

Throws:

java.io.IOException