returns the file channel for the specified filename . the file channel is stored in a map keyed on the filename . if the file is not open , then it is opened and the file channel is added to the map . concode_field_sep File dbDirectory concode_elem_sep boolean isNew concode_elem_sep Map<String,FileChannel> openFiles concode_field_sep void read concode_elem_sep int size concode_elem_sep boolean isNew concode_elem_sep void write concode_elem_sep Block append
FileChannel function ( String arg0 ) { FileChannel loc0 = openFiles . get ( arg0 ) ; if ( loc0 == null ) { File loc1 = new File ( dbDirectory , arg0 ) ; RandomAccessFile loc2 = new RandomAccessFile ( loc1 , "srini_string" ) ; loc0 = loc2 . getChannel ( ) ; openFiles . put ( arg0 , loc0 ) ; } return loc0 ; }