Uses of Interface
jml2b.languages.ITranslatable

Packages that use ITranslatable

jml2b.languages
jml2b.languages.java

Uses of ITranslatable in jml2b.languages

Methods in jml2b.languages that return ITranslatable

ITranslatable	ILanguage.formulaFactory(Formula f) Returns a formula corresponding to the initial but converted in a translatable subclass of formula.
ITranslatable	ILanguage.typeFactory(Type t) Returns a type corresponding to the initial one but converted in a translatable type.
ITranslatable	ILanguage.quantifiedVarFactory(QuantifiedVarForm qvf) Returns quantified variables corresponding to the initial ones but translatable.

Uses of ITranslatable in jml2b.languages.java

Classes in jml2b.languages.java that implement ITranslatable

class	JavaBinaryForm
class	JavaModifiedFieldForm
class	JavaQuantifiedForm
class	JavaQuantifiedVarForm
class	JavaTerminalForm
class	JavaTriaryForm
class	JavaTTypeForm
class	JavaType
class	JavaUnaryForm

Methods in jml2b.languages.java that return ITranslatable

ITranslatable	JavaLanguage.formulaFactory(Formula f)
ITranslatable	JavaLanguage.typeFactory(Type t)
ITranslatable	JavaLanguage.quantifiedVarFactory(QuantifiedVarForm qvf)