diff options
Diffstat (limited to 'third_party/java/proguard/proguard5.3.3/src/proguard/wtk/default.pro')
-rw-r--r-- | third_party/java/proguard/proguard5.3.3/src/proguard/wtk/default.pro | 114 |
1 files changed, 114 insertions, 0 deletions
diff --git a/third_party/java/proguard/proguard5.3.3/src/proguard/wtk/default.pro b/third_party/java/proguard/proguard5.3.3/src/proguard/wtk/default.pro new file mode 100644 index 0000000000..d31714f0d5 --- /dev/null +++ b/third_party/java/proguard/proguard5.3.3/src/proguard/wtk/default.pro @@ -0,0 +1,114 @@ +-dontnote +-microedition +-mergeinterfacesaggressively +-overloadaggressively +-repackageclasses '' +-allowaccessmodification + +# Keep all extensions of javax.microedition.midlet.MIDlet. +-keep public class * extends javax.microedition.midlet.MIDlet + +# Keep all native class/method names. +-keepclasseswithmembernames class * { + native <methods>; +} + +# Remove all invocations of System methods without side effects +# whose return values are not used. +-assumenosideeffects public class java.lang.System { + public static native long currentTimeMillis(); + static java.lang.Class getCallerClass(); + public static native int identityHashCode(java.lang.Object); + public static java.lang.SecurityManager getSecurityManager(); + public static java.util.Properties getProperties(); + public static java.lang.String getProperty(java.lang.String); + public static java.lang.String getenv(java.lang.String); + public static native java.lang.String mapLibraryName(java.lang.String); + public static java.lang.String getProperty(java.lang.String,java.lang.String); +} + +# Remove all invocations of String methods without side effects +# whose return values are not used. +-assumenosideeffects public class java.lang.String { + public java.lang.String(); + public java.lang.String(byte[]); + public java.lang.String(byte[],int); + public java.lang.String(byte[],int,int); + public java.lang.String(byte[],int,int,int); + public java.lang.String(byte[],int,int,java.lang.String); + public java.lang.String(byte[],java.lang.String); + public java.lang.String(char[]); + public java.lang.String(char[],int,int); + public java.lang.String(java.lang.String); + public java.lang.String(java.lang.StringBuffer); + public static java.lang.String copyValueOf(char[]); + public static java.lang.String copyValueOf(char[],int,int); + public static java.lang.String valueOf(boolean); + public static java.lang.String valueOf(char); + public static java.lang.String valueOf(char[]); + public static java.lang.String valueOf(char[],int,int); + public static java.lang.String valueOf(double); + public static java.lang.String valueOf(float); + public static java.lang.String valueOf(int); + public static java.lang.String valueOf(java.lang.Object); + public static java.lang.String valueOf(long); + public boolean contentEquals(java.lang.StringBuffer); + public boolean endsWith(java.lang.String); + public boolean equalsIgnoreCase(java.lang.String); + public boolean equals(java.lang.Object); + public boolean matches(java.lang.String); + public boolean regionMatches(boolean,int,java.lang.String,int,int); + public boolean regionMatches(int,java.lang.String,int,int); + public boolean startsWith(java.lang.String); + public boolean startsWith(java.lang.String,int); + public byte[] getBytes(); + public byte[] getBytes(java.lang.String); + public char charAt(int); + public char[] toCharArray(); + public int compareToIgnoreCase(java.lang.String); + public int compareTo(java.lang.Object); + public int compareTo(java.lang.String); + public int hashCode(); + public int indexOf(int); + public int indexOf(int,int); + public int indexOf(java.lang.String); + public int indexOf(java.lang.String,int); + public int lastIndexOf(int); + public int lastIndexOf(int,int); + public int lastIndexOf(java.lang.String); + public int lastIndexOf(java.lang.String,int); + public int length(); + public java.lang.CharSequence subSequence(int,int); + public java.lang.String concat(java.lang.String); + public java.lang.String replaceAll(java.lang.String,java.lang.String); + public java.lang.String replace(char,char); + public java.lang.String replaceFirst(java.lang.String,java.lang.String); + public java.lang.String[] split(java.lang.String); + public java.lang.String[] split(java.lang.String,int); + public java.lang.String substring(int); + public java.lang.String substring(int,int); + public java.lang.String toLowerCase(); + public java.lang.String toLowerCase(java.util.Locale); + public java.lang.String toString(); + public java.lang.String toUpperCase(); + public java.lang.String toUpperCase(java.util.Locale); + public java.lang.String trim(); +} + + +# Remove all invocations of StringBuffer methods without side effects +# whose return values are not used. +-assumenosideeffects public class java.lang.StringBuffer { + public java.lang.StringBuffer(); + public java.lang.StringBuffer(int); + public java.lang.StringBuffer(java.lang.String); + public java.lang.String toString(); + public char charAt(int); + public int capacity(); + public int indexOf(java.lang.String,int); + public int lastIndexOf(java.lang.String); + public int lastIndexOf(java.lang.String,int); + public int length(); + public java.lang.String substring(int); + public java.lang.String substring(int,int); +} |