Δείκτες πόρων

org.eclipse.core.resources.markers

Ο χώρος εργασίας υποστηρίζει την έννοια των δεικτών σε αυθαίρετους πόρους. Ένας δείκτης είναι ένα είδος μετα-δεδομένων (παρόμοιο με τις ιδιότητες) που μπορεί να χρησιμοποιηθεί για την προσθήκη προσδιοριστικών με πληροφορίες χρηστών στους πόρους. Οι δείκτες μπορούν να αποθηκευτούν μόνιμα από το χώρο εργασίας, όποτε πραγματοποιείται αποθήκευση ή λαμβάνεται στιγμιότυπο του χώρου εργασίας.

Οι χρήστες μπορούν να ορίσουν και να θέσουν ερωτήματα για δείκτες ενός συγκεκριμένου είδους. Τα είδη δεικτών ορίζονται σε μια ιεραρχία η οποία υποστηρίζει την πολλαπλή μεταβίβαση. Οι ορισμοί των ειδών δεικτών προσδιορίζουν επίσης ένα πλήθος χαρακτηριστικών, τα οποία υποχρεωτικά ή προαιρετικά υπάρχουν σε ένα δείκτη του συγκεκριμένου είδους, καθώς επίσης και το αν οι δείκτες του είδους αυτού θα πρέπει να αποθηκεύονται ή όχι.

Το σημείο επέκτασης δεικτών επιτρέπει στους μεταγραφείς δεικτών να καταχωρούν τα είδη των δεικτών τους, χρησιμοποιώντας ένα συμβολικό όνομα, το οποίο στη συνέχεια χρησιμοποιείται από το χώρο εργασίας για τη δημιουργία δεικτών και ερωτημάτων για τους δείκτες. Το συμβολικό όνομα είναι η ταυτότητα της επέκτασης του δείκτη. Κατά τον ορισμό μιας επέκτασης δείκτη, συνιστάται στους χρήστες να συμπεριλαμβάνουν μια αναγνώσιμη από τον άνθρωπο τιμή για το γνώρισμα "name", το οποίο προσδιορίζει το δείκτη και μπορεί να εμφανίζεται στους χρήστες.

<!ELEMENT extension (super* , persistent? , attribute*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT super EMPTY>

<!ATTLIST super

type CDATA #REQUIRED>


<!ELEMENT persistent EMPTY>

<!ATTLIST persistent

value (true | false) >


<!ELEMENT attribute EMPTY>

<!ATTLIST attribute

name CDATA #REQUIRED>


Παρακάτω δίνεται ένα παράδειγμα ρυθμίσεων δείκτη:

   

<extension id=

"com.xyz.coolMarker"

point=

"org.eclipse.core.resources.markers"

name=

"Cool Marker"

>

<persistent value=

"true"

/>

<super type=

"org.eclipse.core.resources.problemmarker"

/>

<super type=

"org.eclipse.core.resources.textmarker"

/>

<attribute name=

"owner"

/>

</extension>

Όλοι οι δείκτες, ανεξαρτήτως του είδους τους, αποτελούν περιπτώσεις χρήσης της org.eclipse.core.resources.IMarker.

Η ίδια η πλατφόρμα περιέχει ένα πλήθος προ-καθορισμένων ειδών δεικτών. Οι εγκαταστάσεις συγκεκριμένων προϊόντων ενδέχεται να συμπεριλαμβάνουν τους απαραίτητους δείκτες.