Uses of Interface
jml2b.languages.ITranslationResult

Packages that use ITranslationResult

jml2b.formula	Provides the classes necessary to create and manage formulas.
jml2b.languages
jml2b.languages.java
jml2b.structure.java

Uses of ITranslationResult in jml2b.formula

Methods in jml2b.formula that return ITranslationResult

ITranslationResult	Formula.toLang(java.lang.String language, int indent) Translates the formula into a given language.
ITranslationResult	QuantifiedVarForm.toLang(java.lang.String language, int indent)

Uses of ITranslationResult in jml2b.languages

Methods in jml2b.languages that return ITranslationResult

ITranslationResult	ILanguage.load(JpoInputStream s) Load a terminal formula from a jpo file.
ITranslationResult	ITranslatable.toLang(int indent) Translate a formula, a type or quantified variables.
ITranslationResult	ITranslationResult.Factory(java.lang.String s) Constructs a translation result from a string.
static ITranslationResult	Languages.getTranslationResultClass(java.lang.String name) Returns the translation result class instance for a given plugin name.

Methods in jml2b.languages with parameters of type ITranslationResult

void	ILanguage.save(IOutputStream s, ITranslationResult result) Saves the result of a translation in a jpo file.
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

Uses of ITranslationResult in jml2b.languages.java

Classes in jml2b.languages.java that implement ITranslationResult

class

JavaTranslationResult

Methods in jml2b.languages.java that return ITranslationResult

ITranslationResult	JavaBinaryForm.toLang(int indent) Converts the binary formula to a string suitable for output into the Java view.
ITranslationResult	JavaLanguage.load(JpoInputStream s)
ITranslationResult	JavaModifiedFieldForm.toLang(int indent)
ITranslationResult	JavaQuantifiedForm.toLang(int indent) The formula is displayed \forall vars; body or \exists vars; body
ITranslationResult	JavaQuantifiedVarForm.toLang(int indent) Converts the quantified formulas to a string suitable for output into the Java view.
ITranslationResult	JavaTTypeForm.toLang(int indent)
ITranslationResult	JavaTerminalForm.toLang(int indent) Converts the formula into Java.
ITranslationResult	JavaTranslationResult.Factory(java.lang.String s)
ITranslationResult	JavaTriaryForm.toLang(int indent) Converts the current formula to a string suitable for output into the Java view.
ITranslationResult	JavaType.toLang(int indent)
ITranslationResult	JavaUnaryForm.toLang(int indent) Converts the unary formula to a string suitable for output into the Java view.

Methods in jml2b.languages.java with parameters of type ITranslationResult

void	JavaLanguage.save(IOutputStream s, ITranslationResult result)

Uses of ITranslationResult in jml2b.structure.java

Methods in jml2b.structure.java that return ITranslationResult

ITranslationResult

Type.toLang(java.lang.String language)