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

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

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

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

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

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

    ByteBuffer.length

    Returns the number of bytes in this buffer.

    length: int
    Модуль
    std.bytes →
    Получатель
    ByteBuffer
    Минимальное число аргументов
    0
    Максимальное число аргументов
    0

    Declaration and parameters

    Ссылка

    Доступность

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

    Import std.bytes in language mode 5.21.

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

    Получатель

    ByteBuffer

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

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

    Bytes.length and ByteBuffer.length are read-only int properties that report the number of bytes.

    JSONValue.length is an Option<int> property. Arrays and objects return Some(count) for their element or member count. Other JSON kinds return None().

    JSONValue.keys and JSONValue.values are properties returning Option<Array<string>> and Option<Array<JSONValue>>. Objects return Some(keys) or Some(values). Other JSON kinds return None().

    Read these properties without parentheses, as with Array.length, Map.length, Map.keys, Map.values, and Set.length. Calling a property value is rejected as a non-callable value.

    Связанное правило · Read collection sizes, keys, and values as properties →

    ByteBuffer.allocate accepts a nonnegative int length and an int initial value from 0 through 255. The initial value defaults to zero.

    The new buffer has exactly that many copies of the initial byte. Zero length is valid and still requires a valid initial byte.

    A negative length produces TPZ4001 at runtime. An invalid initial byte or an allocation that cannot be satisfied produces TPZ5001 at runtime.

    ByteBuffer.fromBytes converts an immutable Bytes value into a mutable ByteBuffer value containing the same bytes.

    ByteBuffer.toBytes converts the current buffer contents into an immutable Bytes value.

    ByteBuffer.length is a read-only byte count property. Buffer operations never change its length.

    Assignment, argument passing, return, capture, and aggregate storage follow collection value semantics.

    Supplied expressions evaluate once from left to right before allocation or conversion. These operations have no I/O effects.

    Связанное правило · Allocate buffers and convert byte values →

    Результат

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

    The declared result type is int.

    Эффекты

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

    Ошибки

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

    Result and effects

    Ссылка

    Select this field from a value of its named type without call parentheses.

    Read the fixed number of buffer bytes as a read-only int property. Buffer writes preserve this count.

    Why

    Ссылка

    Collection observations use the same property syntax as Array, Map, and Set. Parentheses identify calls rather than stored or derived values.

    Related entries

    Ссылка

    std.bytes →

    Read collection sizes, keys, and values as properties

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

    Read collection sizes, keys, and values as properties

    Bytes.length and ByteBuffer.length are read-only int properties that report the number of bytes.

    JSONValue.length is an Option<int> property. Arrays and objects return Some(count) for their element or member count. Other JSON kinds return None().

    JSONValue.keys and JSONValue.values are properties returning Option<Array<string>> and Option<Array<JSONValue>>. Objects return Some(keys) or Some(values). Other JSON kinds return None().

    Read these properties without parentheses, as with Array.length, Map.length, Map.keys, Map.values, and Set.length. Calling a property value is rejected as a non-callable value.

    Причина

    The same collection observation should use the same syntax across core collections and library values. Keeping JSONValue results optional preserves its distinction between collections and scalar values.

    Примеры Read the same properties on core collections →Read a byte sequence size →Read a byte buffer size →Read JSON sizes and preserve optional results →Read JSON object keys →Read JSON object values →Reject calling Bytes.length →Reject calling ByteBuffer.length →Reject calling JSONValue.length →Reject calling JSONValue.keys →Reject calling JSONValue.values →

    Диагностика TPZ5005 →

    Read the same properties on core collections

    Ссылка

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

    main.tpzRead the same properties on core collectionsОткрыть песочницу →
    1. import std.io
    3. let array = [2, 3]
    4. let entries = map { "name": "Topaz" }
    5. let values = set { 2, 3 }
    6. io.writeLine("{array.length}:{entries.length}:{values.length}")
    7. io.writeLine(entries.keys[0])
    8. io.writeLine(entries.values[0])
    Ожидаемый выводКод завершения 0
    2:1:2
