Uses of Class
jml2b.exceptions.LanguageException

Packages that use LanguageException

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

Uses of LanguageException in jml2b.exceptions

Subclasses of LanguageException in jml2b.exceptions

class

TranslationException

Uses of LanguageException in jml2b.formula

Methods in jml2b.formula that throw LanguageException

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 LanguageException in jml2b.languages

Methods in jml2b.languages that throw LanguageException

void	ILanguage.save(IOutputStream s, TerminalForm f) Saves a terminal formula in a jpo file.
ITranslationResult	ITranslatable.toLang(int indent) Translate a formula, a type or quantified variables.
static ILanguage	Languages.getLanguageClass(java.lang.String name) Returns the language class instance for a given plugin name.
static ITranslationResult	Languages.getTranslationResultClass(java.lang.String name) Returns the translation result class instance for a given plugin name.

Uses of LanguageException in jml2b.languages.java

Methods in jml2b.languages.java that throw LanguageException

ITranslationResult	JavaBinaryForm.toLang(int indent) Converts the binary formula to a string suitable for output into the Java view.
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	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.

Uses of LanguageException in jml2b.structure.java

Methods in jml2b.structure.java that throw LanguageException

ITranslationResult

Type.toLang(java.lang.String language)