Перейти к содержимому
Топаз6.0 · До релиза
Загрузка →

Поиск в документации

Спецификация 6.0

Выберите результат стрелками и нажмите Enter, чтобы открыть его.

Введите имя API, номер диагностики, правило или тему проекта.

    Библиотека · std.path

    Path.fileName

    Returns the optional file name of this path.

    fileName() -> Option<string>
    Модуль
    std.path →
    Получатель
    Path
    Минимальное число аргументов
    0
    Максимальное число аргументов
    0

    Declaration and parameters

    Ссылка

    Доступность

    Включено по умолчанию · Не определено

    Import std.path in language mode 5.21.

    The current compiler selects std/path.tpz for this language mode. Availability in other released editions and inclusion in each installed distribution are Pending.

    Получатель

    Path

    Ограничения параметров

    Дополнительные контракты не определены.

    A Path is immutable normalized relative text. Every member evaluates its receiver and arguments once in ordinary call order. Members perform no host access and leave the receiver unchanged on success and failure.

    toString returns the exact normalized representation. Separators are forward slashes and the relative root is a dot. Constructing a Path from that text returns the same representation.

    join accepts nonempty relative child text. It rejects NUL, a leading separator, and a colon immediately after one ASCII character before combining the child with the receiver. Both slash forms are separators. Parent components remove preceding components from the combined path and return Err when none remain to remove.

    Joining a child may reach the relative root but may not cross it. A dot child preserves the receiver. Invalid child text returns Err containing an error string without producing a Path. Error text identifies Path.join and the invalid condition.

    parent removes the final component. For a one component path it returns Some containing the dot root. The relative root has no parent and returns None().

    fileName returns the final component without any preceding separator. The relative root returns None(). These results describe text and do not establish whether the path identifies a file or directory.

    extension returns the text after the final dot in the file name, provided that dot is not its first character. A leading dot alone does not introduce an extension. A final dot returns Some(""). A name without such a dot and the relative root return None().

    withExtension replaces the final extension or appends one when it is absent. The argument supplies the suffix without a leading dot. An empty argument removes an existing suffix and its separating dot. A leading dot, either separator, or NUL in the argument returns Err.

    withExtension preserves a leading dot that belongs to the file name. It returns Err when the receiver is the relative root because that path has no file name. A successful replacement is normalized with the same rules as Path.from.

    Path validation describes lexical text. Host operations may reject an otherwise valid Path because of platform naming rules, permissions, or capability restrictions. A Path does not establish filesystem existence or prevent a symbolic link from resolving elsewhere.

    Связанное правило · Inspect and transform normalized paths →

    Результат

    Дополнительные контракты не определены.

    The declared result type is Option<string>.

    Эффекты

    Не определено

    Ошибки

    Не определено

    Result and effects

    Ссылка

    Return the final lexical component. The dot root has no file name.

    Related entries

    Ссылка

    std.path →

    Inspect and transform normalized paths

    Ссылка
    Правилоtopaz.stdlib.contract.path-operations.rule

    Inspect and transform normalized paths

    A Path is immutable normalized relative text. Every member evaluates its receiver and arguments once in ordinary call order. Members perform no host access and leave the receiver unchanged on success and failure.

    toString returns the exact normalized representation. Separators are forward slashes and the relative root is a dot. Constructing a Path from that text returns the same representation.

    join accepts nonempty relative child text. It rejects NUL, a leading separator, and a colon immediately after one ASCII character before combining the child with the receiver. Both slash forms are separators. Parent components remove preceding components from the combined path and return Err when none remain to remove.

    Joining a child may reach the relative root but may not cross it. A dot child preserves the receiver. Invalid child text returns Err containing an error string without producing a Path. Error text identifies Path.join and the invalid condition.

    parent removes the final component. For a one component path it returns Some containing the dot root. The relative root has no parent and returns None().

    fileName returns the final component without any preceding separator. The relative root returns None(). These results describe text and do not establish whether the path identifies a file or directory.

    extension returns the text after the final dot in the file name, provided that dot is not its first character. A leading dot alone does not introduce an extension. A final dot returns Some(""). A name without such a dot and the relative root return None().

    withExtension replaces the final extension or appends one when it is absent. The argument supplies the suffix without a leading dot. An empty argument removes an existing suffix and its separating dot. A leading dot, either separator, or NUL in the argument returns Err.

    withExtension preserves a leading dot that belongs to the file name. It returns Err when the receiver is the relative root because that path has no file name. A successful replacement is normalized with the same rules as Path.from.

    Path validation describes lexical text. Host operations may reject an otherwise valid Path because of platform naming rules, permissions, or capability restrictions. A Path does not establish filesystem existence or prevent a symbolic link from resolving elsewhere.

    Причина

    One normalized representation makes composition predictable. Parent and extension queries describe components without consulting host state. A suffix has one accepted spelling, and joining validates the child before its leading separator can disappear inside the combined text.

    Примеры Join relative components without changing the receiver →Reject invalid child text before joining →Inspect the final component and the relative root →Keep the relative root as the parent of one component →Distinguish an absent extension from an empty extension →Replace and remove a final extension →Preserve the name of a file that starts with a dot →Reject a second suffix spelling and a path without a file name →

    Join relative components without changing the receiver

    Ссылка

    run · running · Проверка · Не выполнялось

    main.tpzJoin relative components without changing the receiverОткрыть песочницу →
    1. import std.path { Path }
    2. import std.test
    3. import std.io
    5. let base = test.assertOk(Path.from("chapters/draft"))
    6. let child = test.assertOk(base.join("../final/./main.tpz"))
    7. io.writeLine(base.toString())
    8. io.writeLine(child.toString())
    9. io.writeLine(test.assertOk(base.join("../..")).toString())
    10. io.writeLine(test.assertOk(base.join(".")).toString())
    Ожидаемый выводКод завершения 0
    chapters/draft
