case-study/jdt-after/schema/javaEditorTextHovers.exsd

   1 <?xml version='1.0' encoding='UTF-8'?>
   2 <!-- Schema file written by PDE -->
   3 <schema targetNamespace="org.eclipse.jdt.ui">
   4 <annotation>
   5       <appInfo>
   6          <meta.schema plugin="org.eclipse.jdt.ui" id="javaEditorTextHovers" name="Java Editor Text Hovers"/>
   7       </appInfo>
   8       <documentation>
   9          This extension point is used to plug-in text hovers in a Java editor.
  10       </documentation>
  11    </annotation>
  12
  13    <element name="extension">
  14       <complexType>
  15          <sequence>
  16             <element ref="hover" minOccurs="1" maxOccurs="unbounded"/>
  17          </sequence>
  18          <attribute name="point" type="string" use="required">
  19             <annotation>
  20                <documentation>
  21                   a fully qualified identifier of the target extension point
  22                </documentation>
  23             </annotation>
  24          </attribute>
  25          <attribute name="id" type="string">
  26             <annotation>
  27                <documentation>
  28                   an optional identifier of the extension instance
  29                </documentation>
  30             </annotation>
  31          </attribute>
  32          <attribute name="name" type="string">
  33             <annotation>
  34                <documentation>
  35                   an optional name of the extension instance
  36                </documentation>
  37                <appInfo>
  38                   <meta.attribute translatable="true"/>
  39                </appInfo>
  40             </annotation>
  41          </attribute>
  42       </complexType>
  43    </element>
  44
  45    <element name="hover">
  46       <complexType>
  47          <attribute name="id" type="string" use="required">
  48             <annotation>
  49                <documentation>
  50                   the id, typically the same as the fully qualified class name
  51                </documentation>
  52             </annotation>
  53          </attribute>
  54          <attribute name="class" type="string" use="required">
  55             <annotation>
  56                <documentation>
  57                   the fully qualified class name implementing the interface &lt;code&gt;org.eclipse.jdt.ui.text.java.hover.IJavaEditorTextHover&lt;/code&gt;
  58                </documentation>
  59                <appInfo>
  60                   <meta.attribute kind="java" basedOn="org.eclipse.jdt.ui.text.java.hover.IJavaEditorTextHover"/>
  61                </appInfo>
  62             </annotation>
  63          </attribute>
  64          <attribute name="label" type="string">
  65             <annotation>
  66                <documentation>
  67                   the translatable label for this hover
  68                </documentation>
  69                <appInfo>
  70                   <meta.attribute translatable="true"/>
  71                </appInfo>
  72             </annotation>
  73          </attribute>
  74          <attribute name="description" type="string">
  75             <annotation>
  76                <documentation>
  77                   the translatable description for this hover
  78                </documentation>
  79                <appInfo>
  80                   <meta.attribute translatable="true"/>
  81                </appInfo>
  82             </annotation>
  83          </attribute>
  84          <attribute name="activate" type="boolean" use="default" value="false">
  85             <annotation>
  86                <documentation>
  87                   if the attribute is set to &quot;true&quot; it will force this plug-in to be loaded on hover activation
  88                </documentation>
  89             </annotation>
  90          </attribute>
  91       </complexType>
  92    </element>
  93
  94    <annotation>
  95       <appInfo>
  96          <meta.section type="examples"/>
  97       </appInfo>
  98       <documentation>
  99          The following is an example of a hover definition:
 100
 101 &lt;p&gt;
 102 &lt;pre&gt;
 103  &lt;extension point=&quot;org.eclipse.jdt.ui.javaEditorTextHover&quot;&gt;
 104   &lt;hover
 105    id=&quot;org.eclipse.example.jdt.internal.debug.ui.JavaDebugHover&quot;
 106    class=&quot;org.eclipse.example.jdt.internal.debug.ui.JavaDebugHover&quot;
 107    label=&quot;%javaVariableHover&quot;/&gt;
 108   &lt;/hover&gt;
 109  &lt;/extension&gt;
 110 &lt;/pre&gt;
 111 &lt;/p&gt;
 112       </documentation>
 113    </annotation>
 114
 115    <annotation>
 116       <appInfo>
 117          <meta.section type="apiInfo"/>
 118       </appInfo>
 119       <documentation>
 120
 121       </documentation>
 122    </annotation>
 123
 124    <annotation>
 125       <appInfo>
 126          <meta.section type="implementation"/>
 127       </appInfo>
 128       <documentation>
 129
 130       </documentation>
 131    </annotation>
 132
 133    <annotation>
 134       <appInfo>
 135          <meta.section type="copyright"/>
 136       </appInfo>
 137       <documentation>
 138          Copyright (c) 2001, 2004 IBM Corporation and others.&lt;br&gt;
 139 All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at &lt;a href=&quot;http://www.eclipse.org/legal/epl-v10.html&quot;&gt;http://www.eclipse.org/legal/epl-v10.html&lt;/a&gt;
 140       </documentation>
 141    </annotation>
 142
 143 </schema>