jml2b.languages
Interface ITranslatable

All Known Implementing Classes:

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

public interface ITranslatable

This interface defines a translatable object: a formula or a type.

Author:

L. Burdy

Method Summary

ITranslationResult

toLang(int indent) Translate a formula, a type or quantified variables.

Method Detail

toLang

public ITranslationResult toLang(int indent)
                          throws LanguageException

Translate a formula, a type or quantified variables.

Parameters:

indent -

Returns:

the result of the translation.

Throws:

LanguageException