Exemplo n.º 1
0
 /** Infers as precise a fixed point as possible. */
 @Action
 public void inferBounds() {
   int deductions = 1;
   while (deductions > 0) {
     bounds_.startAnalysis();
     pred_.inferBounds(bounds_);
     bounds_.endAnalysis();
     deductions = bounds_.getDeductions();
     debug("inferBounds did " + deductions + " deductions, bounds=" + bounds_);
   }
   state_ = State.NoMode;
 }