jml2b.languages
Interface ITranslationResult

All Known Implementing Classes:

JavaTranslationResult

public interface ITranslationResult

This interface defines the result of the translation of a formula in a given language. Finally the result of the translation is converted into a string.

Author:

L. Burdy

Method Summary

ITranslationResult	Factory(java.lang.String s) Constructs a translation result from a string.
java.lang.String	toUniqString()

Method Detail

Factory

public ITranslationResult Factory(java.lang.String s)

Constructs a translation result from a string. Used to load a type.

Parameters:

s - the string to encapsulate.

Returns:

the translation result corresponding to the string.

toUniqString

public java.lang.String toUniqString()

Returns:

The string corresponding to the result of a translation.