activeUseStaticFieldWriteAccess {
\find ( \modality{#allmodal}{.. #sv = #e; ...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#e) #v0 = #e;
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_prog , simplify_prog_subset )
\displayname "activeUse"
};defined in: activeUse.key Line: 28 Offset :4activeUseStaticFieldWriteAccess2 {
\find ( \modality{#allmodal}{.. #v.#sv = #e; ...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#e) #v0 = #e;
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_prog , simplify_prog_subset )
\displayname "activeUse"
};defined in: activeUse.key Line: 41 Offset :4activeUseStaticFieldWriteAccess3 {
\schemaVar \program Expression #arr, #idx;
\find ( \modality{#allmodal}{.. #sv = #arr[#idx]; ...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #arr[#idx];
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_prog , simplify_prog_subset )
\displayname "activeUse"
};defined in: activeUse.key Line: 54 Offset :4activeUseStaticFieldWriteAccess4 {
\schemaVar \program Expression #arr, #idx;
\find ( \modality{#allmodal}{.. #v.#sv = #arr[#idx]; ...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #arr[#idx];
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_prog , simplify_prog_subset )
\displayname "activeUse"
};defined in: activeUse.key Line: 68 Offset :4activeUseStaticFieldWriteAccess5 {
\find ( \modality{#allmodal}{.. #sv = #v1.#a; ...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#a) #v0 = #v1.#a;
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_prog , simplify_prog_subset )
\displayname "activeUse"
};defined in: activeUse.key Line: 82 Offset :4activeUseStaticFieldWriteAccess6 {
\find ( \modality{#allmodal}{.. #v.#sv = #v1.#a; ...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#a) #v0 = #v1.#a;
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_prog , simplify_prog_subset )
\displayname "activeUse"
};defined in: activeUse.key Line: 95 Offset :4activeUseStaticFieldReadAccess {
\find ( \modality{#allmodal}{.. #lhs = #sv; ...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
#static-initialisation(#sv);
#lhs = @(#sv);
...}\endmodality ( post ))
\heuristics (simplify_prog , simplify_prog_subset )
\displayname "activeUse"
};defined in: activeUse.key Line: 108 Offset :4activeUseStaticFieldReadAccess2 {
\find ( \modality{#allmodal}{.. #lhs = #v.#sv; ...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
#static-initialisation(#sv);
#lhs = @(#sv);
...}\endmodality ( post ))
\heuristics (simplify_prog , simplify_prog_subset )
\displayname "activeUse"
};defined in: activeUse.key Line: 118 Offset :4activeUseStaticFieldWriteAccess {
\find ( \modality{#allmodal}{.. #sv = #e; ...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#e) #v0 = #e;
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_prog , simplify_prog_subset )
\displayname "activeUse"
};defined in: activeUse.key Line: 132 Offset :4activeUseStaticFieldWriteAccess2 {
\find ( \modality{#allmodal}{.. #v.#sv = #e; ...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#e) #v0 = #e;
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_prog , simplify_prog_subset )
\displayname "activeUse"
};defined in: activeUse.key Line: 144 Offset :4activeUseStaticFieldWriteAccess3 {
\schemaVar \program Expression #arr, #idx;
\find ( \modality{#allmodal}{.. #sv = #arr[#idx]; ...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #arr[#idx];
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_prog , simplify_prog_subset )
\displayname "activeUse"
};defined in: activeUse.key Line: 156 Offset :4activeUseStaticFieldWriteAccess4 {
\schemaVar \program Expression #arr, #idx;
\find ( \modality{#allmodal}{.. #v.#sv = #arr[#idx]; ...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #arr[#idx];
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_prog , simplify_prog_subset )
\displayname "activeUse"
};defined in: activeUse.key Line: 169 Offset :4activeUseStaticFieldWriteAccess5 {
\find ( \modality{#allmodal}{.. #sv = #v1.#a; ...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#a) #v0 = #v1.#a;
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_prog , simplify_prog_subset )
\displayname "activeUse"
};defined in: activeUse.key Line: 182 Offset :4activeUseStaticFieldWriteAccess6 {
\find ( \modality{#allmodal}{.. #v.#sv = #v1.#a; ...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#a) #v0 = #v1.#a;
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_prog , simplify_prog_subset )
\displayname "activeUse"
};defined in: activeUse.key Line: 194 Offset :4activeUseStaticFieldReadAccess {
\find ( \modality{#allmodal}{.. #lhs = #sv; ...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
#lhs = @(#sv);
...}\endmodality ( post ))
\heuristics (simplify_prog , simplify_prog_subset )
\displayname "activeUse"
};defined in: activeUse.key Line: 206 Offset :4activeUseStaticFieldReadAccess2 {
\find ( \modality{#allmodal}{.. #lhs = #v.#sv; ...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
#lhs = @(#sv);
...}\endmodality ( post ))
\heuristics (simplify_prog , simplify_prog_subset )
\displayname "activeUse"
};defined in: activeUse.key Line: 215 Offset :4activeUseMultiplication {
\find ( \modality{#allmodal}{..
#sv = #left * #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left * #right;
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 227 Offset :4activeUseDivision {
\find ( \modality{#allmodal}{..
#sv = #left / #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left / #right;
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 243 Offset :4activeUseModulo {
\find ( \modality{#allmodal}{..
#sv = #left % #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left % #right;
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 257 Offset :4activeUseSubtraction {
\find ( \modality{#allmodal}{..
#sv = #left - #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left - #right;
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 271 Offset :4activeUseAddition {
\find ( \modality{#allmodal}{..
#sv = #left + #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left + #right;
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 285 Offset :4activeUseBitwiseAnd {
\find ( \modality{#allmodal}{..
#sv = #left & #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left & #right;
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 299 Offset :4activeUseBitwiseOr {
\find ( \modality{#allmodal}{..
#sv=#left | #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left | #right;
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 313 Offset :4activeUseBitwiseXOr {
\find ( \modality{#allmodal}{..
#sv=#left ^ #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left ^ #right;
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 327 Offset :4activeUseShiftRight {
\find ( \modality{#allmodal}{..
#sv=#left >> #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left >> #right;
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 341 Offset :4activeUseShiftLeft {
\find ( \modality{#allmodal}{..
#sv=#left << #right; ...}
\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left << #right;
#static-initialisation(#sv);
@(#sv) = #v0;
...} \endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 355 Offset :4activeUseUnsignedShiftRight {
\find ( \modality{#allmodal}{..
#sv=#left >>> #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left >>> #right; ...}
#static-initialisation(#sv);
@(#sv) = #v0;
\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 369 Offset :4activeUseMinus {
\find ( \modality{#allmodal}{..
#sv = - #left;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = - #left;
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 383 Offset :4activeUseBitwiseNegation {
\find ( \modality{#allmodal}{..
#sv = ~ #left;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = ~ #left;
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 397 Offset :4activeUseByteCast {
\find ( \modality{#allmodal}{..
#sv = (byte) #seShortIntLong;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = (byte) #seShortIntLong;
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 411 Offset :4activeUseShortCast {
\find ( \modality{#allmodal}{..
#sv = (short) #seIntLong;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = (short) #seIntLong;
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 425 Offset :4activeUseIntCast {
\find ( \modality{#allmodal}{..
#sv = (int) #seLong;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = (int) #seLong;
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 439 Offset :4activeUseCharCast {
\find ( \modality{#allmodal}{..
#sv = (char) #seByteShortIntLong;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = (char) #seByteShortIntLong;
#static-initialisation(#sv);
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 453 Offset :4activeUseMultiplication {
\find ( \modality{#allmodal}{..
#sv = #left * #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left * #right;
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 471 Offset :4activeUseDivision {
\find ( \modality{#allmodal}{..
#sv = #left / #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left / #right;
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 486 Offset :4activeUseModulo {
\find ( \modality{#allmodal}{..
#sv = #left % #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left % #right;
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 499 Offset :4activeUseSubtraction {
\find ( \modality{#allmodal}{..
#sv = #left - #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left - #right;
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 512 Offset :4activeUseAddition {
\find ( \modality{#allmodal}{..
#sv = #left + #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left + #right;
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 525 Offset :4activeUseBitwiseAnd {
\find ( \modality{#allmodal}{..
#sv = #left & #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left & #right;
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 538 Offset :4activeUseBitwiseOr {
\find ( \modality{#allmodal}{..
#sv=#left | #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left | #right;
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 551 Offset :4activeUseBitwiseXOr {
\find ( \modality{#allmodal}{..
#sv=#left ^ #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left ^ #right;
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 564 Offset :4activeUseShiftRight {
\find ( \modality{#allmodal}{..
#sv=#left >> #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left >> #right;
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 577 Offset :4activeUseShiftLeft {
\find ( \modality{#allmodal}{..
#sv=#left << #right; ...}
\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left << #right;
@(#sv) = #v0;
...} \endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 590 Offset :4activeUseUnsignedShiftRight {
\find ( \modality{#allmodal}{..
#sv=#left >>> #right;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = #left >>> #right; ...}
@(#sv) = #v0;
\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 603 Offset :4activeUseUnaryMinus {
\find ( \modality{#allmodal}{..
#sv = - #left;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = - #left;
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 616 Offset :4activeUseBitwiseNegation {
\find ( \modality{#allmodal}{..
#sv = ~ #left;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = ~ #left;
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 629 Offset :4activeUseByteCast {
\find ( \modality{#allmodal}{..
#sv = (byte) #seShortIntLong;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = (byte) #seShortIntLong;
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 642 Offset :4activeUseShortCast {
\find ( \modality{#allmodal}{..
#sv = (short) #seIntLong;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = (short) #seIntLong;
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 655 Offset :4activeUseIntCast {
\find ( \modality{#allmodal}{..
#sv = (int) #seLong;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = (int) #seLong;
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 668 Offset :4activeUseCharCast {
\find ( \modality{#allmodal}{..
#sv = (char) #seByteShortIntLong;
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
#typeof(#sv) #v0 = (char) #seByteShortIntLong;
@(#sv) = #v0;
...}\endmodality ( post ))
\heuristics (simplify_expression )
\displayname "activeUse"
};defined in: activeUse.key Line: 681 Offset :4