Page History

int i = // initialize to user supplied value 
if ((i >&gt;= 0) &amp;&amp; ((i++) <&lt;= Integer.MAX_VALUE)) {
  // ...
}

class BadRenameFile {
  public static void main(String[] args) {
    File fOriginal = new File(""original.txt"");
    File fNew = new File(""new.txt"");
    if(fOriginal.exists() || fOriginal.renameTo(fNew)) {
      // do something with fNew
      fNew.delete();
    }
  }
} 

class RenameFile {
  public static void main(String[] args) {
    File fOriginal = new File(""original.txt"");
    File fNew = new File(""new.txt"");

    if(!fOriginal.exists() || !fOriginal.renameTo(fNew)) {
      // handle error
    }
    // do something with fNew
    if(!fNew.delete()) {
      // handle error  
    }
  }
} 

if (data != null &amp;&amp; i <&lt; data.length &amp;&amp; data[i] != -1) ...