chapters/final/main.tpz
.
chapters/draft
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Выполнение завершается. Код завершения 0.

    Нет вывода ошибок.

    Ожидаемый стандартный вывод
    1. chapters/draft
    2. chapters/final/main.tpz
    3. .
    4. chapters/draft

    Этот пример ещё не выполнялся.

    Reject invalid child text before joining

    Ссылка

    run · running · Проверка · Не выполнялось

    main.tpzReject invalid child text before joiningОткрыть песочницу →
    1. import std.path { Path }
    2. import std.test
    3. import std.io
    5. let base = test.assertOk(Path.from("chapters"))
    6. for child in (["", "/outside", "C:/outside", "../../outside"]) {
    7. match (base.join(child)) {
    8. case Err(_) => io.writeLine("rejected")
    9. case Ok(_) => io.writeLine("accepted")
    10. }
    11. }
    12. io.writeLine(base.toString())
    Ожидаемый выводКод завершения 0
    rejected
rejected
rejected
rejected
chapters
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Выполнение завершается. Код завершения 0.

    Нет вывода ошибок.

    Ожидаемый стандартный вывод
    1. rejected
    2. rejected
    3. rejected
    4. rejected
    5. chapters

    Этот пример ещё не выполнялся.

    Inspect the final component and the relative root

    Ссылка

    run · running · Проверка · Не выполнялось

    main.tpzInspect the final component and the relative rootОткрыть песочницу →
    1. import std.path { Path }
    2. import std.test
    3. import std.io
    5. let file = test.assertOk(Path.from("chapters/main.tpz"))
    6. io.writeLine(test.assertSome(file.parent()).toString())
    7. io.writeLine(test.assertSome(file.fileName()))
    8. io.writeLine(test.assertSome(file.extension()))
    9. let root = test.assertOk(Path.from("."))
    10. test.assertNone(root.parent())
    11. test.assertNone(root.fileName())
    12. test.assertNone(root.extension())
    13. io.writeLine(root.toString())
    Ожидаемый выводКод завершения 0
    chapters
