Tekstpegefunktioner til Java-editorer
Id:
org.eclipse.jdt.ui.javaEditorTextHovers
Beskrivelse:
Dette udvidelsespunkt bruges til plugins med tekstpegefunktioner i en Java-editor.
Konfigurationskode:
<!ELEMENT extension (hover*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
- point - En fuldstændig id for måludvidelsespunktet.
- id - En valgfri id for udvidelsesforekomsten.
- name - Et valgfrit navn på udvidelsesforekomsten.
<!ELEMENT hover EMPTY>
<!ATTLIST hover
id CDATA #REQUIRED
class CDATA #REQUIRED
label CDATA #IMPLIED
description CDATA #IMPLIED
activate (true | false) "false">
- id - den id, der typisk er identisk med det fuldstændige klassenavn
- class - det fuldstændige navn på klassen, der implementerer grænsefladen
org.eclipse.jdt.ui.text.java.hover.IJavaEditorTextHover
- label - den konvertérbare etiket til denne pegefunktion
- description - den konvertérbare beskrivelse af denne pegefunktion
- activate - hvis attributten angives til "true", tvinges denne plugin til at
blive indlæst ved aktivering af pegefunktionen.
Eksempler:
Nedenfor vises et eksempel på
definitionen af en pegefunktion:
<extension point=
"org.eclipse.jdt.ui.javaEditorTextHover"
>
<hover
id=
"org.eclipse.example.jdt.internal.debug.ui.JavaDebugHover"
class=
"org.eclipse.example.jdt.internal.debug.ui.JavaDebugHover"
label=
"%javaVariableHover"
/>
</hover>
</extension>
Copyright (c) 2001, 2004 IBM Corporation and others.
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 http://www.eclipse.org/legal/epl-v10.html