expandInByte {
\find ( inByte ( i ))
\replacewith ( true )
\heuristics (concrete )
};defined in: intRulesUncheckedSemantics.key Line: 24 Offset :4expandInChar {
\find ( inChar ( i ))
\replacewith ( true )
\heuristics (concrete )
};defined in: intRulesUncheckedSemantics.key Line: 30 Offset :4expandInShort {
\find ( inShort ( i ))
\replacewith ( true )
\heuristics (concrete )
};defined in: intRulesUncheckedSemantics.key Line: 36 Offset :4expandInInt {
\find ( inInt ( i ))
\replacewith ( true )
\heuristics (concrete )
};defined in: intRulesUncheckedSemantics.key Line: 42 Offset :4expandInLong {
\find ( inLong ( i ))
\replacewith ( true )
\heuristics (concrete )
};defined in: intRulesUncheckedSemantics.key Line: 48 Offset :4translateJavaUnaryMinusInt {
\find ( javaUnaryMinusInt ( left ))
\replacewith ( neg ( left ))
\heuristics (javaIntegerSemantics , simplify )
\displayname "translateJavaUnaryMinus"
};defined in: intRulesUncheckedSemantics.key Line: 61 Offset :4translateJavaUnaryMinusLong {
\find ( javaUnaryMinusLong ( left ))
\replacewith ( neg ( left ))
\heuristics (javaIntegerSemantics , simplify )
\displayname "translateJavaUnaryMinus"
};defined in: intRulesUncheckedSemantics.key Line: 68 Offset :4translatejavaBitwiseNegateInt {
\find ( javaBitwiseNegateInt ( left ))
\replacewith ( bitwiseNegateJint ( left ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaBitwiseNegation"
};defined in: intRulesUncheckedSemantics.key Line: 75 Offset :4translatejavaBitwiseNegateLong {
\find ( javaBitwiseNegateLong ( left ))
\replacewith ( bitwiseNegateJlong ( left ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaBitwiseNegation"
};defined in: intRulesUncheckedSemantics.key Line: 82 Offset :4translateJavaAddInt {
\find ( javaAddInt ( left , right ))
\replacewith ( add ( left , right ))
\heuristics (javaIntegerSemantics , simplify )
\displayname "translateJavaAdd"
};defined in: intRulesUncheckedSemantics.key Line: 89 Offset :4translateJavaAddLong {
\find ( javaAddLong ( left , right ))
\replacewith ( add ( left , right ))
\heuristics (javaIntegerSemantics , simplify )
\displayname "translateJavaAdd"
};defined in: intRulesUncheckedSemantics.key Line: 96 Offset :4translateJavaSubInt {
\find ( javaSubInt ( left , right ))
\replacewith ( sub ( left , right ))
\heuristics (javaIntegerSemantics , simplify )
\displayname "translateJavaSub"
};defined in: intRulesUncheckedSemantics.key Line: 103 Offset :4translateJavaSubLong {
\find ( javaSubLong ( left , right ))
\replacewith ( sub ( left , right ))
\heuristics (javaIntegerSemantics , simplify )
\displayname "translateJavaSub"
};defined in: intRulesUncheckedSemantics.key Line: 110 Offset :4translateJavaMulInt {
\find ( javaMulInt ( left , right ))
\replacewith ( mul ( left , right ))
\heuristics (javaIntegerSemantics , simplify )
\displayname "translateJavaMul"
};defined in: intRulesUncheckedSemantics.key Line: 117 Offset :4translateJavaMulLong {
\find ( javaMulLong ( left , right ))
\replacewith ( mul ( left , right ))
\heuristics (javaIntegerSemantics , simplify )
\displayname "translateJavaMul"
};defined in: intRulesUncheckedSemantics.key Line: 124 Offset :4translateJavaMod {
\find ( javaMod ( left , right ))
\replacewith ( jmod ( left , right ))
\heuristics (javaIntegerSemantics , simplify )
\displayname "translateJavaMod"
};defined in: intRulesUncheckedSemantics.key Line: 131 Offset :4translateJavaDivInt {
\find ( javaDivInt ( left , right ))
\replacewith ( jdiv ( left , right ))
\heuristics (javaIntegerSemantics , simplify )
\displayname "translateJavaDiv"
};defined in: intRulesUncheckedSemantics.key Line: 138 Offset :4translateJavaDivLong {
\find ( javaDivLong ( left , right ))
\replacewith ( jdiv ( left , right ))
\heuristics (javaIntegerSemantics , simplify )
\displayname "translateJavaDiv"
};defined in: intRulesUncheckedSemantics.key Line: 145 Offset :4translateJavaCastByte {
\find ( javaCastByte ( left ))
\replacewith ( left )
\heuristics (javaIntegerSemantics , simplify )
\displayname "translateJavaCast"
};defined in: intRulesUncheckedSemantics.key Line: 152 Offset :4translateJavaCastShort {
\find ( javaCastShort ( left ))
\replacewith ( left )
\heuristics (javaIntegerSemantics , simplify )
\displayname "translateJavaCast"
};defined in: intRulesUncheckedSemantics.key Line: 159 Offset :4translateJavaCastInt {
\find ( javaCastInt ( left ))
\replacewith ( left )
\heuristics (javaIntegerSemantics , simplify )
\displayname "translateJavaCast"
};defined in: intRulesUncheckedSemantics.key Line: 166 Offset :4translateJavaCastLong {
\find ( javaCastLong ( left ))
\replacewith ( left )
\heuristics (javaIntegerSemantics , simplify )
\displayname "translateJavaCast"
};defined in: intRulesUncheckedSemantics.key Line: 173 Offset :4translateJavaCastChar {
\find ( javaCastChar ( left ))
\replacewith ( left )
\heuristics (javaIntegerSemantics , simplify )
\displayname "translateJavaCast"
};defined in: intRulesUncheckedSemantics.key Line: 180 Offset :4translateJavaShiftRightInt {
\find ( javaShiftRightInt ( left , right ))
\replacewith ( shiftright ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaShiftRight"
};defined in: intRulesUncheckedSemantics.key Line: 187 Offset :4translateJavaShiftRightLong {
\find ( javaShiftRightLong ( left , right ))
\replacewith ( shiftright ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaShiftRight"
};defined in: intRulesUncheckedSemantics.key Line: 194 Offset :4translateJavaShiftLeftInt {
\find ( javaShiftLeftInt ( left , right ))
\replacewith ( shiftleft ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaShiftLeft"
};defined in: intRulesUncheckedSemantics.key Line: 201 Offset :4translateJavaShiftLeftLong {
\find ( javaShiftLeftLong ( left , right ))
\replacewith ( shiftleft ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaShiftLeft"
};defined in: intRulesUncheckedSemantics.key Line: 208 Offset :4translateJavaBitwiseOrInt {
\find ( javaBitwiseOrInt ( left , right ))
\replacewith ( binaryOr ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaBitwiseOr"
};defined in: intRulesUncheckedSemantics.key Line: 231 Offset :4translateJavaBitwiseOrLong {
\find ( javaBitwiseOrLong ( left , right ))
\replacewith ( binaryOr ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaBitwiseOr"
};defined in: intRulesUncheckedSemantics.key Line: 238 Offset :4translateJavaBitwiseAndInt {
\find ( javaBitwiseAndInt ( left , right ))
\replacewith ( binaryAnd ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaBitwiseAnd"
};defined in: intRulesUncheckedSemantics.key Line: 245 Offset :4translateJavaBitwiseAndLong {
\find ( javaBitwiseAndLong ( left , right ))
\replacewith ( binaryAnd ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaBitwiseAnd"
};defined in: intRulesUncheckedSemantics.key Line: 252 Offset :4translateJavaBitwiseXOrInt {
\find ( javaBitwiseXOrInt ( left , right ))
\replacewith ( binaryXOr ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaBitwiseXOr"
};defined in: intRulesUncheckedSemantics.key Line: 259 Offset :4translateJavaBitwiseXOrLong {
\find ( javaBitwiseXOrLong ( left , right ))
\replacewith ( binaryXOr ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaBitwiseXOr"
};defined in: intRulesUncheckedSemantics.key Line: 266 Offset :4