name
Topaz
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

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

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

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

    Ожидаемый стандартный вывод
    1. 2:1:2
    2. name
    3. Topaz

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

    Read a byte sequence size

    Ссылка

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

    main.tpzRead a byte sequence sizeОткрыть песочницу →
    1. import std.bytes { Bytes }
    2. import std.io
    4. let bytes = Bytes.empty()
    5. let size: int = bytes.length
    6. io.writeLine("{size}")
    Ожидаемый выводКод завершения 0
    0
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

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

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

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

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

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

    Read a byte buffer size

    Ссылка

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

    main.tpzRead a byte buffer sizeОткрыть песочницу →
    1. import std.bytes { ByteBuffer }
    2. import std.io
    4. let buffer = ByteBuffer.allocate(3)
    5. let size: int = buffer.length
    6. io.writeLine("{size}")
    Ожидаемый выводКод завершения 0
    3
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

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

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

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

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

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

    Read JSON sizes and preserve optional results

    Ссылка

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

    main.tpzRead JSON sizes and preserve optional resultsОткрыть песочницу →
    1. import std.json
    2. import std.test
    3. import std.io
    5. let array = test.assertOk(json.parse("[1,2]"))
    6. let object = test.assertOk(json.parse("\{\"name\":\"Topaz\"\}"))
    7. let scalar = test.assertOk(json.parse("42"))
    8. let arraySize: Option<int> = array.length
    9. let objectSize: Option<int> = object.length
    10. let scalarSize: Option<int> = scalar.length
    11. test.assertEq(test.assertSome(arraySize), 2)
    12. test.assertEq(test.assertSome(objectSize), 1)
    13. test.assertNone(scalarSize)
    14. io.writeLine("JSON sizes read")
    Ожидаемый выводКод завершения 0
    JSON sizes read
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

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

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

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

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

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

    Read JSON object keys

    Ссылка

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

    main.tpzRead JSON object keysОткрыть песочницу →
    1. import std.json
    2. import std.test
    3. import std.io
    5. let object = test.assertOk(json.parse("\{\"name\":\"Topaz\"\}"))
    6. let array = test.assertOk(json.parse("[]"))
    7. let scalar = test.assertOk(json.parse("42"))
    8. let names: Option<Array<string>> = object.keys
    9. test.assertEq(test.assertSome(names)[0], "name")
    10. test.assertNone(array.keys)
    11. test.assertNone(scalar.keys)
    12. io.writeLine("JSON keys read")
    Ожидаемый выводКод завершения 0
    JSON keys read
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

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

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

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

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

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

    Read JSON object values

    Ссылка

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

    main.tpzRead JSON object valuesОткрыть песочницу →
    1. import std.json
    2. import std.test
    3. import std.io
    5. let object = test.assertOk(json.parse("\{\"name\":\"Topaz\"\}"))
    6. let array = test.assertOk(json.parse("[]"))
    7. let scalar = test.assertOk(json.parse("42"))
    8. let values = test.assertSome(object.values)
    9. test.assertEq(test.assertSome(values[0].asString()), "Topaz")
    10. test.assertNone(array.values)
    11. test.assertNone(scalar.values)
    12. io.writeLine("JSON values read")
    Ожидаемый выводКод завершения 0
    JSON values read
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

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

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

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

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

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

    Reject calling Bytes.length

    Ссылка

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

    main.tpzReject calling Bytes.lengthОткрыть песочницу →
    1. import std.bytes { Bytes }
    2. function inspect(value: Bytes) -> () {
    3. let result = value.length()
    4. return ()
    5. }
    Ожидаемый выводНенулевой код завершения
    Нет стандартного вывода.
    $ topaz check main.tpz --format json · Целевой продукт 5.21.3
    Ожидаемый результат

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

    Этап отклонения check. Ненулевой код завершения.

    • TPZ5005 →

      stdlib-property-not-callable at main.tpz:3:22

    Нет стандартного вывода.

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

    Reject calling ByteBuffer.length

    Ссылка

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

    main.tpzReject calling ByteBuffer.lengthОткрыть песочницу →
    1. import std.bytes { ByteBuffer }
    2. function inspect(value: ByteBuffer) -> () {
    3. let result = value.length()
    4. return ()
    5. }
    Ожидаемый выводНенулевой код завершения
    Нет стандартного вывода.
    $ topaz check main.tpz --format json · Целевой продукт 5.21.3
    Ожидаемый результат

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

    Этап отклонения check. Ненулевой код завершения.

    • TPZ5005 →

      stdlib-property-not-callable at main.tpz:3:22

    Нет стандартного вывода.

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

    Reject calling JSONValue.length

    Ссылка

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

    main.tpzReject calling JSONValue.lengthОткрыть песочницу →
    1. import std.json { JSONValue }
    2. function inspect(value: JSONValue) -> () {
    3. let result = value.length()
    4. return ()
    5. }
    Ожидаемый выводНенулевой код завершения
    Нет стандартного вывода.
    $ topaz check main.tpz --format json · Целевой продукт 5.21.3
    Ожидаемый результат

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

    Этап отклонения check. Ненулевой код завершения.

    • TPZ5005 →

      stdlib-property-not-callable at main.tpz:3:22

    Нет стандартного вывода.

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

    Reject calling JSONValue.keys

    Ссылка

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

    main.tpzReject calling JSONValue.keysОткрыть песочницу →
    1. import std.json { JSONValue }
    2. function inspect(value: JSONValue) -> () {
    3. let result = value.keys()
    4. return ()
    5. }
    Ожидаемый выводНенулевой код завершения
    Нет стандартного вывода.
    $ topaz check main.tpz --format json · Целевой продукт 5.21.3
    Ожидаемый результат

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

    Этап отклонения check. Ненулевой код завершения.

    • TPZ5005 →

      stdlib-property-not-callable at main.tpz:3:22

    Нет стандартного вывода.

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

    Reject calling JSONValue.values

    Ссылка

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

    main.tpzReject calling JSONValue.valuesОткрыть песочницу →
    1. import std.json { JSONValue }
    2. function inspect(value: JSONValue) -> () {
    3. let result = value.values()
    4. return ()
    5. }
    Ожидаемый выводНенулевой код завершения
    Нет стандартного вывода.
    $ topaz check main.tpz --format json · Целевой продукт 5.21.3
    Ожидаемый результат

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

    Этап отклонения check. Ненулевой код завершения.

    • TPZ5005 →

      stdlib-property-not-callable at main.tpz:3:22

    Нет стандартного вывода.

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

    Diagnostics

    Ссылка

    Value is not callable →

    Allocate buffers and convert byte values

    Ссылка
    Правилоtopaz.stdlib.contract.byte-buffer-storage.rule

    Allocate buffers and convert byte values

    ByteBuffer.allocate accepts a nonnegative int length and an int initial value from 0 through 255. The initial value defaults to zero.

    The new buffer has exactly that many copies of the initial byte. Zero length is valid and still requires a valid initial byte.

    A negative length produces TPZ4001 at runtime. An invalid initial byte or an allocation that cannot be satisfied produces TPZ5001 at runtime.

    ByteBuffer.fromBytes converts an immutable Bytes value into a mutable ByteBuffer value containing the same bytes.

    ByteBuffer.toBytes converts the current buffer contents into an immutable Bytes value.

    ByteBuffer.length is a read-only byte count property. Buffer operations never change its length.

    Assignment, argument passing, return, capture, and aggregate storage follow collection value semantics.

    Supplied expressions evaluate once from left to right before allocation or conversion. These operations have no I/O effects.

    Причина

    A fixed length gives binary algorithms stable byte positions. Explicit conversion distinguishes mutable construction from immutable byte data.

    Примеры Allocate zero-filled and initialized buffers →Keep the original buffer and converted bytes unchanged →Reject a negative buffer length →Validate the initial byte of an empty buffer →Validate the initial byte of an empty buffer →

    Диагностика TPZ4001 →TPZ5001 →

    Allocate zero-filled and initialized buffers

    Ссылка

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

    main.tpzAllocate zero-filled and initialized buffersОткрыть песочницу →
    1. import std.bytes { ByteBuffer }
    2. import std.io
    4. io.writeLine(ByteBuffer.allocate(0).toBytes().toHex())
    5. io.writeLine(ByteBuffer.allocate(3).toBytes().toHex())
    6. io.writeLine(ByteBuffer.allocate(2, 255).toBytes().toHex())
    Ожидаемый выводКод завершения 0
    
