expand_addJint {
\find ( addJint ( i , i1 ))
\replacewith ( moduloInt ( add ( i , i1 )))
\heuristics (defOps_expandJNumericOp )
};defined in: intRulesJavaSemantics.key Line: 21 Offset :4expand_unaryMinusJint {
\find ( unaryMinusJint ( i ))
\replacewith ( moduloInt ( neg ( i )))
\heuristics (defOps_expandJNumericOp )
};defined in: intRulesJavaSemantics.key Line: 28 Offset :4expand_subJint {
\find ( subJint ( i , i1 ))
\replacewith ( moduloInt ( sub ( i , i1 )))
\heuristics (defOps_expandJNumericOp )
};defined in: intRulesJavaSemantics.key Line: 35 Offset :4expand_mulJint {
\find ( mulJint ( i , i1 ))
\replacewith ( moduloInt ( mul ( i , i1 )))
\heuristics (defOps_expandJNumericOp )
};defined in: intRulesJavaSemantics.key Line: 42 Offset :4expand_divJint {
\find ( divJint ( i , i1 ))
\replacewith ( moduloInt ( jdiv ( i , i1 )))
\heuristics (defOps_expandJNumericOp )
};defined in: intRulesJavaSemantics.key Line: 49 Offset :4expand_modJint {
\find ( modJint ( i , i1 ))
\replacewith ( moduloInt ( jmod ( i , i1 )))
\heuristics (defOps_expandJNumericOp )
};defined in: intRulesJavaSemantics.key Line: 56 Offset :4expand_addJlong {
\find ( addJlong ( i , i1 ))
\replacewith ( moduloLong ( add ( i , i1 )))
\heuristics (defOps_expandJNumericOp )
};defined in: intRulesJavaSemantics.key Line: 63 Offset :4expand_unaryMinusJlong {
\find ( unaryMinusJlong ( i ))
\replacewith ( moduloLong ( neg ( i )))
\heuristics (defOps_expandJNumericOp )
};defined in: intRulesJavaSemantics.key Line: 70 Offset :4expand_subJlong {
\find ( subJlong ( i , i1 ))
\replacewith ( moduloLong ( sub ( i , i1 )))
\heuristics (defOps_expandJNumericOp )
};defined in: intRulesJavaSemantics.key Line: 77 Offset :4expand_mulJlong {
\find ( mulJlong ( i , i1 ))
\replacewith ( moduloLong ( mul ( i , i1 )))
\heuristics (defOps_expandJNumericOp )
};defined in: intRulesJavaSemantics.key Line: 84 Offset :4expand_divJlong {
\find ( divJlong ( i , i1 ))
\replacewith ( moduloLong ( jdiv ( i , i1 )))
\heuristics (defOps_expandJNumericOp )
};defined in: intRulesJavaSemantics.key Line: 91 Offset :4expand_modJlong {
\find ( modJlong ( i , i1 ))
\replacewith ( moduloLong ( jmod ( i , i1 )))
\heuristics (defOps_expandJNumericOp )
};defined in: intRulesJavaSemantics.key Line: 98 Offset :4bitwiseNegateJIntDefinition {
\find ( bitwiseNegateJint ( i ))
\replacewith ( sub ( neg ( i ), 1 ))
\heuristics (javaIntegerSemantics )
\displayname "bitwiseNegateDefinition"
};defined in: intRulesJavaSemantics.key Line: 104 Offset :4bitwiseNegateJlongDefinition {
\find ( bitwiseNegateJlong ( i ))
\replacewith ( sub ( neg ( i ), 1 ))
\heuristics (javaIntegerSemantics )
\displayname "bitwiseNegateDefinition"
};defined in: intRulesJavaSemantics.key Line: 111 Offset :4expandInByte {
\find ( inByte ( i ))
\replacewith ( inRangeByte ( i ))
\heuristics (concrete )
};defined in: intRulesJavaSemantics.key Line: 123 Offset :4expandInChar {
\find ( inChar ( i ))
\replacewith ( inRangeChar ( i ))
\heuristics (concrete )
};defined in: intRulesJavaSemantics.key Line: 129 Offset :4expandInShort {
\find ( inShort ( i ))
\replacewith ( inRangeShort ( i ))
\heuristics (concrete )
};defined in: intRulesJavaSemantics.key Line: 135 Offset :4expandInInt {
\find ( inInt ( i ))
\replacewith ( inRangeInt ( i ))
\heuristics (concrete )
};defined in: intRulesJavaSemantics.key Line: 141 Offset :4expandInLong {
\find ( inLong ( i ))
\replacewith ( inRangeLong ( i ))
\heuristics (concrete )
};defined in: intRulesJavaSemantics.key Line: 147 Offset :4translateJavaUnaryMinusInt {
\find ( javaUnaryMinusInt ( left ))
\replacewith ( unaryMinusJint ( left ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaUnaryMinus"
};defined in: intRulesJavaSemantics.key Line: 155 Offset :4translateJavaUnaryMinusLong {
\find ( javaUnaryMinusLong ( left ))
\replacewith ( unaryMinusJlong ( left ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaUnaryMinus"
};defined in: intRulesJavaSemantics.key Line: 162 Offset :4translatejavaBitwiseNegateInt {
\find ( javaBitwiseNegateInt ( left ))
\replacewith ( bitwiseNegateJint ( left ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaBitwiseNegation"
};defined in: intRulesJavaSemantics.key Line: 169 Offset :4translatejavaBitwiseNegateLong {
\find ( javaBitwiseNegateLong ( left ))
\replacewith ( bitwiseNegateJlong ( left ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaBitwiseNegation"
};defined in: intRulesJavaSemantics.key Line: 176 Offset :4translateJavaAddInt {
\find ( javaAddInt ( left , right ))
\replacewith ( addJint ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaAdd"
};defined in: intRulesJavaSemantics.key Line: 183 Offset :4translateJavaAddLong {
\find ( javaAddLong ( left , right ))
\replacewith ( addJlong ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaAdd"
};defined in: intRulesJavaSemantics.key Line: 190 Offset :4translateJavaSubInt {
\find ( javaSubInt ( left , right ))
\replacewith ( subJint ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaSub"
};defined in: intRulesJavaSemantics.key Line: 197 Offset :4translateJavaSubLong {
\find ( javaSubLong ( left , right ))
\replacewith ( subJlong ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaSub"
};defined in: intRulesJavaSemantics.key Line: 204 Offset :4translateJavaMulInt {
\find ( javaMulInt ( left , right ))
\replacewith ( mulJint ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaMul"
};defined in: intRulesJavaSemantics.key Line: 211 Offset :4translateJavaMulLong {
\find ( javaMulLong ( left , right ))
\replacewith ( mulJlong ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaMul"
};defined in: intRulesJavaSemantics.key Line: 218 Offset :4translateJavaMod {
\find ( javaMod ( left , right ))
\replacewith ( jmod ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaMod"
};defined in: intRulesJavaSemantics.key Line: 225 Offset :4translateJavaDivInt {
\find ( javaDivInt ( left , right ))
\replacewith ( divJint ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaDiv"
};defined in: intRulesJavaSemantics.key Line: 232 Offset :4translateJavaDivLong {
\find ( javaDivLong ( left , right ))
\replacewith ( divJlong ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaDiv"
};defined in: intRulesJavaSemantics.key Line: 239 Offset :4translateJavaCastByte {
\find ( javaCastByte ( left ))
\replacewith ( moduloByte ( left ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaCast"
};defined in: intRulesJavaSemantics.key Line: 246 Offset :4translateJavaCastShort {
\find ( javaCastShort ( left ))
\replacewith ( moduloShort ( left ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaCast"
};defined in: intRulesJavaSemantics.key Line: 253 Offset :4translateJavaCastInt {
\find ( javaCastInt ( left ))
\replacewith ( moduloInt ( left ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaCast"
};defined in: intRulesJavaSemantics.key Line: 260 Offset :4translateJavaCastLong {
\find ( javaCastLong ( left ))
\replacewith ( moduloLong ( left ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaCast"
};defined in: intRulesJavaSemantics.key Line: 267 Offset :4translateJavaCastChar {
\find ( javaCastChar ( left ))
\replacewith ( moduloChar ( left ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaCast"
};defined in: intRulesJavaSemantics.key Line: 274 Offset :4translateJavaShiftRightInt {
\find ( javaShiftRightInt ( left , right ))
\replacewith ( shiftrightJint ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaShiftRight"
};defined in: intRulesJavaSemantics.key Line: 281 Offset :4translateJavaShiftRightLong {
\find ( javaShiftRightLong ( left , right ))
\replacewith ( shiftrightJlong ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaShiftRight"
};defined in: intRulesJavaSemantics.key Line: 288 Offset :4translateJavaShiftLeftInt {
\find ( javaShiftLeftInt ( left , right ))
\replacewith ( shiftleftJint ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaShiftLeft"
};defined in: intRulesJavaSemantics.key Line: 295 Offset :4translateJavaShiftLeftLong {
\find ( javaShiftLeftLong ( left , right ))
\replacewith ( shiftleftJlong ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaShiftLeft"
};defined in: intRulesJavaSemantics.key Line: 302 Offset :4translateJavaUnsignedShiftRightInt {
\find ( javaUnsignedShiftRightInt ( left , right ))
\replacewith ( unsignedshiftrightJint ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaUnsignedShiftRight"
};defined in: intRulesJavaSemantics.key Line: 309 Offset :4translateJavaUnsignedShiftRightLong {
\find ( javaUnsignedShiftRightLong ( left , right ))
\replacewith ( unsignedshiftrightJlong ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaUnsignedShiftRight"
};defined in: intRulesJavaSemantics.key Line: 316 Offset :4translateJavaBitwiseOrInt {
\find ( javaBitwiseOrInt ( left , right ))
\replacewith ( orJint ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaBitwiseOr"
};defined in: intRulesJavaSemantics.key Line: 323 Offset :4translateJavaBitwiseOrLong {
\find ( javaBitwiseOrLong ( left , right ))
\replacewith ( orJlong ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaBitwiseOr"
};defined in: intRulesJavaSemantics.key Line: 330 Offset :4translateJavaBitwiseAndInt {
\find ( javaBitwiseAndInt ( left , right ))
\replacewith ( andJint ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaBitwiseAnd"
};defined in: intRulesJavaSemantics.key Line: 337 Offset :4translateJavaBitwiseAndLong {
\find ( javaBitwiseAndLong ( left , right ))
\replacewith ( andJlong ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaBitwiseAnd"
};defined in: intRulesJavaSemantics.key Line: 344 Offset :4translateJavaBitwiseXOrInt {
\find ( javaBitwiseXOrInt ( left , right ))
\replacewith ( xorJint ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaBitwiseXOr"
};defined in: intRulesJavaSemantics.key Line: 351 Offset :4translateJavaBitwiseXOrLong {
\find ( javaBitwiseXOrLong ( left , right ))
\replacewith ( xorJlong ( left , right ))
\heuristics (javaIntegerSemantics )
\displayname "translateJavaBitwiseXOr"
};defined in: intRulesJavaSemantics.key Line: 358 Offset :4