Class RewriteRemoveForLoopEmptySequence


  • public class RewriteRemoveForLoopEmptySequence
    extends StatementBlockRewriteRule
    Rule: Simplify program structure by removing (par)for statements iterating over an empty sequence, i.e., (par)for-loops without a single iteration.