Dostawcy struktury zwijania Java

org.eclipse.jdt.ui.foldingStructureProviders

3.0

Elementy dodane do tego punktu rozszerzenia definiują struktury zwijania edytora Java. Oznacza to, że definiują one fragmenty pliku źródłowego Java, które mogą zostać zwinięte. Dodatkowe informacje można znaleźć w opisie klasy org.eclipse.jface.text.source.ProjectionViewer.

Opcjonalnie rozszerzenia mogą dodawać blok preferencji, który będzie wyświetlany na stronie preferencji edytora Java.

<!ELEMENT extension (provider)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT provider EMPTY>

<!ATTLIST provider

id               CDATA #REQUIRED

name             CDATA #IMPLIED

class            CDATA #REQUIRED

preferencesClass CDATA #IMPLIED>


Przykładowa klasa: org.eclipse.jdt.internal.ui.text.folding.DefaultJavaFoldingStructureProvider.

Klasa org.eclipse.jdt.internal.ui.text.folding.DefaultJavaFoldingStructureProvider udostępnia domyślną strukturę zwijania edytora Java. Klasa org.eclipse.jdt.internal.ui.text.folding.DefaultJavaFoldingPreferenceBlock udostępnia blok preferencji dla dostawcy domyślnej struktury.