Implements a new Doclet to generate .wiki output for the JRE emulation documentation. This Doclet generates a RefJreEmulation.wiki, which can then be imported into the code site svn to update the JRE emulation doc. This was created to replace the existing Doclet that produces HTML documentation for the JRE emul types.
Patch by: kplatfoot
Review by: me
git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@1815 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/doc/build.xml b/doc/build.xml
index a79ba55..ece64a1 100644
--- a/doc/build.xml
+++ b/doc/build.xml
@@ -10,6 +10,7 @@
<property.ensure name="gwt.dev.jar" location="${gwt.build.lib}/gwt-dev-linux.jar" />
<property name="USER_PKGS" value="com.google.gwt.core.client;com.google.gwt.core.ext;com.google.gwt.core.ext.typeinfo;com.google.gwt.i18n.client;com.google.gwt.json.client;com.google.gwt.junit.client;com.google.gwt.user.client;com.google.gwt.user.client.rpc;com.google.gwt.user.client.ui;com.google.gwt.user.server.rpc;com.google.gwt.xml.client;com.google.gwt.http.client;com.google.gwt.junit.viewer.client" />
+ <property name="LANG_PKGS" value="java.lang;java.lang.annotation;java.util;java.io" />
<!--
*** Note that if the USER_SOURCE_PATH paths are updated,
@@ -84,5 +85,33 @@
</outofdate>
</target>
- <target name="build" depends="javadoc" />
+ <target name="wiki-lang">
+ <outofdate>
+ <sourcefiles>
+ <fileset file="./src/RefJreHeader.wiki" />
+ <fileset dir="${gwt.root}/user/super/com/google/gwt/emul">
+ <include name="**/*.java" />
+ </fileset>
+ </sourcefiles>
+ <targetfiles>
+ <pathelement path="${project.build}/wiki/RefJreEmulation.wiki" />
+ </targetfiles>
+ <sequential>
+ <java classpathref="DOC_PATH" classname="com.google.doctool.JreDocTool" fork="yes" failonerror="true">
+ <arg value="-out" />
+ <arg value="${project.build}/wiki/RefJreEmulation.wiki" />
+ <arg value="-header" />
+ <arg value="./src/RefJreHeader.wiki" />
+ <arg value="-classpath" />
+ <arg pathref="USER_CLASS_PATH" />
+ <arg value="-sourcepath" />
+ <arg path="${gwt.root}/user/super/com/google/gwt/emul" />
+ <arg value="-packages" />
+ <arg value="${LANG_PKGS}" />
+ </java>
+ </sequential>
+ </outofdate>
+ </target>
+
+ <target name="build" depends="javadoc, wiki-lang" />
</project>
diff --git a/doc/src/RefJreHeader.wiki b/doc/src/RefJreHeader.wiki
new file mode 100644
index 0000000..f264043
--- /dev/null
+++ b/doc/src/RefJreHeader.wiki
@@ -0,0 +1,5 @@
+#summary JRE Emulation Library
+
+=JRE Emulation=
+
+Google Web Toolkit includes a library that emulates a subset of the Java runtime library. The list below shows the set of JRE types and methods that GWT can translate automatically. Note that in some cases, only a subset of methods is supported for a given type.
