String.StripIndent Methode

Definition

Namespace:: Java.Lang

Assembly:: Mono.Android.dll

Wichtig

Einige Informationen beziehen sich auf Vorabversionen, die vor dem Release ggf. grundlegend überarbeitet werden. Microsoft übernimmt hinsichtlich der hier bereitgestellten Informationen keine Gewährleistungen, seien sie ausdrücklich oder konkludent.

Gibt eine Zeichenfolge zurück, deren Wert diese Zeichenfolge ist, wobei nebensächlich "Character#isWhitespace(int)"-Leerzeichen am Anfang und Ende jeder Zeile entfernt wurden.

[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

Gibt zurück

String

Zeichenfolge mit entfernten Nebeneinzugs- und Zeilenterminatoren normalisiert

Attribute: RegisterAttribute

Hinweise

Gibt eine Zeichenfolge zurück, deren Wert diese Zeichenfolge ist, wobei nebensächlich "Character#isWhitespace(int)"-Leerzeichen am Anfang und Ende jeder Zeile entfernt wurden.

Nebenzeichen#isWhitespace(int) ist häufig in einem Textblock vorhanden, um den Inhalt mit dem öffnenden Trennzeichen auszurichten. Im folgenden Code stellen Punkte beispielsweise nebensächlich zeichen#isWhitespace(int) Leerzeichen dar: <Blockquote>

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

</blockquote> Diese Methode behandelt das zufällige Character#isWhitespace(int)-Leerzeichen als abgeschnittenen Einzug, wodurch eine Zeichenfolge erzeugt wird, die den relativen Einzug des Inhalts bewahrt. Verwenden von | um den Anfang jeder Zeile der Zeichenfolge zu visualisieren: <blockquote>

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

</blockquote> First, the individual lines of this string are extracted. Eine Zeile ist eine Sequenz von null oder mehr Zeichen, gefolgt von einem Zeilenterminator oder dem Ende der Zeichenfolge. Wenn die Zeichenfolge mindestens einen Zeilenterminator aufweist, besteht die letzte Zeile aus den Zeichen zwischen dem letzten Endzeichen und dem Ende der Zeichenfolge. Andernfalls ist die letzte Zeile der Anfang der Zeichenfolge bis zum Ende der Zeichenfolge, d. h. die gesamte Zeichenfolge. Eine Zeile enthält nicht den Zeilenterminator.

Anschließend wird der minimale Einzug (min) wie folgt bestimmt: <ul><li>

Für jede nicht leere Zeile (wie definiert String#isBlank()) werden die führenden Leerzeichen zeichen #isWhitespace(int) gezählt.

</li li><>

Die führenden Leerzeichen "Character#isWhitespace(int)" in der letzten Zeile werden ebenfalls gezählt, auch wenn string#isBlank() leer ist.

</li></ul>

Der Min .-Wert ist der kleinste dieser Anzahl.

Bei jeder Nicht-Leerzeile "String#isBlank()" werden Leerzeichen mit vorangestelltem Zeichen #isWhitespace(int) entfernt, und alle nachfolgenden Leerzeichen "Character#isWhitespace(int)" werden entfernt. String#isBlank() Leere Zeilen werden durch die leere Zeichenfolge ersetzt.

Schließlich werden die Zeilen mit einer neuen Zeichenfolge verknüpft, wobei das LF-Zeichen "\n" (U+000A) zum Trennen von Zeilen verwendet wird.

Hinzugefügt in 15.

Java Dokumentation für java.lang.String.stripIndent().

Teile dieser Seite sind Änderungen auf der Grundlage von Arbeiten, die von der Android Open Source Project erstellt und gemeinsam verwendet und gemäß den in der 2.5 Attribution License beschriebenen Begriffen verwendet werden.

Gilt für: