Tipi predefiniti di indicatore
Il plug-in Risorse ha in dotazione i tipi di indicatori predefiniti elencati di seguito.
Ogni indicatore è fornito della corrispondente dichiarazione costante che definisce il relativo id sul tipo org.eclipse.core.resources.IMarker.
Indicatore
Consultare: org.eclipse.core.resources.IMarker.MARKER
Il tipo di indicatore predefinito org.eclipse.core.resources.marker
rappresenta il tipo principale della relativa gerarchia. Tutti gli indicatori devono ereditare (direttamente o indirettamente) da questo tipo.
Il tipo di indicatore marker possiede le seguenti caratteristiche:
-
transitorio
-
true
-
superiore
-
nessun tipo superiore
-
attributi
-
nessun attributo
Indicatore di problema
Consultare: org.eclipse.core.resources.IMarker.PROBLEM
Il tipo di indicatore predefinito org.eclipse.core.resources.problemmarker
viene utilizzato per rappresentare i problemi delle risorse, costituiti, generalmente, da errori di compilazione, frame di filmato inesatti e così via.
Il tipo di indicatore problemmarker possiede le seguenti caratteristiche:
-
transitorio
-
false
-
superiore
-
org.eclipse.core.resources.marker
-
attributi
severity
Numero determinato dalla gravità di errori, avvisi e informazioni definita dalla piattaforma
message
-
Stringa arbitraria che descrive la natura dell'indicatore (ad esempio, un nome per un segnalibro o un'attività). Il contenuto e la forma di questo attributo non sono specificati o interpretati dalla piattaforma.
location
La posizione è una stringa leggibile che può essere utilizzata per distinguere tra gli indicatori di una risorsa. Come tale, deve essere concisa e diretta agli utenti. Il contenuto e la forma di questo attributo non sono specificati o interpretati dalla piattaforma.
Indicatore di attività
Consultare: org.eclipse.core.resources.IMarker.TASK
Il tipo di indicatore predefinito org.eclipse.core.resources.taskmarker
viene utilizzato per rappresentare elementi come le voci todo dell'utente.
Il tipo di indicatore taskmarker possiede le seguenti caratteristiche:
-
transitorio
-
false
-
superiore
-
org.eclipse.core.resources.marker
-
attributi
priority
Numero determinato dalla priorità alta, normale e bassa, definita dalla piattaforma.
message
-
Stringa arbitraria che descrive la natura dell'indicatore (ad esempio, un nome per un segnalibro o un'attività). Il contenuto e la forma di questo attributo non sono specificati o interpretati dalla piattaforma.
done
Valore booleano che rivela se un indicatore (ad esempio, un'attività) è considerato completato o meno.
Segnalibro
Consultare: org.eclipse.core.resources.IMarker.BOOKMARK
Il tipo di indicatore predefinito org.eclipse.core.resources.bookmark
viene utilizzato per ricordare la presenza di risorse interessanti o di siti nelle risorse.
Può costituire il risultato di un'azione dell'utente o di qualche sorta di ricerca automatica.
Il tipo di indicatore bookmark possiede le seguenti caratteristiche:
-
transitorio
-
false
-
superiore
-
org.eclipse.core.resources.marker
-
attributi
message
-
Stringa arbitraria che descrive la natura dell'indicatore (ad esempio, un nome per un segnalibro o un'attività). Il contenuto e la forma di questo attributo non sono specificati o interpretati dalla piattaforma.
location
La posizione è una stringa leggibile che può essere utilizzata per distinguere tra gli indicatori di una risorsa. Come tale, deve essere concisa e diretta agli utenti. Il contenuto e la forma di questo attributo non sono specificati o interpretati dalla piattaforma.
Indicatore di testo
Consultare: org.eclipse.core.resources.IMarker.TEXT
Il tipo di indicatore predefinito org.eclipse.core.resources.textmarker
viene utilizzato per indicare una posizione particolare in un file di testo. Generalmente viene utilizzato per perfezionare un altro tipo di indicatore in modo da produrre un tipo che sia completamente localizzabile. Ad esempio, un indicatore di problemi Java costituisce anche un indicatore di testo nel momento in cui deve individuare il problema all'interno dei file di origine Java.
Il tipo di indicatore textmarker possiede le seguenti caratteristiche:
-
transitorio
-
true
-
superiore
-
org.eclipse.core.resources.marker
-
attributi
charStart
-
Valore intero che indica l'inizio di un indicatore di testo. Questo attributo parte da zero, incluso.
charEnd
Valore intero che indica il termine di un indicatore di testo. Questo attributo parte da zero, incluso.
lineNumber
Valore intero che indica il numero di riga per l'indicatore di testo.
Questo attributo parte da 1.