widening_identity_cast_bigint {
\find ( \modality{#allmodal}{.. #lhs = (\bigint) #seAny; ...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{.. #lhs = #seAny; ...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "cast"
};defined in: bigint.key Line: 25 Offset :4assignmentAdditionBigint1 {
\find ( \modality{#allmodal}{..
#loc=#seBigint + #seAny;
...}\endmodality ( post ))
\replacewith ( { #loc:= add ( #seBigint, #seAny)} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (executeIntegerAssignment )
\displayname "addition"
};defined in: bigint.key Line: 34 Offset :4assignmentAdditionBigint2 {
\find ( \modality{#allmodal}{..
#loc=#seAny + #seBigint;
...}\endmodality ( post ))
\replacewith ( { #loc:= add ( #seAny, #seBigint)} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (executeIntegerAssignment )
\displayname "addition"
};defined in: bigint.key Line: 45 Offset :4assignmentMultiplicationBigint1 {
\find ( \modality{#allmodal}{..
#loc = #seBigint * #seAny;
...}\endmodality ( post ))
\replacewith ( { #loc:= mul ( #seBigint, #seAny)} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (executeIntegerAssignment )
\displayname "multiplication"
};defined in: bigint.key Line: 56 Offset :4assignmentMultiplicationBigint2 {
\find ( \modality{#allmodal}{..
#loc = #seAny * #seBigint;
...}\endmodality ( post ))
\replacewith ( { #loc:= mul ( #seAny, #seBigint)} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (executeIntegerAssignment )
\displayname "multiplication"
};defined in: bigint.key Line: 66 Offset :4assignmentDivisionBigint1 {
\find ( ==> \modality{#allmodal}{..
#loc=#seBigint / #seAny;
...}\endmodality ( post ))
\replacewith ( ==> { #loc:= div ( #seBigint, #seAny)} \modality{#allmodal}{.. ...}\endmodality ( post ));
\replacewith ( ==> #seAny!= 0 )
\heuristics (executeIntegerAssignment )
\displayname "division"
};defined in: bigint.key Line: 79 Offset :4assignmentDivisionBigint2 {
\find ( ==> \modality{#allmodal}{..
#loc=#seAny / #seBigint;
...}\endmodality ( post ))
\replacewith ( ==> { #loc:= div ( #seAny, #seBigint)} \modality{#allmodal}{.. ...}\endmodality ( post ));
\replacewith ( ==> #seBigint!= 0 )
\heuristics (executeIntegerAssignment )
\displayname "division"
};defined in: bigint.key Line: 91 Offset :4assignmentModuloBigint1 {
\find ( ==> \modality{#allmodal}{..
#loc=#seBigint % #seAny;
...}\endmodality ( post ))
\replacewith ( ==> { #loc:= mod ( #seBigint, #seAny)} \modality{#allmodal}{.. ...}\endmodality ( post ));
\replacewith ( ==> #seAny!= 0 )
\heuristics (executeIntegerAssignment )
\displayname "modulo"
};defined in: bigint.key Line: 103 Offset :4assignmentModuloBigint2 {
\find ( ==> \modality{#allmodal}{..
#loc=#seAny % #seBigint;
...}\endmodality ( post ))
\replacewith ( ==> { #loc:= mod ( #seAny, #seBigint)} \modality{#allmodal}{.. ...}\endmodality ( post ));
\replacewith ( ==> #seBigint!= 0 )
\heuristics (executeIntegerAssignment )
\displayname "modulo"
};defined in: bigint.key Line: 115 Offset :4assignmentDivisionBigint1 {
\find ( \modality{#allmodal}{..
#loc=#seBigint / #seAny;
...}\endmodality ( post ))
\replacewith ( { #loc:= div ( #seBigint, #seAny)} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (executeIntegerAssignment )
\displayname "division"
};defined in: bigint.key Line: 131 Offset :4assignmentDivisionBigint2 {
\find ( \modality{#allmodal}{..
#loc=#seAny / #seBigint;
...}\endmodality ( post ))
\replacewith ( { #loc:= div ( #seAny, #seBigint)} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (executeIntegerAssignment )
\displayname "division"
};defined in: bigint.key Line: 142 Offset :4assignmentModuloBigint1 {
\find ( \modality{#allmodal}{..
#loc=#seBigint % #seAny;
...}\endmodality ( post ))
\replacewith ( { #loc:= mod ( #seBigint, #seAny)} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (executeIntegerAssignment )
\displayname "modulo"
};defined in: bigint.key Line: 153 Offset :4assignmentModuloBigint2 {
\find ( \modality{#allmodal}{..
#loc=#seAny % #seBigint;
...}\endmodality ( post ))
\replacewith ( { #loc:= mod ( #seAny, #seBigint)} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (executeIntegerAssignment )
\displayname "modulo"
};defined in: bigint.key Line: 164 Offset :4assignmentDivisionBigint1 {
\find ( \modality{#allmodal}{..
#loc=#seBigint / #seAny;
...}\endmodality ( post ))
\replacewith ( \if ( #seAny!= 0 )\then ( { #loc:= div ( #seBigint, #seAny)} \modality{#allmodal}{.. ...}\endmodality ( post ))\else ( \modality{#allmodal}{..
throw new java.lang.ArithmeticException();
...}\endmodality ( post )))
\heuristics (executeIntegerAssignment )
\displayname "division"
};defined in: bigint.key Line: 179 Offset :4assignmentDivisionBigint2 {
\find ( \modality{#allmodal}{..
#loc=#seAny / #seBigint;
...}\endmodality ( post ))
\replacewith ( \if ( #seBigint!= 0 )\then ( { #loc:= div ( #seAny, #seBigint)} \modality{#allmodal}{.. ...}\endmodality ( post ))\else ( \modality{#allmodal}{..
throw new java.lang.ArithmeticException();
...}\endmodality ( post )))
\heuristics (executeIntegerAssignment )
\displayname "division"
};defined in: bigint.key Line: 193 Offset :4assignmentModuloBigint1 {
\find ( \modality{#allmodal}{..
#loc=#seBigint % #seAny;
...}\endmodality ( post ))
\replacewith ( \if ( #seAny!= 0 )\then ( { #loc:= mod ( #seBigint, #seAny)} \modality{#allmodal}{.. ...}\endmodality ( post ))\else ( \modality{#allmodal}{..
throw new java.lang.ArithmeticException();
...}\endmodality ( post )))
\heuristics (executeIntegerAssignment )
\displayname "modulo"
};defined in: bigint.key Line: 207 Offset :4assignmentModuloBigint2 {
\find ( \modality{#allmodal}{..
#loc=#seAny % #seBigint;
...}\endmodality ( post ))
\replacewith ( \if ( #seBigint!= 0 )\then ( { #loc:= mod ( #seAny, #seBigint)} \modality{#allmodal}{.. ...}\endmodality ( post ))\else ( \modality{#allmodal}{..
throw new java.lang.ArithmeticException();
...}\endmodality ( post )))
\heuristics (executeIntegerAssignment )
\displayname "modulo"
};defined in: bigint.key Line: 221 Offset :4assignmentSubtractionBigint1 {
\find ( \modality{#allmodal}{..
#loc = #seBigint - #seAny;
...}\endmodality ( post ))
\replacewith ( { #loc:= sub ( #seBigint, #seAny)} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (executeIntegerAssignment )
\displayname "subtraction"
};defined in: bigint.key Line: 239 Offset :4assignmentSubtractionBigint2 {
\find ( \modality{#allmodal}{..
#loc = #seAny - #seBigint;
...}\endmodality ( post ))
\replacewith ( { #loc:= sub ( #seAny, #seBigint)} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (executeIntegerAssignment )
\displayname "subtraction"
};defined in: bigint.key Line: 249 Offset :4unaryMinusBigint {
\find ( \modality{#allmodal}{..
#loc = - #seBigint;
...}\endmodality ( post ))
\replacewith ( { #loc:= - #seBigint} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (executeIntegerAssignment )
\displayname "unaryMinus"
};defined in: bigint.key Line: 259 Offset :4narrowingShortCastBigint {
\find ( \modality{#allmodal}{..
#loc = (short) #seBigint;
...}\endmodality ( post ))
\replacewith ( { #loc:= javaCastShort ( #seBigint)} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (executeIntegerAssignment )
\displayname "cast"
};defined in: bigint.key Line: 274 Offset :4narrowingIntCastBigint {
\find ( \modality{#allmodal}{.. #loc = (int) #seBigint; ...}\endmodality ( post ))
\replacewith ( { #loc:= javaCastInt ( #seBigint)} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (executeIntegerAssignment )
\displayname "cast"
};defined in: bigint.key Line: 284 Offset :4narrowingLongCastBigint {
\find ( \modality{#allmodal}{.. #loc = (long) #seBigint; ...}\endmodality ( post ))
\replacewith ( { #loc:= javaCastLong ( #seBigint)} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (executeIntegerAssignment )
\displayname "cast"
};defined in: bigint.key Line: 292 Offset :4narrowingCharCastBigint {
\find ( \modality{#allmodal}{..
#loc = (char) #seBigint;
...}\endmodality ( post ))
\replacewith ( { #loc:= javaCastChar ( #seBigint)} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (executeIntegerAssignment )
\displayname "cast"
};defined in: bigint.key Line: 300 Offset :4narrowingByteCastBigint {
\find ( \modality{#allmodal}{..
#loc = (byte) #seBigint;
...}\endmodality ( post ))
\replacewith ( { #loc:= javaCastByte ( #seBigint)} \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (executeIntegerAssignment )
\displayname "cast"
};defined in: bigint.key Line: 311 Offset :4