1 16 package com.google.gwt.dev; 17 18 import com.google.gwt.dev.util.Util; 19 20 24 public class GWTMain { 25 26 public static void main(String args[]) { 27 String aboutText = Util.getFileFromInstallPath("about.txt"); 28 if (aboutText != null) { 29 System.err.println(aboutText); 30 } else { 31 System.err.println(About.GWT_VERSION); 32 } 33 System.err.println("Available main classes:"); 34 System.err.println(addSpaces(GWTShell.class.getName(), 35 "runs the development shell")); 36 System.err.println(addSpaces(GWTCompiler.class.getName(), 37 "compiles a GWT module")); 38 } 39 40 private static String addSpaces(String first, String second) { 41 StringBuffer sb = new StringBuffer (); 42 sb.append(' '); 43 sb.append(first); 44 for (int i = sb.length(); i < 40; ++i) { 45 sb.append(' '); 46 } 47 sb.append(second); 48 return sb.toString(); 49 } 50 51 } 52 | Popular Tags |