de.uka.ilkd.key.speclang.jml.translation

Interface JMLTranslationMethod

All Known Implementing Classes:

JMLTranslator.JMLArithmeticOperationTranslationMethod, JMLTranslator.JMLBoundedNumericalQuantifierTranslationMethod, JMLTranslator.JMLEqualityTranslationMethod, JMLTranslator.JMLFieldAccessExpressionTranslationMethod, JMLTranslator.JMLQuantifierTranslationMethod

public interface JMLTranslationMethod

Author:

christoph

Method Summary

Modifier and Type	Method and Description
java.lang.Object	translate(SLTranslationExceptionManager excManager, java.lang.Object... params)

Method Detail

translate

java.lang.Object translate(SLTranslationExceptionManager excManager,
                           java.lang.Object... params)
                    throws SLTranslationException

Throws:

SLTranslationException