private abstract class JMLTranslator.JMLArithmeticOperationTranslationMethod extends java.lang.Object implements JMLTranslationMethod
Modifier and Type | Field and Description |
---|---|
protected KeYJavaType |
bigint |
protected java.lang.String |
BIGINT_NOT_ALLOWED |
Modifier | Constructor and Description |
---|---|
private |
JMLArithmeticOperationTranslationMethod() |
Modifier and Type | Method and Description |
---|---|
protected void |
checkNotBigint(SLExpression e) |
private void |
checkNotType(SLExpression e,
SLTranslationExceptionManager man) |
protected boolean |
isBigint(SLExpression e) |
protected abstract java.lang.String |
opName() |
protected abstract SLExpression |
translate(JavaIntegerSemanticsHelper intHelper,
SLExpression left,
SLExpression right) |
SLExpression |
translate(SLTranslationExceptionManager man,
java.lang.Object... params) |
protected KeYJavaType bigint
protected java.lang.String BIGINT_NOT_ALLOWED
private JMLArithmeticOperationTranslationMethod()
protected boolean isBigint(SLExpression e)
protected void checkNotBigint(SLExpression e) throws SLTranslationException
SLTranslationException
private void checkNotType(SLExpression e, SLTranslationExceptionManager man) throws SLTranslationException
SLTranslationException
public SLExpression translate(SLTranslationExceptionManager man, java.lang.Object... params) throws SLTranslationException
translate
in interface JMLTranslationMethod
SLTranslationException
protected abstract java.lang.String opName()
protected abstract SLExpression translate(JavaIntegerSemanticsHelper intHelper, SLExpression left, SLExpression right) throws SLTranslationException
SLTranslationException