java_plat/java_env_info_api/java_env_info_api.metaxml
changeset 1 53c80e845d7c
parent 0 3fd91c96c86c
child 3 255dd6e7afb6
equal deleted inserted replaced
0:3fd91c96c86c 1:53c80e845d7c
     1 <?xml version="1.0" ?>
       
     2 <api id="935dbdc2b6dfe73953cf5cc603647d36" dataversion="1.0">
       
     3   <name>Java Environment Info API</name>
       
     4   <description>This API provides information about the Java environment and events occurring within it</description>
       
     5   <type>c++</type>
       
     6   <subsystem>java_dom</subsystem>
       
     7   <libs>
       
     8     <lib name="javaenv.lib" />  
       
     9   </libs>
       
    10   <release category="domain"/>
       
    11   <attributes>
       
    12      <!-- This indicates wether the api provedes separate html documentation -->
       
    13      <!-- or is the additional documentation generated from headers. -->
       
    14      <!-- If you are unsuere then the value is "no" -->
       
    15      <htmldocprovided>no</htmldocprovided>
       
    16      <adaptation>no</adaptation>
       
    17   </attributes>
       
    18 </api>