plugin.xml

IRC JAVA BOT是一个用Java编写的IRC程序。它可以管理到数据库的连接、标识等等。

<?xml version="1.0" encoding="UTF-8"?>
<plugin
   id="iesIrcClient"
   name="iesIrcClient Plug-in"
   version="1.0.0"
   provider-name="jdt"
   class="org.jdt.iesIrcClient.iesIrcClientPlugin">

   <runtime>
      <library name="iesIrcClient.jar"/>
<!--library name="lib/chatengine-20030221.jar"/-->
      <library name="lib/log4j-1.2.7.jar"/>
   </runtime>
   <requires>
      <import plugin="org.eclipse.core.resources"/>
      <import plugin="org.eclipse.ui"/>
   </requires>


   <extension
         point="org.eclipse.ui.views">
      <category
            name="IES IRC CLIENT"
            id="iesIrcClient">
      </category>
      <view
            name="IES IRC CLIENT"
            icon="icons/irc.gif"
            category="iesIrcClient"
            class="iesIrcClient.views.SampleView"
            id="iesIrcClient.views.SampleView">
      </view>
   </extension>
   <extension
         point="org.eclipse.ui.perspectiveExtensions">
      <perspectiveExtension
            targetID="org.eclipse.ui.resourcePerspective">
         <view
               ratio="0.5"
               relative="org.eclipse.ui.views.TaskList"
               relationship="right"
               id="iesIrcClient.views.SampleView">
         </view>
      </perspectiveExtension>
   </extension>
   <extension
         point="org.eclipse.ui.preferencePages">
      <page
            name="IES IRC CLIENT PRINCIPAL PREFERENCES"
            image="icons/irc.gif"
            class="org.jdt.iesIrcClient.preferences.IesIrcClientPrincipalPreferences"
            id="org.jdt.iesIrcClient.preferences.IesIrcClientPrincipalPreferences">
      </page>
	  <page
			name="IES IRC CLIENT COLOR PREFERENCES"
			image="icons/irc.gif"
			class="org.jdt.iesIrcClient.preferences.IesIrcClientColorPreferences"
			id="org.jdt.iesIrcClient.preferences.IesIrcClientColorPreferences"
			category="org.jdt.iesIrcClient.preferences.IesIrcClientPrincipalPreferences">
	  </page>
	  <page
			name="IES IRC CLIENT DCC PREFERENCES"
			image="icons/irc.gif"
			class="org.jdt.iesIrcClient.preferences.IesIrcClientDCCPreferences"
			id="org.jdt.iesIrcClient.preferences.IesIrcClientDCCPreferences"
			category="org.jdt.iesIrcClient.preferences.IesIrcClientPrincipalPreferences">
	  </page>
   </extension>

</plugin>