public class JavaIntegerSemanticsHelper
extends java.lang.Object
Constructor and Description |
---|
JavaIntegerSemanticsHelper(Services services,
SLExceptionFactory excManager) |
public JavaIntegerSemanticsHelper(Services services, SLExceptionFactory excManager)
public boolean isIntegerTerm(@Nonnull SLExpression a)
public SLExpression buildPromotedOrExpression(@Nonnull SLExpression a, @Nonnull SLExpression b) throws SLTranslationException
SLTranslationException
public SLExpression buildPromotedAndExpression(SLExpression a, SLExpression b) throws SLTranslationException
SLTranslationException
public SLExpression buildPromotedXorExpression(SLExpression a, SLExpression b) throws SLTranslationException
SLTranslationException
public SLExpression buildPromotedNegExpression(SLExpression a) throws SLTranslationException
SLTranslationException
public SLExpression buildAddExpression(SLExpression a, SLExpression b) throws SLTranslationException
SLTranslationException
public SLExpression buildSubExpression(SLExpression a, SLExpression b) throws SLTranslationException
SLTranslationException
public SLExpression buildMulExpression(SLExpression a, SLExpression b) throws SLTranslationException
SLTranslationException
public SLExpression buildDivExpression(SLExpression a, SLExpression b) throws SLTranslationException
SLTranslationException
public SLExpression buildModExpression(SLExpression a, SLExpression b) throws SLTranslationException
SLTranslationException
public SLExpression buildRightShiftExpression(SLExpression a, SLExpression b) throws SLTranslationException
SLTranslationException
public SLExpression buildLeftShiftExpression(SLExpression a, SLExpression b) throws SLTranslationException
SLTranslationException
public SLExpression buildUnsignedRightShiftExpression(SLExpression a, SLExpression b) throws SLTranslationException
SLTranslationException
public SLExpression buildUnaryMinusExpression(SLExpression a) throws SLTranslationException
SLTranslationException
public SLExpression buildPromotedUnaryPlusExpression(SLExpression a) throws SLTranslationException
SLTranslationException
public SLExpression buildCastExpression(KeYJavaType resultType, SLExpression a) throws SLTranslationException
SLTranslationException
Copyright © 2003-2019 The KeY-Project.