Package jml2b.languages

Interface Summary

ILanguage	This interface allows to define a new language, it has to be implement by a plugin defining a new language.
ITranslatable	This interface defines a translatable object: a formula or a type.
ITranslationResult	This interface defines the result of the translation of a formula in a given language.

Class Summary

Languages

This class allows to register plugins into Jack.