Οι δείκτες στο Eclipse IDE

Οι δείκτες που δημιουργήθηκαν με την υποστήριξη 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, τα οποία έχουν προστεθεί. Η προβολή "Προβλήματα" αυτή τη στιγμή ομαδοποιείται βάσει σοβαρότητας.