String function ( String arg0 ) { String loc0 = arg0 ; if ( arg0 . startsWith ( "srini_string" ) || arg0 . equals ( "srini_string" ) ) { loc0 = System . getProperty ( "srini_string" ) ; if ( arg0 . length ( ) > 1 ) { loc0 += File . separator + arg0 . substring ( 2 ) ; } } return loc0 ; }
converts paths of the form ~ / src to / users/elliotth/src or whatever the user 's home directory is . also copes with the special case of ~ on its own , but not with ~ someone-else/tmp because java gives us no way to find another user 's home directory . we could , i suppose , compare user.home and user.name and try to guess , but i 'll wait until i really need the functionality before i add the hack . concode_field_sep String[] ignoredExtensions concode_elem_sep Pattern uninterestingDirectoryNames concode_elem_sep String[] DEFAULT_BINARY_EXTENSIONS concode_field_sep String findFileByNameSearchingUpFrom concode_elem_sep String checkDirectoryExistence concode_elem_sep String[] getArrayOfPathElements concode_elem_sep boolean isSymbolicLink concode_elem_sep boolean isSymbolicLink concode_elem_sep String getUserFriendlyName concode_elem_sep String getUserFriendlyName concode_elem_sep boolean nameEndsWithOneOf concode_elem_sep boolean nameEndsWithOneOf concode_elem_sep boolean isIgnoredDirectory concode_elem_sep File fileFromString concode_elem_sep boolean isIgnored concode_elem_sep boolean isBinaryFile concode_elem_sep void close concode_elem_sep void close concode_elem_sep boolean nameStartsWithOneOf