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
Object	translate(SLTranslationExceptionManager excManager, Object... params)

Method Detail

translate

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

Throws:

SLTranslationException