creates a file , making sure that its name is unique . the file will be created as if by new file dir , prefix + i + extension , where i is an integer chosen such that the returned file does not exist . concode_field_sep PlaceHolder placeHolder concode_field_sep void writeGzippedObject concode_elem_sep void writeObject concode_elem_sep Object readUnzippedObject concode_elem_sep String[] readFile concode_elem_sep Object readObject concode_elem_sep Object readGzippedObject
File function ( File arg0 , String arg1 , String arg2 ) { File loc0 = null ; int loc1 = 0 ; boolean loc2 = false ; while ( ! loc2 ) { if ( arg0 != null ) { loc0 = new File ( arg0 , arg1 + loc1 + arg2 ) ; } else { loc0 = new File ( arg1 + loc1 + arg2 ) ; } loc2 = loc0 . createNewFile ( ) ; loc1 ++ ; } return loc0 ; }