jrt_plat/java_env_info_api/java_env_info_api.metaxml
changeset 1 53c80e845d7c
child 7 9d598f7f02da
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/jrt_plat/java_env_info_api/java_env_info_api.metaxml	Mon Jan 18 20:12:00 2010 +0200
@@ -0,0 +1,18 @@
+<?xml version="1.0" ?>
+<api id="935dbdc2b6dfe73953cf5cc603647d36" dataversion="1.0">
+  <name>Java Environment Info API</name>
+  <description>This API provides information about the Java environment and events occurring within it</description>
+  <type>c++</type>
+  <subsystem>java_dom</subsystem>
+  <libs>
+    <lib name="javaenv.lib" />  
+  </libs>
+  <release category="domain"/>
+  <attributes>
+     <!-- This indicates wether the api provedes separate html documentation -->
+     <!-- or is the additional documentation generated from headers. -->
+     <!-- If you are unsuere then the value is "no" -->
+     <htmldocprovided>no</htmldocprovided>
+     <adaptation>no</adaptation>
+  </attributes>
+</api>