Types de marqueurs prédéfinis
Le plug-in "Resources" est fourni avec les types de marqueurs prédéfinis énoncés ci-dessous. Chacun d'eux comporte une déclaration de constante correspondante, définissant son ID sur le type org.eclipse.core.resources.IMarker.
Marqueur
Reportez-vous à org.eclipse.core.resources.IMarker.MARKER.
Le type de marqueur prédéfini org.eclipse.core.resources.marker est la racine de la hiérarchie de types de marqueurs. Tous les marqueurs doivent hériter (directement ou indirectement) de ce type.
Le type de marqueur marker a les caractéristiques suivantes :
-
transient
-
true
-
super
-
aucun super type
-
attributs
-
pas d'attribut
Marqueur de problème
Reportez-vous à : org.eclipse.core.resources.IMarker.PROBLEM.
Le type de marqueur prédéfini org.eclipse.core.resources.problemmarker est utilisé pour représenter des problèmes dans des ressources. En général, il s'agit d'une erreur de compilation, de mauvais cadres vidéo, etc.
Le type de marqueur problemmarker a les caractéristiques suivantes :
-
transient
-
false
-
super
-
org.eclipse.core.resources.marker
-
attributs
severity
Chiffre défini par la plateforme représentant la gravité des erreurs, des avertissements et des informations.
message
-
Chaîne arbitraire décrivant la nature du marqueur (c'est-à-dire un nom pour le signet ou la tâche). Le contenu et la forme de cet attribut ne sont pas spécifiés, ni interprétés par la plateforme.
location
L'emplacement est une chaîne lisible par l'homme qui peut être utilisée pour distinguer les marqueurs d'une ressource. De ce fait, elle doit être concise et destinée aux utilisateurs. Le contenu et la forme de cet attribut ne sont pas spécifiés, ni interprétés par la plateforme.
Marqueur de tâche
Reportez-vous à : org.eclipse.core.resources.IMarker.TASK.
Le type de marqueur prédéfini org.eclipse.core.resources.taskmarker est utilisé pour représenter les éléments todo de l'utilisateur.
Le type de marqueur taskmarker a les caractéristiques suivantes :
-
transient
-
false
-
super
-
org.eclipse.core.resources.marker
-
attributs
priority
Chiffre défini par la plateforme représentant le jeu de priorités élevées, normales et faibles.
message
-
Chaîne arbitraire décrivant la nature du marqueur (c'est-à-dire un nom pour le signet ou la tâche). Le contenu et la forme de cet attribut ne sont pas spécifiés, ni interprétés par la plateforme.
done
Valeur booléenne indiquant si oui ou non un marqueur, une tâche par exemple, est considérée terminée.
Signet
Reportez-vous à : org.eclipse.core.resources.IMarker.BOOKMARK.
Le type de marqueur prédéfini org.eclipse.core.resources.bookmark est utilisé pour se rappeler des ressources présentant un intérêt ou des emplacements dans les ressources. Ceci peut être le résultat d'une action utilisateur ou une sorte de recherche automatisée.
Le type de marqueur bookmark a les caractéristiques suivantes :
-
transient
-
false
-
super
-
org.eclipse.core.resources.marker
-
attributs
message
-
Chaîne arbitraire décrivant la nature du marqueur (c'est-à-dire, un nom de signet ou de tâche). Le contenu et la forme de cet attribut ne sont pas spécifiés, ni interprétés par la plateforme.
location
L'emplacement est une chaîne lisible par l'homme qui peut être utilisée pour distinguer les marqueurs d'une ressource. De ce fait, elle doit être concise et destinée aux utilisateurs. Le contenu et la forme de cet attribut ne sont pas spécifiés, ni interprétés par la plateforme.
Marqueur de texte
Reportez-vous à : org.eclipse.core.resources.IMarker.TEXT.
Le type de marqueur prédéfini org.eclipse.core.resources.textmarker est utilisé pour indiquer un emplacement spécifique dans un fichier texte. En général, il est utilisé pour détailler un autre type de marqueur et en produire un qui soit totalement transférable. Par exemple, un marqueur de problème Java est également un marqueur de texte, car il doit localiser le problème dans des fichiers source Java.
Le type de marqueur textmarker a les caractéristiques suivantes :
-
transient
-
true
-
super
-
org.eclipse.core.resources.marker
-
attributs
charStart
-
Entier indiquant où commence une marque de texte. Cet attribut est défini par rapport à zéro et est inclusif.
charEnd
Entier indiquant où finit une marque de texte. Cet attribut est défini par rapport à zéro et est inclusif.
lineNumber
Entier indiquant le numéro de ligne d'un marqueur de texte. Cet attribut est défini par rapport à 1.