ReVanced/smali
1
0
Fork 0
mirror of https://github.com/revanced/smali.git synced 2025-05-09 10:54:29 +02:00
Code Issues Packages Projects Releases Wiki Activity

Correctly handle duplicate (except case) reserved file names on windows

Browse Source
This commit is contained in:
Ben Gruver 2012-09-04 21:04:13 -07:00
parent b58433a074
commit 06bc17a75e
1 changed files with 15 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
util/src/main/java/org/jf/util/ClassFileNameHandler.java
View File

@ -58,7 +58,6 @@ public class ClassFileNameHandler {
throw new RuntimeException("Not a valid dalvik class name");
}
String blah;
int packageElementCount = 1;
for (int i=1; i<className.length()-1; i++) {
if (className.charAt(i) == '/') {
@ -66,6 +65,7 @@ public class ClassFileNameHandler {
}
}
String packageElement;
String[] packageElements = new String[packageElementCount];
int elementIndex = 0;
int elementStart = 1;
@ -77,7 +77,13 @@ public class ClassFileNameHandler {
throw new RuntimeException("Not a valid dalvik class name");
}
packageElements[elementIndex++] = className.substring(elementStart, i);
packageElement = className.substring(elementStart, i);
if (modifyWindowsReservedFilenames && isReservedFileName(packageElement)) {
packageElement += "#";
}
packageElements[elementIndex++] = packageElement;
elementStart = ++i;
}
}
@ -89,7 +95,13 @@ public class ClassFileNameHandler {
if (elementStart >= className.length()-1) {
throw new RuntimeException("Not a valid dalvik class name");
}
packageElements[elementIndex] = className.substring(elementStart, className.length()-1);
packageElement = className.substring(elementStart, className.length()-1);
if (modifyWindowsReservedFilenames && isReservedFileName(packageElement)) {
packageElement += "#";
}
packageElements[elementIndex] = packageElement;
return top.addUniqueChild(packageElements, 0);
}
@ -170,15 +182,9 @@ public class ClassFileNameHandler {
if (pathElementsIndex == pathElements.length - 1) {
elementName = pathElements[pathElementsIndex];
if (modifyWindowsReservedFilenames && isReservedFileName(elementName)) {
elementName += "#";
}
elementName += fileExtension;
} else {
elementName = pathElements[pathElementsIndex];
if (modifyWindowsReservedFilenames && isReservedFileName(elementName)) {
elementName += "#";
}
}
elementNameLower = elementName.toLowerCase();