jml2b.languages.java
Class JavaTranslationResult

java.lang.Object
  jml2b.languages.java.JavaTranslationResult

All Implemented Interfaces:

ITranslationResult

public class JavaTranslationResult

extends java.lang.Object

implements ITranslationResult

Author:

L. Burdy

Method Summary

ITranslationResult	Factory(java.lang.String s) Constructs a translation result from a string.
int	getPriority()
java.lang.String	toString()
java.lang.String[]	toStrings()
java.lang.String	toUniqString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

Factory

public ITranslationResult Factory(java.lang.String s)

Description copied from interface: ITranslationResult

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

Specified by:

Factory in interface ITranslationResult

Parameters:

s - the string to encapsulate.

Returns:

the translation result corresponding to the string.

toUniqString

public java.lang.String toUniqString()

Specified by:

toUniqString in interface ITranslationResult

Returns:

The string corresponding to the result of a translation.

toStrings

public java.lang.String[] toStrings()

getPriority

public int getPriority()

toString

public java.lang.String toString()