String.StripIndent Metodo

Definizione

Spazio dei nomi:: Java.Lang

Assembly:: Mono.Android.dll

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.

Restituisce una stringa il cui valore è questa stringa, con spazi vuoti incidentali Character#isWhitespace(int) rimossi dall'inizio e dalla fine di ogni riga.

[Android.Runtime.Register("stripIndent", "()Ljava/lang/String;", "", ApiSince=34)]
public string StripIndent();

[<Android.Runtime.Register("stripIndent", "()Ljava/lang/String;", "", ApiSince=34)>]
member this.StripIndent : unit -> string

Valori restituiti

String

stringa con rientro accidentale rimosso e terminatori di riga normalizzati

Attributi: RegisterAttribute

Commenti

Restituisce una stringa il cui valore è questa stringa, con spazi vuoti incidentali Character#isWhitespace(int) rimossi dall'inizio e dalla fine di ogni riga.

Lo spazio vuoto Di carattere secondario#isWhitespace(int) è spesso presente in un blocco di testo per allineare il contenuto al delimitatore di apertura. Nel codice seguente, ad esempio, i punti rappresentano uno spazio <vuoto di carattere secondario#isWhitespace(int): blockquote>

String html = """
            ..............&lt;html&gt;
            ..............    &lt;body&gt;
            ..............        &lt;p&gt;Hello, world&lt;/p&gt;
            ..............    &lt;/body&gt;
            ..............&lt;/html&gt;
            ..............""";

</blockquote> Questo metodo considera gli spazi vuoti incidentali Character#isWhitespace(int) come rientro da rimuovere, producendo una stringa che mantiene il rientro relativo del contenuto. Uso di | per visualizzare l'inizio di ogni riga della stringa: <blockquote>

|&lt;html&gt;
            |    &lt;body&gt;
            |        &lt;p&gt;Hello, world&lt;/p&gt;
            |    &lt;/body&gt;
            |&lt;/html&gt;

</blockquote First, le singole righe di questa stringa vengono estratte> . Una riga è una sequenza di zero o più caratteri seguiti da un terminatore di riga o dalla fine della stringa. Se la stringa ha almeno un carattere di terminazione di riga, l'ultima riga è costituita dai caratteri tra l'ultimo terminatore e la fine della stringa. In caso contrario, se la stringa non ha caratteri di terminazione, l'ultima riga è l'inizio della stringa alla fine della stringa, in altre parole, l'intera stringa. Una riga non include il carattere di terminazione della riga.

Il rientro minimo (min) viene quindi determinato nel modo seguente: <ul><li>

Per ogni riga non vuota (come definito da String#isBlank()), vengono conteggiati gli spazi vuoti Character#isWhitespace(int).

</li li><>

Anche gli spazi vuoti carattere iniziale#isWhitespace(int) sull'ultima riga vengono conteggiati anche se String#isBlank() è vuoto.

</li></ul>

Il valore minimo è il più piccolo di questi conteggi.

Per ogni riga string#isBlank() non vuota, vengono rimossi gli spazi vuoti min leading Character#isWhitespace(int) e vengono rimossi tutti gli spazi vuoti carattere#isWhitespace(int). String#isBlank() Le righe vuote vengono sostituite con la stringa vuota.

Infine, le righe vengono unite in una nuova stringa, usando il carattere "\n" LF (U+000A) per separare le righe.

Aggiunta in 15.

per java.lang.String.stripIndent().

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.

Si applica a