private abstract class JMLTranslator.JMLEqualityTranslationMethod extends java.lang.Object implements JMLTranslationMethod
Modifier | Constructor and Description |
---|---|
private |
JMLEqualityTranslationMethod() |
Modifier and Type | Method and Description |
---|---|
protected SLExpression |
buildEqualityTerm(SLExpression a,
SLExpression b,
SLTranslationExceptionManager excManager,
Services services) |
protected Term |
buildEqualityTerm(Term a,
Term b,
SLTranslationExceptionManager excManager1,
Services services) |
protected void |
checkSLExpressions(SLExpression expr1,
SLExpression expr2,
SLTranslationExceptionManager excManager,
java.lang.String eqSymb) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
translate
protected void checkSLExpressions(SLExpression expr1, SLExpression expr2, SLTranslationExceptionManager excManager, java.lang.String eqSymb) throws SLTranslationException
SLTranslationException
protected SLExpression buildEqualityTerm(SLExpression a, SLExpression b, SLTranslationExceptionManager excManager, Services services) throws SLTranslationException
SLTranslationException
protected Term buildEqualityTerm(Term a, Term b, SLTranslationExceptionManager excManager1, Services services) throws SLTranslationException
SLTranslationException