<!ELEMENT extension (problemFilter* , markerTypeCategory* , markerGrouping* , markerGroupingEntry* , markerAttributeGrouping*)>
<!ATTLIST extension
point CDATA #REQUIRED
name CDATA #IMPLIED
id CDATA #IMPLIED>
<!ELEMENT problemFilter (selectedType)*>
<!ATTLIST problemFilter
enabled (true | false)
scope (ON_ANY|ON_SELECTED_ONLY|ON_SELECTED_AND_CHILDREN|ON_ANY_IN_SAME_CONTAINER)
onDescription CDATA #IMPLIED
severity (ERROR|WARNING|INFO)
name CDATA #REQUIRED
id CDATA #REQUIRED>
Ένα φίλτρο προβλήματος είναι ένα φίλτρο που μπορεί να εφαρμοστεί σε προβλήματα.
<!ELEMENT selectedType EMPTY>
<!ATTLIST selectedType
markerId CDATA #IMPLIED>
Τα selectedTypes είναι οι ταυτότητες των ειδών δείκτη που επιλέχθηκαν από προεπιλογή σε αυτό το φίλτρο. Εάν δεν υπάρχουν επιλεγμένα είδη, τότε ενεργοποιούνται όλα τα είδη δεικτών. Τα είδη που δεν έχουν οριστεί σε αυτό το φίλτρο απενεργοποιούνται από προεπιλογή.
<!ELEMENT markerTypeCategory (markerTypeReference)>
<!ATTLIST markerTypeCategory
name CDATA #REQUIRED>
Το markerTypeCategory είναι ένα στοιχείο για την ομαδοποίηση των ειδών δεικτών σε μια μόνο κατηγορία.
<!ELEMENT markerTypeReference EMPTY>
<!ATTLIST markerTypeReference
id CDATA #REQUIRED>
Το markerTypeReference είναι μια παραπομπή σε ένα είδος δείκτη που ορίζεται χρησιμοποιώντας το σημείο επέκτασης στο org.eclipse.core.resources.
<!ELEMENT markerGrouping EMPTY>
<!ATTLIST markerGrouping
label CDATA #REQUIRED
id CDATA #REQUIRED>
Το markerGrouping είναι ο ορισμός κριτηρίων ομαδοποίησης για τις προβολές δεικτών που το υποστηρίζουν (προς το παρόν, υπάρχει μόνο η προβολή προβλημάτων). Η σειρά ταξινόμησης της ομάδας είναι η σειρά της προδιαγραφής των αντιστοιχίσεων γνωρισμάτων.
<!ELEMENT markerAttributeMapping EMPTY>
<!ATTLIST markerAttributeMapping
value CDATA #REQUIRED
markerGroupingEntry CDATA #REQUIRED>
Το markerAttributeMapping αντιστοιχίζει ένα γνώρισμα δείκτη σε ένα όνομα.
<!ELEMENT markerGroupingEntry EMPTY>
<!ATTLIST markerGroupingEntry
id CDATA #REQUIRED
markerGrouping CDATA #REQUIRED
label CDATA #REQUIRED
priority CDATA #REQUIRED>
Το markerGroupingEntry είναι η προδιαγραφή μιας καταχώρησης σε ένα μια ομαδοποίηση δεικτών.
<!ELEMENT markerAttributeGrouping (markerAttributeMapping*)>
<!ATTLIST markerAttributeGrouping
markerType CDATA #REQUIRED
attribute CDATA #IMPLIED
defaultGroupingEntry CDATA #IMPLIED>
Το markerAttributeGrouping είναι ένας ορισμός αντιστοιχίσεων γνωρισμάτων για ένα συγκεκριμένο είδος δείκτη
<extension point=
"org.eclipse.ui.ide.markerSupport"
>
<problemFilter name =
"Warnings"
id =
"org.eclipse.example.warningFilter"
enabled =
"true"
scope=
"ON_SELECTED_AND_CHILDREN"
onDescription=
"!NON-NLS"
severity=
"WARNING"
>
<selectedType markerId=
"org.eclipse.core.resources.problemmarker"
/>
</problemFilter>
</extension>
Copyright (c) 2005, 2006 IBM Corporation και άλλων.
Με την επιφύλαξη παντός δικαιώματος. Αυτό το πρόγραμμα και τα
συνοδευτικά του υλικά διατίθενται βάσει των όρων της κοινής άδειας
χρήσης Eclipse Public License v1.0 που συνοδεύει αυτή τη διανομή και
διατίθεται στην ακόλουθη διεύθυνση:
http://www.eclipse.org/legal/epl-v10.html.