floatAssignment2UpdateRules.key
Taclets
Enabled under choices:
programRules:Java
equality_comparison_simple_float
equality_comparison_simple_float {
\find ( \modality{#allmodal}{.. #lhs = #seFloat0 == #seFloat1; ...}\endmodality ( post ))
\replacewith ( { #lhs:= \if ( eqFloat ( #seFloat0, #seFloat1))\then ( TRUE )\else ( FALSE )} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "equality comparison"
};defined in: floatAssignment2UpdateRules.key Line: 31 Offset :4
inequality_comparison_simple_float
inequality_comparison_simple_float {
\find ( \modality{#allmodal}{.. #lhs = #seFloat0 != #seFloat1; ...}\endmodality ( post ))
\replacewith ( { #lhs:= \if ( eqFloat ( #seFloat0, #seFloat1))\then ( FALSE )\else ( TRUE )} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "inequality comparison"
};defined in: floatAssignment2UpdateRules.key Line: 39 Offset :4
less_than_comparison_simple_float
less_than_comparison_simple_float {
\find ( \modality{#allmodal}{.. #lhs = #seFloat0 < #seFloat1; ...}\endmodality ( post ))
\replacewith ( { #lhs:= \if ( ltFloat ( #seFloat0, #seFloat1))\then ( TRUE )\else ( FALSE )} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "lesser than distinction"
};defined in: floatAssignment2UpdateRules.key Line: 47 Offset :4
less_equal_than_comparison_simple_float
less_equal_than_comparison_simple_float {
\find ( \modality{#allmodal}{.. #lhs = #seFloat0 <= #seFloat1; ...}\endmodality ( post ))
\replacewith ( { #lhs:= \if ( leqFloat ( #seFloat0, #seFloat1))\then ( TRUE )\else ( FALSE )} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "less-or-equal than distinction"
};defined in: floatAssignment2UpdateRules.key Line: 55 Offset :4
greater_than_comparison_simple_float
greater_than_comparison_simple_float {
\find ( \modality{#allmodal}{.. #lhs = #seFloat0 > #seFloat1; ...}\endmodality ( post ))
\replacewith ( { #lhs:= \if ( gtFloat ( #seFloat0, #seFloat1))\then ( TRUE )\else ( FALSE )} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "greater than distinction"
};defined in: floatAssignment2UpdateRules.key Line: 63 Offset :4
greater_equal_than_comparison_simple_float
greater_equal_than_comparison_simple_float {
\find ( \modality{#allmodal}{.. #lhs = #seFloat0 >= #seFloat1; ...}\endmodality ( post ))
\replacewith ( { #lhs:= \if ( geqFloat ( #seFloat0, #seFloat1))\then ( TRUE )\else ( FALSE )} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "greater-or-equal than distinction"
};defined in: floatAssignment2UpdateRules.key Line: 71 Offset :4
equality_comparison_double
equality_comparison_double {
\find ( \modality{#allmodal}{.. #lhs = #seDouble0 == #seDouble1; ...}\endmodality ( post ))
\replacewith ( { #lhs:= \if ( eqDouble ( #seDouble0, #seDouble1))\then ( TRUE )\else ( FALSE )} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "equality comparison"
};defined in: floatAssignment2UpdateRules.key Line: 82 Offset :4
inequality_comparison_simple_double
inequality_comparison_simple_double {
\find ( \modality{#allmodal}{.. #lhs = #seDouble0 != #seDouble1; ...}\endmodality ( post ))
\replacewith ( { #lhs:= \if ( eqDouble ( #seDouble0, #seDouble1))\then ( FALSE )\else ( TRUE )} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "inequality comparison"
};defined in: floatAssignment2UpdateRules.key Line: 90 Offset :4
less_than_comparison_simple_double
less_than_comparison_simple_double {
\find ( \modality{#allmodal}{.. #lhs = #seDouble0 < #seDouble1; ...}\endmodality ( post ))
\replacewith ( { #lhs:= \if ( ltDouble ( #seDouble0, #seDouble1))\then ( TRUE )\else ( FALSE )} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "lesser than distinction"
};defined in: floatAssignment2UpdateRules.key Line: 98 Offset :4
less_equal_than_comparison_simple_double
less_equal_than_comparison_simple_double {
\find ( \modality{#allmodal}{.. #lhs = #seDouble0 <= #seDouble1; ...}\endmodality ( post ))
\replacewith ( { #lhs:= \if ( leqDouble ( #seDouble0, #seDouble1))\then ( TRUE )\else ( FALSE )} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "less-or-equal than distinction"
};defined in: floatAssignment2UpdateRules.key Line: 106 Offset :4
greater_than_comparison_simple_double
greater_than_comparison_simple_double {
\find ( \modality{#allmodal}{.. #lhs = #seDouble0 > #seDouble1; ...}\endmodality ( post ))
\replacewith ( { #lhs:= \if ( gtDouble ( #seDouble0, #seDouble1))\then ( TRUE )\else ( FALSE )} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "greater than distinction"
};defined in: floatAssignment2UpdateRules.key Line: 114 Offset :4
greater_equal_than_comparison_simple_double
greater_equal_than_comparison_simple_double {
\find ( \modality{#allmodal}{.. #lhs = #seDouble0 >= #seDouble1; ...}\endmodality ( post ))
\replacewith ( { #lhs:= \if ( geqDouble ( #seDouble0, #seDouble1))\then ( TRUE )\else ( FALSE )} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "greater-or-equal than distinction"
};defined in: floatAssignment2UpdateRules.key Line: 122 Offset :4
unaryMinusFloat
unaryMinusFloat {
\find ( \modality{#normalassign}{..
#loc = - #seFloat;
...}\endmodality ( post ))
\replacewith ( { #loc:= javaUnaryMinusFloat ( #seFloat)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "unaryMinus"
};defined in: floatAssignment2UpdateRules.key Line: 132 Offset :4
unaryMinusDouble
unaryMinusDouble {
\find ( \modality{#normalassign}{..
#loc = - #seDouble;
...}\endmodality ( post ))
\replacewith ( { #loc:= javaUnaryMinusDouble ( #seDouble)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "unaryMinus"
};defined in: floatAssignment2UpdateRules.key Line: 142 Offset :4
assignmentAdditionFloatStrictFP
assignmentAdditionFloatStrictFP {
\find ( \modality{#normalassign}{..
#loc=#seFloat0 + #seFloat1;
...}\endmodality ( post ))
\varcond \replacewith ( { #loc:= addFloat ( #seFloat0, #seFloat1)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "addition"
};defined in: floatAssignment2UpdateRules.key Line: 154 Offset :4
assignmentSubtractionFloatStrictFP
assignmentSubtractionFloatStrictFP {
\find ( \modality{#normalassign}{..
#loc = #seFloat0 - #seFloat1;
...}\endmodality ( post ))
\varcond \replacewith ( { #loc:= subFloat ( #seFloat0, #seFloat1)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "subtraction"
};defined in: floatAssignment2UpdateRules.key Line: 166 Offset :4
assignmentMultiplicationFloatStrictFP
assignmentMultiplicationFloatStrictFP {
\find ( \modality{#normalassign}{..
#loc = #seFloat0 * #seFloat1;
...}\endmodality ( post ))
\varcond \replacewith ( { #loc:= mulFloat ( #seFloat0, #seFloat1)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "multiplication"
};defined in: floatAssignment2UpdateRules.key Line: 178 Offset :4
assignmentDivisionFloatStrictFP
assignmentDivisionFloatStrictFP {
\find ( \modality{#normalassign}{..
#loc = #seFloat0 / #seFloat1;
...}\endmodality ( post ))
\varcond \replacewith ( { #loc:= divFloat ( #seFloat0, #seFloat1)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "division"
};defined in: floatAssignment2UpdateRules.key Line: 190 Offset :4
assignmentAdditionDoubleStrictFP
assignmentAdditionDoubleStrictFP {
\find ( \modality{#normalassign}{..
#loc=#seDouble0 + #seDouble1;
...}\endmodality ( post ))
\varcond \replacewith ( { #loc:= addDouble ( #seDouble0, #seDouble1)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeDoubleAssignment )
\displayname "addition"
};defined in: floatAssignment2UpdateRules.key Line: 203 Offset :4
assignmentSubtractionDoubleStrictFP
assignmentSubtractionDoubleStrictFP {
\find ( \modality{#normalassign}{..
#loc = #seDouble0 - #seDouble1;
...}\endmodality ( post ))
\varcond \replacewith ( { #loc:= subDouble ( #seDouble0, #seDouble1)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeDoubleAssignment )
\displayname "subtraction"
};defined in: floatAssignment2UpdateRules.key Line: 215 Offset :4
assignmentMultiplicationDoubleStrictFP
assignmentMultiplicationDoubleStrictFP {
\find ( \modality{#normalassign}{..
#loc = #seDouble0 * #seDouble1;
...}\endmodality ( post ))
\varcond \replacewith ( { #loc:= mulDouble ( #seDouble0, #seDouble1)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeDoubleAssignment )
\displayname "multiplication"
};defined in: floatAssignment2UpdateRules.key Line: 227 Offset :4
assignmentDivisionDoubleStrictFP
assignmentDivisionDoubleStrictFP {
\find ( \modality{#normalassign}{..
#loc = #seDouble0 / #seDouble1;
...}\endmodality ( post ))
\varcond \replacewith ( { #loc:= divDouble ( #seDouble0, #seDouble1)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeDoubleAssignment )
\displayname "division"
};defined in: floatAssignment2UpdateRules.key Line: 239 Offset :4
assignmentAdditionFloat
assignmentAdditionFloat {
\find ( \modality{#normalassign}{..
#loc=#seFloat0 + #seFloat1;
...}\endmodality ( post ))
\varcond \replacewith ( { #loc:= javaAddFloat ( #seFloat0, #seFloat1)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "addition"
};defined in: floatAssignment2UpdateRules.key Line: 253 Offset :4
assignmentAdditionDouble
assignmentAdditionDouble {
\find ( \modality{#normalassign}{..
#loc=#seDouble0 + #seDouble1;
...}\endmodality ( post ))
\varcond \replacewith ( { #loc:= javaAddDouble ( #seDouble0, #seDouble1)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "addition"
};defined in: floatAssignment2UpdateRules.key Line: 265 Offset :4
assignmentSubtractionFloat
assignmentSubtractionFloat {
\find ( \modality{#normalassign}{..
#loc = #seFloat0 - #seFloat1;
...}\endmodality ( post ))
\varcond \replacewith ( { #loc:= javaSubFloat ( #seFloat0, #seFloat1)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "subtraction"
};defined in: floatAssignment2UpdateRules.key Line: 277 Offset :4
assignmentSubtractionDouble
assignmentSubtractionDouble {
\find ( \modality{#normalassign}{..
#loc = #seDouble0 - #seDouble1;
...}\endmodality ( post ))
\varcond \replacewith ( { #loc:= javaSubDouble ( #seDouble0, #seDouble1)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "subtraction"
};defined in: floatAssignment2UpdateRules.key Line: 289 Offset :4
assignmentMultiplicationFloat
assignmentMultiplicationFloat {
\find ( \modality{#normalassign}{..
#loc = #seFloat0 * #seFloat1;
...}\endmodality ( post ))
\varcond \replacewith ( { #loc:= javaMulFloat ( #seFloat0, #seFloat1)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "multiplication"
};defined in: floatAssignment2UpdateRules.key Line: 301 Offset :4
assignmentMultiplicationDouble
assignmentMultiplicationDouble {
\find ( \modality{#normalassign}{..
#loc = #seDouble0 * #seDouble1;
...}\endmodality ( post ))
\varcond \replacewith ( { #loc:= javaMulDouble ( #seDouble0, #seDouble1)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "multiplication"
};defined in: floatAssignment2UpdateRules.key Line: 313 Offset :4
assignmentDivisionFloat
assignmentDivisionFloat {
\find ( \modality{#normalassign}{..
#loc = #seFloat0 / #seFloat1;
...}\endmodality ( post ))
\varcond \replacewith ( { #loc:= javaDivFloat ( #seFloat0, #seFloat1)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "division"
};defined in: floatAssignment2UpdateRules.key Line: 325 Offset :4
assignmentDivisionDouble
assignmentDivisionDouble {
\find ( \modality{#normalassign}{..
#loc = #seDouble0 / #seDouble1;
...}\endmodality ( post ))
\varcond \replacewith ( { #loc:= javaDivDouble ( #seDouble0, #seDouble1)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "division"
};defined in: floatAssignment2UpdateRules.key Line: 337 Offset :4
assignmentModFloat
assignmentModFloat {
\find ( \modality{#normalassign}{..
#loc = #seFloat0 % #seFloat1;
...}\endmodality ( post ))
\replacewith ( { #loc:= javaModFloat ( #seFloat0, #seFloat1)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "mod"
};defined in: floatAssignment2UpdateRules.key Line: 350 Offset :4
assignmentModDouble
assignmentModDouble {
\find ( \modality{#normalassign}{..
#loc = #seDouble0 % #seDouble1;
...}\endmodality ( post ))
\replacewith ( { #loc:= javaModDouble ( #seDouble0, #seDouble1)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "mod"
};defined in: floatAssignment2UpdateRules.key Line: 361 Offset :4
intLongToFloatAddition1
intLongToFloatAddition1 {
\find ( \modality{#normalassign}{..
#loc = #seLong + #seFloat;
...}\endmodality ( post ))
\replacewith ( { #loc:= javaAddFloat ( (float ) #seLong, #seFloat)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "float addition"
};defined in: floatAssignment2UpdateRules.key Line: 374 Offset :4
intToFloatAddition
intToFloatAddition {
\find ( \modality{#normalassign}{..
#loc = #seCharByteShortInt + #seFloat;
...}\endmodality ( post ))
\replacewith ( { #loc:= javaAddFloat ( (float ) #seCharByteShortInt, #seFloat)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "float addition"
};defined in: floatAssignment2UpdateRules.key Line: 386 Offset :4
castLongToFloatAddition2
castLongToFloatAddition2 {
\find ( \modality{#normalassign}{..
#loc = #seFloat + #seLong;
...}\endmodality ( post ))
\replacewith ( { #loc:= javaAddFloat ( #seFloat, (float ) #seLong)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "float addition"
};defined in: floatAssignment2UpdateRules.key Line: 396 Offset :4
wideningCastIntToFloat
wideningCastIntToFloat {
\find ( \modality{#normalassign}{..
#loc = (float) #seCharByteShortInt;
...}\endmodality ( post ))
\replacewith ( { #loc:= (float ) ( #seCharByteShortInt)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "cast"
};defined in: floatAssignment2UpdateRules.key Line: 420 Offset :4
identityCastFloat
identityCastFloat {
\find ( \modality{#normalassign}{..
#loc = (float) #seFloat;
...}\endmodality ( post ))
\replacewith ( \modality{#normalassign}{..
#loc = #seFloat;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "identity cast"
};defined in: floatAssignment2UpdateRules.key Line: 430 Offset :4
identityCastDouble
identityCastDouble {
\find ( \modality{#normalassign}{..
#loc = (double) #seDouble;
...}\endmodality ( post ))
\replacewith ( \modality{#normalassign}{..
#loc = #seDouble;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "identity cast"
};defined in: floatAssignment2UpdateRules.key Line: 441 Offset :4
narrowingCastFloatToInt
narrowingCastFloatToInt {
\find ( \modality{#normalassign}{..
#loc = (int) #seFloat;
...}\endmodality ( post ))
\replacewith ( { #loc:= (long ) ( #seFloat)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "cast"
};defined in: floatAssignment2UpdateRules.key Line: 452 Offset :4
narrowingCastFloatToLong
narrowingCastFloatToLong {
\find ( \modality{#normalassign}{..
#loc = (long) #seFloat;
...}\endmodality ( post ))
\replacewith ( { #loc:= (long ) ( #seFloat)} \modality{#normalassign}{.. ...}\endmodality ( post ))
\heuristics (executeFloatAssignment )
\displayname "cast"
};defined in: floatAssignment2UpdateRules.key Line: 462 Offset :4
compound_float_cast_expression
compound_float_cast_expression {
\find ( \modality{#normalassign}{.. #loc = (float) #nse; ...}\endmodality ( post ))
\varcond \replacewith ( \modality{#normalassign}{.. #typeof(#nse) #v = #nse; #loc = (float) #v; ...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "cast"
};defined in: floatAssignment2UpdateRules.key Line: 474 Offset :4
compound_double_cast_expression
compound_double_cast_expression {
\find ( \modality{#normalassign}{.. #loc = (double) #nse; ...}\endmodality ( post ))
\varcond \replacewith ( \modality{#normalassign}{.. #typeof(#nse) #v = #nse; #loc = (double) #v; ...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "cast"
};defined in: floatAssignment2UpdateRules.key Line: 482 Offset :4