Searched refs:dollar (Results 1 – 1 of 1) sorted by relevance
538 int dollar = filename.indexOf('$'); in getFileName() local539 if (dollar != -1) { in getFileName()540 filename = filename.substring(0, dollar); in getFileName()