|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use IPrinter | |
| jml2b.languages | |
| Uses of IPrinter in jml2b.languages |
| Methods in jml2b.languages that return IPrinter | |
static IPrinter |
Languages.getPrinterClass(java.lang.String name)
Returns the printer class instance for a given plugin name. |
| Methods in jml2b.languages with parameters of type IPrinter | |
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 |
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||