java5.key
Sorts
E
\generic E;defined in: java5.key Line: 6 Offset :4
G
\generic G;defined in: java5.key Line: 7 Offset :4
Taclets
Enabled under choices:
programRules:Java
enhancedfor_iterable
enhancedfor_iterable {
\find ( \modality{#allmodal}{ .. for (#ty #id : #e) #stm ... }\endmodality ( post ))
\replacewith ( \modality{#allmodal}{ .. #enhancedfor-elim(for (#ty #id : #e) #stm); ... }\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "enhancedfor"
};defined in: java5.key Line: 52 Offset :4
Taclets