Οι δείκτες που δημιουργήθηκαν με την υποστήριξη org.eclipse.core.resources.markers μπορούν να εμφανιστούν στο περιβάλλον χρήστη χρησιμοποιώντας τα σημεία επέκτασης org.eclipse.ui.ide.markerHelp, org.eclipse.ui.ide.markerResolution και org.eclipse.ui.ide.markerSupport . Το API org.eclipse.ui.ide.markerImageProvider είναι εσωτερικό της έκδοσης 3.2.
org.eclipse.ui.ide.markerHelp
Το org.eclipse.ui.ide.markerHelp
είναι το σημείο επέκτασης που σας
επιτρέπει να συσχετίσετε ένα περιεχόμενο βοήθειας με τον τύπο δείκτη σας.
org.eclipse.ui.ide.markerResolution
Το org.eclipse.ui.ide.markerResolution
είναι το σημείο επέκτασης που
σας επιτρέπει να συνεισφέρετε λειτουργίες ταχείας επιδιόρθωσης για δείκτες. Η
λειτουργία επεξεργασίας Java και η προβολή "Προβλήματα" είναι δυο μέρη όπου
αυτή τη στιγμή μπορούν να εφαρμοστούν οι λειτουργίες ταχείας επιδιόρθωσης. Αυτό το
σημείο επέκτασης επιτρέπει στον προγραμματιστή της πρόσθετης λειτουργίας να καθορίσει τη
διεπαφή IMarkerResolutionGenerator
η οποία μπορεί να προσδιορίσει τις πιθανές
αναλύσεις ενός δείκτη.
Όσον αφορά την έκδοση 3.2, η προβολή "Προβλήματα" υποστηρίζει πολλαπλές
αναλύσεις, επιτρέποντας έτσι στο χρήστη να προσθέσει και άλλα, αντίστοιχα προβλήματα στη
λίστα προβλημάτων προς επιδιόρθωση, καθώς και να εφαρμόσει την επιλεγμένη διόρθωση σε όλα
τα προβλήματα ταυτοχρόνως. Εάν οι
IMarkerResolutions
είναι χρήσεις της κλάσης
WorkbenchMarkerResolution,
οι χρήστες μπορούν να προσθέσουν άλλες, αντίστοιχες
WorkbenchMarkerResolutions
στο πλαίσιο διαλόγου της λειτουργίας ταχείας επιδιόρθωσης.
Πλαίσιο διαλόγου ταχείας επιδιόρθωσης με δυο σειρές χαρακτήρων μη προσαρμοσμένες τοπικά
org.eclipse.ui.ide.markerSupport
Το org.eclipse.ui.ide.markerSupport
είναι το σημείο επέκτασης για τον
καθορισμό του τρόπου παρουσίασης των δεικτών στην προβολή "Προβλήματα". Αυτό το
σημείο επέκτασης χειρίζεται τα φίλτρα και την ομαδοποίηση.
Φίλτρα
Όσον αφορά το Eclipse 3.2, η προβολή "Προβλήματα" χειρίζεται πολλαπλά φίλτρα. Σημειώστε ότι τα φίλτρα αυτά εμφανίζουν αθροιστικά τα αποτελέσματα και όχι την ένωσή τους. Ο χρήστης μπορεί να προσθέσει νέα φίλτρα είτε με μη αυτόματο τρόπο είτε με τη χρήση του στοιχείου επέκτασης problemFilter. Ακολουθεί η ενότητα φίλτρων της προβολής "Προβλήματα", η οποία εμφανίζει τα φίλτρα του χρήστη και τα φίλτρα που προστέθηκαν μέσω του σημείου επέκτασης (φίλτρα συστήματος).
Ομαδοποιημένη κατάσταση
Οι δείκτες μπορούν να ομαδοποιηθούν με δυο τρόπους. Ο πρώτος τρόπος είναι η
ομαδοποίηση των ειδών των δεικτών με τη χρήση της επέκτασης markerTypeCategory
. Εμφανίζεται
όταν ο χρήστης επιλέξει Ομαδοποίηση κατά - > Είδος. Ακολουθεί ένα παράδειγμα
προβλημάτων Java, τα οποία αφορούν μια δοκιμαστική ομαδοποίηση δεικτών.
Όταν είδη δεικτών ομαδοποιούνται μαζί, θα εμφανίζονται σε εκείνες τις ομάδες στο πλαίσιο διαλόγου φίλτρων.
Μπορείτε να δημιουργήσετε τη δική σας ομαδοποίηση χρησιμοποιώντας την επέκταση
markerGrouping
, η οποία θα εμφανιστεί ως πρόσθετη καταχώριση στο μενού
"Ομαδοποίηση κατά"> της προβολής "Προβλήματα". To IDE παρέχει
ομαδοποίηση βάσει σοβαρότητας (ως προεπιλογή).
Το JDT παρέχει επίσης ομαδοποίηση κατά είδος στο SDK.
Τα markerGroupings
διευθετούνται μέσω ελέγχου γνωρισμάτων στη διεπαφή
IMarker.
Τα markerAttributeMappings
χρησιμοποιούνται για τον καθορισμό αυτών των
αντιστοιχιών. Ακολουθεί το μενού
"Ομαδοποίηση κατά" με τα πρόσθετα markerGroupings
, τα οποία έχουν
προστεθεί. Η προβολή "Προβλήματα" αυτή τη στιγμή ομαδοποιείται βάσει
σοβαρότητας.