MatchException Classe
Definizione
Importante
Alcune informazioni sono relative alla release non definitiva del prodotto, che potrebbe subire modifiche significative prima della release definitiva. Microsoft non riconosce alcuna garanzia, espressa o implicita, in merito alle informazioni qui fornite.
Generata per indicare un errore imprevisto nei criteri di ricerca.
[Android.Runtime.Register("java/lang/MatchException", ApiSince=36, DoNotGenerateAcw=true)]
public sealed class MatchException : Java.Lang.RuntimeException
[<Android.Runtime.Register("java/lang/MatchException", ApiSince=36, DoNotGenerateAcw=true)>]
type MatchException = class
inherit RuntimeException
- Ereditarietà
- Attributi
Commenti
Generata per indicare un errore imprevisto nei criteri di ricerca.
MatchException può essere generata quando un costrutto di linguaggio di ricerca completo (ad esempio un'espressione switch ) rileva un valore che non corrisponde ad alcuno dei modelli specificati in fase di esecuzione, anche se il costrutto è stato considerato esaustivo. Questo è intenzionale e può sorgere da diversi casi:
<ul><li>Anomalie di compilazione separate, in cui le parti della gerarchia dei tipi a cui si fa riferimento sono state modificate, ma il costrutto di ricerca dei criteri non è stato ricompilato. Ad esempio, se un'interfaccia sealed ha un set diverso di sottotipi consentiti in fase di esecuzione rispetto a quello in fase di compilazione o se una classe enum ha un set diverso di costanti enumerazioni in fase di esecuzione rispetto a quelle in fase di compilazione o se la gerarchia dei tipi è stata modificata in qualche modo incompatibile tra la fase di compilazione e l'ora di esecuzione.</li>
<valori li>null e modelli annidati che coinvolgono classi sealed. Se, ad esempio, un'interfaccia I è con due sottoclassi consentite A e Be una classe R record ha un singolo componente di tipo I, i due modelli R(A a) di record e R(B b) insieme vengono considerati esaustivi per il tipo R, ma nessuno di questi criteri corrisponderà al risultato di new R(null).<sealed/li>
<valori li>null e modelli di record annidati. Data una classe S di record con un singolo componente di tipo T, dove T è un'altra classe di record con un singolo componente di tipo String, il modello R(S(var s)) di record annidato viene considerato esaustivo per il tipo R , ma non corrisponde al risultato di new R(null) ,mentre corrisponde al risultato di new R(new S(null)) .</li></ul>
MatchException può anche essere generata dal processo di ricerca che corrisponde a un valore rispetto a un criterio. Ad esempio, i criteri di ricerca che coinvolgono un modello di record possono richiedere che i metodi della funzione di accesso vengano richiamati in modo implicito per estrarre i valori dei componenti. Se uno di questi metodi della funzione di accesso genera un'eccezione, la corrispondenza dei criteri viene completata bruscamente e genera MatchException. L'eccezione originale verrà impostata come di Throwable#getCause() causeMatchException. Non Throwable#addSuppressed(java.lang.Throwable) suppressed verranno registrate eccezioni.
Aggiunta in 21.
Le parti di questa pagina sono modifiche basate sul lavoro creato e condiviso dalla e usati in base ai termini descritti in Creative License 2.5 Attribution License.
Costruttori
| Nome | Descrizione |
|---|---|
| MatchException(String, Throwable) |
Costruisce un oggetto |
Campi
| Nome | Descrizione |
|---|---|
| is_generated |
Generata per indicare un errore imprevisto nei criteri di ricerca. (Ereditato da Throwable) |
Proprietà
| Nome | Descrizione |
|---|---|
| Cause |
Restituisce la causa di questa eccezione generata o |
| Class |
Generata per indicare un errore imprevisto nei criteri di ricerca. (Ereditato da Throwable) |
| Handle |
Handle per l'istanza di Android sottostante. (Ereditato da Throwable) |
| JniIdentityHashCode |
Generata per indicare un errore imprevisto nei criteri di ricerca. (Ereditato da Throwable) |
| JniPeerMembers |
Generata per indicare un errore imprevisto nei criteri di ricerca. |
| LocalizedMessage |
Crea una descrizione localizzata di questa eccezione generata. (Ereditato da Throwable) |
| Message |
Restituisce la stringa di messaggio di dettaglio di questa eccezione generata. (Ereditato da Throwable) |
| PeerReference |
Generata per indicare un errore imprevisto nei criteri di ricerca. (Ereditato da Throwable) |
| StackTrace |
Generata per indicare un errore imprevisto nei criteri di ricerca. (Ereditato da Throwable) |
| ThresholdClass |
Questa API supporta l'infrastruttura Mono per Android e non deve essere usata direttamente dal codice. (Ereditato da RuntimeException) |
| ThresholdType |
Questa API supporta l'infrastruttura Mono per Android e non deve essere usata direttamente dal codice. (Ereditato da RuntimeException) |
Metodi
| Nome | Descrizione |
|---|---|
| AddSuppressed(Throwable) |
Aggiunge l'eccezione specificata alle eccezioni eliminate per recapitare questa eccezione. (Ereditato da Throwable) |
| Dispose() |
Generata per indicare un errore imprevisto nei criteri di ricerca. (Ereditato da Throwable) |
| Dispose(Boolean) |
Generata per indicare un errore imprevisto nei criteri di ricerca. (Ereditato da Throwable) |
| FillInStackTrace() |
Compila l'analisi dello stack di esecuzione. (Ereditato da Throwable) |
| GetStackTrace() |
Fornisce l'accesso a livello di codice alle informazioni di analisi dello stack stampate da |
| GetSuppressed() |
Restituisce una matrice contenente tutte le eccezioni eliminate, in genere dall'istruzione |
| InitCause(Throwable) |
Inizializza la causa di questa eccezione generata sul valore specificato. (Ereditato da Throwable) |
| PrintStackTrace() |
Stampa l'eccezione generata e il relativo backtrace nel flusso di errore standard. (Ereditato da Throwable) |
| PrintStackTrace(PrintStream) |
Stampa l'eccezione generata e il relativo backtrace nel flusso di stampa specificato. (Ereditato da Throwable) |
| PrintStackTrace(PrintWriter) |
Stampa l'eccezione generata e il relativo backtrace nel writer di stampa specificato. (Ereditato da Throwable) |
| SetHandle(IntPtr, JniHandleOwnership) |
Imposta la proprietà Handle. (Ereditato da Throwable) |
| SetStackTrace(StackTraceElement[]) |
Imposta gli elementi di analisi dello stack che verranno restituiti da |
| ToString() |
Generata per indicare un errore imprevisto nei criteri di ricerca. (Ereditato da Throwable) |
| UnregisterFromRuntime() |
Generata per indicare un errore imprevisto nei criteri di ricerca. (Ereditato da Throwable) |
Implementazioni dell'interfaccia esplicita
| Nome | Descrizione |
|---|---|
| IJavaPeerable.Disposed() |
Generata per indicare un errore imprevisto nei criteri di ricerca. (Ereditato da Throwable) |
| IJavaPeerable.DisposeUnlessReferenced() |
Generata per indicare un errore imprevisto nei criteri di ricerca. (Ereditato da Throwable) |
| IJavaPeerable.Finalized() |
Generata per indicare un errore imprevisto nei criteri di ricerca. (Ereditato da Throwable) |
| IJavaPeerable.JniManagedPeerState |
Generata per indicare un errore imprevisto nei criteri di ricerca. (Ereditato da Throwable) |
| IJavaPeerable.SetJniIdentityHashCode(Int32) |
Generata per indicare un errore imprevisto nei criteri di ricerca. (Ereditato da Throwable) |
| IJavaPeerable.SetJniManagedPeerState(JniManagedPeerStates) |
Generata per indicare un errore imprevisto nei criteri di ricerca. (Ereditato da Throwable) |
| IJavaPeerable.SetPeerReference(JniObjectReference) |
Generata per indicare un errore imprevisto nei criteri di ricerca. (Ereditato da Throwable) |
Metodi di estensione
| Nome | Descrizione |
|---|---|
| GetJniTypeName(IJavaPeerable) |
Ottiene il nome JNI del tipo dell'istanza |
| JavaAs<TResult>(IJavaPeerable) |
Provare a digitare |
| JavaCast<TResult>(IJavaObject) |
Esegue una conversione del tipo di tipo controllato dal runtime Android. |
| JavaCast<TResult>(IJavaObject) |
Generata per indicare un errore imprevisto nei criteri di ricerca. |
| TryJavaCast<TResult>(IJavaPeerable, TResult) |
Provare a digitare |