integerRulesCommon.key
Taclets
Enabled under choices:
programRules:Java
compound_unary_plus_assignment
compound_unary_plus_assignment {
\find ( \modality{#allmodal}{..#lhs=+#e;...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..#lhs=#e;...}\endmodality ( post ))
\heuristics (executeIntegerAssignment )
};defined in: integerRulesCommon.key Line: 40 Offset :4
compound_unary_minus_eval
compound_unary_minus_eval {
\find ( \modality{#allmodal}{..#lhs=-#nse;...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{.. #typeof(#nse) #v0 = #nse;
#lhs = -#v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
};defined in: integerRulesCommon.key Line: 46 Offset :4
compound_binary_neg
compound_binary_neg {
\find ( \modality{#allmodal}{..#lhs=~#nse;...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..#typeof(#nse) #v0=#nse; #lhs=~#v0;...}
\endmodality ( post ))
\heuristics (simplify_expression )
};defined in: integerRulesCommon.key Line: 55 Offset :4
widening_identity_cast_1
widening_identity_cast_1 {
\find ( \modality{#allmodal}{.. #lhs = (byte) #seByte; ...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{.. #lhs = #seByte; ...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "cast"
};defined in: integerRulesCommon.key Line: 68 Offset :4
widening_identity_cast_2
widening_identity_cast_2 {
\find ( \modality{#allmodal}{.. #lhs = (short) #seByte; ...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{.. #lhs = #seByte; ...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "cast"
};defined in: integerRulesCommon.key Line: 76 Offset :4
widening_identity_cast_3
widening_identity_cast_3 {
\find ( \modality{#allmodal}{.. #lhs = (char) #seChar; ...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{.. #lhs = #seChar; ...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "cast"
};defined in: integerRulesCommon.key Line: 84 Offset :4
widening_identity_cast_4
widening_identity_cast_4 {
\find ( \modality{#allmodal}{.. #lhs = (short) #seShort; ...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{.. #lhs = #seShort; ...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "cast"
};defined in: integerRulesCommon.key Line: 92 Offset :4
widening_identity_cast_5
widening_identity_cast_5 {
\find ( \modality{#allmodal}{.. #lhs = (int) #seByteShortInt; ...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{.. #lhs = #seByteShortInt; ...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "cast"
};defined in: integerRulesCommon.key Line: 100 Offset :4
widening_identity_cast_10
widening_identity_cast_10 {
\find ( \modality{#allmodal}{.. #lhs = (long) #seByteShortInt; ...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{.. #lhs = #seByteShortInt; ...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "cast"
};defined in: integerRulesCommon.key Line: 108 Offset :4
widening_identity_cast_11
widening_identity_cast_11 {
\find ( \modality{#allmodal}{.. #lhs = (long) #seLong; ...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{.. #lhs = #seLong; ...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "cast"
};defined in: integerRulesCommon.key Line: 116 Offset :4
widening_identity_cast_12
widening_identity_cast_12 {
\find ( \modality{#allmodal}{.. #lhs = (int) #seChar; ...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{.. #lhs = #seChar; ...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "cast"
};defined in: integerRulesCommon.key Line: 123 Offset :4
widening_identity_cast_13
widening_identity_cast_13 {
\find ( \modality{#allmodal}{.. #lhs = (long) #seChar; ...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{.. #lhs = #seChar; ...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "cast"
};defined in: integerRulesCommon.key Line: 130 Offset :4