main.tpz
tpz
.
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Выполнение завершается. Код завершения 0.

    Нет вывода ошибок.

    Ожидаемый стандартный вывод
    1. chapters
    2. main.tpz
    3. tpz
    4. .

    Этот пример ещё не выполнялся.

    Keep the relative root as the parent of one component

    Ссылка

    run · running · Проверка · Не выполнялось

    main.tpzKeep the relative root as the parent of one componentОткрыть песочницу →
    1. import std.path { Path }
    2. import std.test
    3. import std.io
    5. let file = test.assertOk(Path.from("main.tpz"))
    6. match (file.parent()) {
    7. case Some(parent) => io.writeLine(parent.toString())
    8. case None() => io.writeLine("missing")
    9. }
    Ожидаемый выводКод завершения 0
    .
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Выполнение завершается. Код завершения 0.

    Нет вывода ошибок.

    Ожидаемый стандартный вывод
    1. .

    Этот пример ещё не выполнялся.

    Distinguish an absent extension from an empty extension

    Ссылка

    run · running · Проверка · Не выполнялось

    main.tpzDistinguish an absent extension from an empty extensionОткрыть песочницу →
    1. import std.path { Path }
    2. import std.test
    3. import std.io
    5. for name in (["README", ".env", ".env.local", "archive.tar.gz", "trailing."]) {
    6. let file = test.assertOk(Path.from(name))
    7. match (file.extension()) {
    8. case Some(extension) => io.writeLine("present [{extension}]")
    9. case None() => io.writeLine("absent")
    10. }
    11. }
    Ожидаемый выводКод завершения 0
    absent
absent
present [local]
present [gz]
present []
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Выполнение завершается. Код завершения 0.

    Нет вывода ошибок.

    Ожидаемый стандартный вывод
    1. absent
    2. absent
    3. present [local]
    4. present [gz]
    5. present []

    Этот пример ещё не выполнялся.

    Replace and remove a final extension

    Ссылка

    run · running · Проверка · Не выполнялось

    main.tpzReplace and remove a final extensionОткрыть песочницу →
    1. import std.path { Path }
    2. import std.test
    3. import std.io
    5. let file = test.assertOk(Path.from("chapters/main.tpz"))
    6. io.writeLine(test.assertOk(file.withExtension("pdf")).toString())
    7. io.writeLine(test.assertOk(file.withExtension("")).toString())
    8. io.writeLine(file.toString())
    Ожидаемый выводКод завершения 0
    chapters/main.pdf
chapters/main
chapters/main.tpz
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Выполнение завершается. Код завершения 0.

    Нет вывода ошибок.

    Ожидаемый стандартный вывод
    1. chapters/main.pdf
    2. chapters/main
    3. chapters/main.tpz

    Этот пример ещё не выполнялся.

    Preserve the name of a file that starts with a dot

    Ссылка

    run · running · Проверка · Не выполнялось

    main.tpzPreserve the name of a file that starts with a dotОткрыть песочницу →
    1. import std.path { Path }
    2. import std.test
    3. import std.io
    5. let file = test.assertOk(Path.from(".env"))
    6. io.writeLine(test.assertOk(file.withExtension("local")).toString())
    7. io.writeLine(test.assertOk(file.withExtension("")).toString())
    Ожидаемый выводКод завершения 0
    .env.local
.env
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Выполнение завершается. Код завершения 0.

    Нет вывода ошибок.

    Ожидаемый стандартный вывод
    1. .env.local
    2. .env

    Этот пример ещё не выполнялся.

    Reject a second suffix spelling and a path without a file name

    Ссылка

    run · running · Проверка · Не выполнялось

    main.tpzReject a second suffix spelling and a path without a file nameОткрыть песочницу →
    1. import std.path { Path }
    2. import std.test
    3. import std.io
    5. let file = test.assertOk(Path.from("chapter.txt"))
    6. for extension in ([".pdf", "pdf/extra", "pdf\\extra"]) {
    7. match (file.withExtension(extension)) {
    8. case Err(_) => io.writeLine("rejected")
    9. case Ok(_) => io.writeLine("accepted")
    10. }
    11. }
    12. let root = test.assertOk(Path.from("."))
    13. match (root.withExtension("pdf")) {
    14. case Err(_) => io.writeLine("root rejected")
    15. case Ok(_) => io.writeLine("root accepted")
    16. }
    Ожидаемый выводКод завершения 0
    rejected
rejected
rejected
root rejected
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Выполнение завершается. Код завершения 0.

    Нет вывода ошибок.

    Ожидаемый стандартный вывод
    1. rejected
    2. rejected
    3. rejected
    4. root rejected

    Этот пример ещё не выполнялся.

    Меню

    Загрузка →