000000
ffff
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

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

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

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

    Ожидаемый стандартный вывод
    2. 000000
    3. ffff

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

    Keep the original buffer and converted bytes unchanged

    Ссылка

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

    main.tpzKeep the original buffer and converted bytes unchangedОткрыть песочницу →
    1. import std.bytes { ByteBuffer }
    2. import std.io
    4. let source = "ab".encodeUtf8()
    5. let buffer = ByteBuffer.fromBytes(source)
    6. let independent = ByteBuffer.fromBytes(source)
    7. let before = buffer.toBytes()
    8. let mut alias = buffer
    9. alias.set(0, 99)
    10. io.writeLine(source.toHex())
    11. io.writeLine(before.toHex())
    12. io.writeLine(independent.toBytes().toHex())
    13. io.writeLine(buffer.toBytes().toHex())
    Ожидаемый выводКод завершения 0
    6162
6162
6162
6162
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

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

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

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

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

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

    Reject a negative buffer length

    Ссылка

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

    main.tpzReject a negative buffer lengthОткрыть песочницу →
    1. import std.bytes { ByteBuffer }
    2. ByteBuffer.allocate(-1)
    Ожидаемый выводНенулевой код завершения
    Нет стандартного вывода.
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

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

    Этап отклонения run. Ненулевой код завершения.

    Нет стандартного вывода.

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

    Validate the initial byte of an empty buffer

    Ссылка

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

    main.tpzValidate the initial byte of an empty bufferОткрыть песочницу →
    1. import std.bytes { ByteBuffer }
    2. import std.io
    3. ByteBuffer.allocate(0, -1)
    4. io.writeLine("after")
    Ожидаемый выводНенулевой код завершения
    Нет стандартного вывода.
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

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

    Этап отклонения run. Ненулевой код завершения.

    Нет стандартного вывода.

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

    Validate the initial byte of an empty buffer

    Ссылка

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

    main.tpzValidate the initial byte of an empty bufferОткрыть песочницу →
    1. import std.bytes { ByteBuffer }
    2. import std.io
    3. ByteBuffer.allocate(0, 256)
    4. io.writeLine("after")
    Ожидаемый выводНенулевой код завершения
    Нет стандартного вывода.
    $ topaz run main.tpz · Целевой продукт 5.21.3
    Ожидаемый результат

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

    Этап отклонения run. Ненулевой код завершения.

    Нет стандартного вывода.

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

    Diagnostics

    Ссылка

    Index out of bounds →

    Runtime value guard →

    Меню

    Загрузка →