private abstract class JMLTranslator.JMLArithmeticOperationTranslationMethod extends Object implements JMLTranslationMethod
Modifier and Type | Field and Description |
---|---|
protected KeYJavaType |
bigint |
protected 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 String |
opName() |
protected abstract SLExpression |
translate(JavaIntegerSemanticsHelper intHelper,
SLExpression left,
SLExpression right) |
SLExpression |
translate(SLTranslationExceptionManager man,
Object... params) |
protected KeYJavaType bigint
protected 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, Object... params) throws SLTranslationException
translate
in interface JMLTranslationMethod
SLTranslationException
protected abstract String opName()
protected abstract SLExpression translate(JavaIntegerSemanticsHelper intHelper, SLExpression left, SLExpression right) throws SLTranslationException
SLTranslationException