File function ( URI arg0 ) { return getFile ( arg0 , "srini_string" ) ; }
resolve the given resource uri to a java.io.file , i.e. to a file in the file system . concode_field_sep String WAR_URL_PREFIX concode_elem_sep String JAR_URL_SEPARATOR concode_elem_sep String URL_PROTOCOL_FILE concode_elem_sep String URL_PROTOCOL_JAR concode_elem_sep String URL_PROTOCOL_VFSZIP concode_elem_sep String JAR_URL_PREFIX concode_elem_sep String WAR_URL_SEPARATOR concode_elem_sep String URL_PROTOCOL_VFS concode_elem_sep String CLASSPATH_URL_PREFIX concode_elem_sep String URL_PROTOCOL_ZIP concode_elem_sep String JAR_FILE_EXTENSION concode_elem_sep String FILE_URL_PREFIX concode_elem_sep String URL_PROTOCOL_VFSFILE concode_elem_sep String URL_PROTOCOL_WSJAR concode_field_sep URL getURL concode_elem_sep boolean isFileURL concode_elem_sep boolean isJarURL concode_elem_sep URL extractJarFileURL concode_elem_sep URI toURI concode_elem_sep URI toURI concode_elem_sep boolean isUrl concode_elem_sep boolean isJarFileURL concode_elem_sep void useCachesIfNecessary concode_elem_sep URL extractArchiveURL