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.
Copyright IBM Corp. 2000, 2001. Tous droits réservés.