Tipos de marcadores predefinidos
El conector de Recursos viene con los tipos de marcadores predefinidos que
figuran en la lista que hay a continuación. Cada uno de ellos tiene su correspondiente
declaración de constante que define su ID en el tipo
org.eclipse.core.resources.IMarker.
Marcador
Consulte: org.eclipse.core.resources.IMarker.MARKER
El tipo de marcador predefinido org.eclipse.core.resources.marker
es la raíz de la jerarquía de tipos de marcadores. Todos los marcadores deben
ser herederos (directos o indirectos) de este tipo.
El tipo de marcador marker posee las características siguientes:
-
transitorio
-
verdadero
-
super
-
no hay ningún tipo super
-
atributos
-
no hay ningún atributo
Marcador de problema
Consulte: org.eclipse.core.resources.IMarker.PROBLEM
El tipo de marcador predefinido
org.eclipse.core.resources.problemmarker sirve para representar los
problemas de los recursos. Serán problemas relacionados con algún error de
compilación, marcos de animación anómalos, etcétera.
El tipo de marcador problemmarker posee las características siguientes:
-
transitorio
-
falso
-
super
-
org.eclipse.core.resources.marker
-
atributos
severity
Número del conjunto de números que indican la gravedad (error, aviso
e informativo), definidos por la plataforma.
message
-
Serie arbitraria que describe la naturaleza del marcador (por ejemplo, el
nombre de un favorito o una tarea). La plataforma no especifica ni interpreta
el contenido ni el formato de este atributo.
location
Serie legible por las personas que puede servir para distinguir los
distintos marcadores de un recurso. Como tal, debe ser concisa y estar
destinada a los usuarios. La plataforma no especifica ni interpreta el
contenido ni el formato de este atributo.
Marcador de tarea
Consulte: org.eclipse.core.resources.IMarker.TASK
El tipo de marcador org.eclipse.core.resources.taskmarker
sirve para representar, por ejemplo, elementos de lista de tareas.
El tipo de marcador taskmarker posee las características siguientes:
-
transitorio
-
falso
-
super
-
org.eclipse.core.resources.marker
-
atributos
priority
Número del conjunto de números que indican la prioridad (alta, normal
y baja), definidos por la plataforma.
message
-
Serie arbitraria que describe la naturaleza del marcador (por ejemplo, el
nombre de un favorito o una tarea). La plataforma no especifica ni interpreta
el contenido ni el formato de este atributo.
done
Valor booleano que indica si se da o no por terminado el elemento (por
ejemplo, una tarea) representado por el marcador.
Favorito
Consulte: org.eclipse.core.resources.IMarker.BOOKMARK
El tipo de marcador org.eclipse.core.resources.bookmark sirve para
recordar recursos o lugares interesantes. Pueden obtenerse como resultado de la
acción de un usuario o de una búsqueda automatizada.
El tipo de marcador bookmark posee las características siguientes:
-
transitorio
-
falso
-
super
-
org.eclipse.core.resources.marker
-
atributos
message
-
Serie arbitraria que describe la naturaleza del marcador (por ejemplo, el
nombre de un favorito o una tarea). La plataforma no especifica ni interpreta
el contenido ni el formato de este atributo.
location
Serie legible por las personas que puede servir para distinguir los
distintos marcadores de un recurso. Como tal, debe ser concisa y estar
destinada a los usuarios. La plataforma no especifica ni interpreta el
contenido ni el formato de este atributo.
Marcador de texto
Consulte: org.eclipse.core.resources.IMarker.TEXT
El tipo de marcador predefinido
org.eclipse.core.resources.textmarker permite indicar una ubicación
concreta de un archivo de texto. Se suele emplear para definir con más
precisión otro tipo de marcador y producir un tipo de marcador que sea
totalmente localizable. Por ejemplo, el marcador de un problema Java sería
asimismo un marcador de texto, porque tendría que localizar el problema dentro
de los archivos fuente Java.
El tipo de marcador textmarker posee las características siguientes:
-
transitorio
-
verdadero
-
super
-
org.eclipse.core.resources.marker
-
atributos
charStart
-
Valor de tipo entero que indica dónde empieza un marcador de texto. Este
atributo es relativo al cero y lo incluye.
charEnd
Valor de tipo entero que indica dónde termina un marcador de texto. Este
atributo es relativo al cero y lo incluye.
lineNumber
Valor de tipo entero que indica el número de línea correspondiente a un marcador de texto.
Este atributo es relativo al 1.