WhileRewriter

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.opgraph.op3rewriters.WhileRewriter

class WhileRewriter extends Object

Constructor Summary

Constructors

Constructor

Description

WhileRewriter()
Method Summary

Modifier and Type

Method

Description

private static Set<LValue>

findForInvariants(Op03SimpleStatement start, BlockIdentifier whileLoop)

private static Op03SimpleStatement

findMovableAssignment(Op03SimpleStatement start, LValue lValue)

private static Op03SimpleStatement

getForInvariant(Op03SimpleStatement start, LValue invariant, BlockIdentifier whileLoop)

private static List<Op03SimpleStatement>

getMutations(List<Op03SimpleStatement> backSources, LValue loopVariable, BlockIdentifier whileBlockIdentifier)

(package private) static void

rewriteDoWhileTruePredAsWhile(List<Op03SimpleStatement> statements)

private static void

rewriteDoWhileTruePredAsWhile(Op03SimpleStatement end, List<Op03SimpleStatement> statements)

private static void

rewriteWhileAsFor(Op03SimpleStatement statement, boolean aggcapture)

(package private) static void

rewriteWhilesAsFors(Options options, List<Op03SimpleStatement> statements)

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- WhileRewriter
  
  WhileRewriter()
Method Details
- rewriteDoWhileTruePredAsWhile
  
  private static void rewriteDoWhileTruePredAsWhile(Op03SimpleStatement end, List<Op03SimpleStatement> statements)
- rewriteDoWhileTruePredAsWhile
  
  static void rewriteDoWhileTruePredAsWhile(List<Op03SimpleStatement> statements)
- findForInvariants
  
  private static Set<LValue> findForInvariants(Op03SimpleStatement start, BlockIdentifier whileLoop)
- rewriteWhileAsFor
  
  private static void rewriteWhileAsFor(Op03SimpleStatement statement, boolean aggcapture)
- findMovableAssignment
  
  private static Op03SimpleStatement findMovableAssignment(Op03SimpleStatement start, LValue lValue)
- getForInvariant
  
  private static Op03SimpleStatement getForInvariant(Op03SimpleStatement start, LValue invariant, BlockIdentifier whileLoop)
- getMutations
  
  private static List<Op03SimpleStatement> getMutations(List<Op03SimpleStatement> backSources, LValue loopVariable, BlockIdentifier whileBlockIdentifier)
- rewriteWhilesAsFors
  
  static void rewriteWhilesAsFors(Options options, List<Op03SimpleStatement> statements)