Revision: 9636
Author: [email protected]
Date: Thu Jan 27 05:31:37 2011
Log: Warn users of JRE 1.5 that their days are numbered
Addresses http://code.google.com/p/google-web-toolkit/issues/detail?id=5884
Review at http://gwt-code-reviews.appspot.com/1328802
Review by: [email protected]
http://code.google.com/p/google-web-toolkit/source/detail?r=9636
Modified:
/trunk/dev/core/src/com/google/gwt/util/tools/ToolBase.java
=======================================
--- /trunk/dev/core/src/com/google/gwt/util/tools/ToolBase.java Mon Jun 7
12:20:31 2010
+++ /trunk/dev/core/src/com/google/gwt/util/tools/ToolBase.java Thu Jan 27
05:31:37 2011
@@ -62,6 +62,17 @@
* Use a linked hash map to preserve the declaration order.
*/
private final Map<String, ArgHandler> argHandlers = new
LinkedHashMap<String, ArgHandler>();
+
+ /**
+ * Log deprecation warning on old JREs.
+ */
+ protected void checkJdkVersion() {
+ // JDK 1.6 is 50
+ double classVersion =
Double.valueOf(System.getProperty("java.class.version","0.0"));
+ if (classVersion < 50) {
+ System.err.println("WARNING: Use on a JRE prior to version 1.6 is
deprecated");
+ }
+ }
protected String getDescription() {
return null;
@@ -180,6 +191,8 @@
}
protected boolean processArgs(String... args) {
+ checkJdkVersion();
+
if (args.length > 0) {
boolean help = false;
if ("-help".equalsIgnoreCase(args[0])) {
--
http://groups.google.com/group/Google-Web-Toolkit-Contributors
