ByteBuffer.length

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.

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.

결과

추가 계약은 미정입니다.

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.

링크

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플레이그라운드 열기 →

import std.io
let array = [2, 3]
let entries = map { "name": "Topaz" }
let values = set { 2, 3 }
io.writeLine("{array.length}:{entries.length}:{values.length}")
io.writeLine(entries.keys[0])
io.writeLine(entries.values[0])

기대 출력종료 코드 0

2:1:2
name
Topaz

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

2:1:2
name
Topaz

이 예제는 아직 실행하지 않았습니다.

Read a byte sequence size

링크

run · running · 검증 · 미실행

main.tpzRead a byte sequence size플레이그라운드 열기 →

import std.bytes { Bytes }
import std.io
let bytes = Bytes.empty()
let size: int = bytes.length
io.writeLine("{size}")

기대 출력종료 코드 0

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

이 예제는 아직 실행하지 않았습니다.

Read a byte buffer size

링크

run · running · 검증 · 미실행

main.tpzRead a byte buffer size플레이그라운드 열기 →

import std.bytes { ByteBuffer }
import std.io
let buffer = ByteBuffer.allocate(3)
let size: int = buffer.length
io.writeLine("{size}")

기대 출력종료 코드 0

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

이 예제는 아직 실행하지 않았습니다.

Read JSON sizes and preserve optional results

링크

run · running · 검증 · 미실행

main.tpzRead JSON sizes and preserve optional results플레이그라운드 열기 →

import std.json
import std.test
import std.io
let array = test.assertOk(json.parse("[1,2]"))
let object = test.assertOk(json.parse("\{\"name\":\"Topaz\"\}"))
let scalar = test.assertOk(json.parse("42"))
let arraySize: Option<int> = array.length
let objectSize: Option<int> = object.length
let scalarSize: Option<int> = scalar.length
test.assertEq(test.assertSome(arraySize), 2)
test.assertEq(test.assertSome(objectSize), 1)
test.assertNone(scalarSize)
io.writeLine("JSON sizes read")

기대 출력종료 코드 0

JSON sizes read

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

JSON sizes read

이 예제는 아직 실행하지 않았습니다.

Read JSON object keys

링크

run · running · 검증 · 미실행

main.tpzRead JSON object keys플레이그라운드 열기 →

import std.json
import std.test
import std.io
let object = test.assertOk(json.parse("\{\"name\":\"Topaz\"\}"))
let array = test.assertOk(json.parse("[]"))
let scalar = test.assertOk(json.parse("42"))
let names: Option<Array<string>> = object.keys
test.assertEq(test.assertSome(names)[0], "name")
test.assertNone(array.keys)
test.assertNone(scalar.keys)
io.writeLine("JSON keys read")

기대 출력종료 코드 0

JSON keys read

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

JSON keys read

이 예제는 아직 실행하지 않았습니다.

Read JSON object values

링크

run · running · 검증 · 미실행

main.tpzRead JSON object values플레이그라운드 열기 →

import std.json
import std.test
import std.io
let object = test.assertOk(json.parse("\{\"name\":\"Topaz\"\}"))
let array = test.assertOk(json.parse("[]"))
let scalar = test.assertOk(json.parse("42"))
let values = test.assertSome(object.values)
test.assertEq(test.assertSome(values[0].asString()), "Topaz")
test.assertNone(array.values)
test.assertNone(scalar.values)
io.writeLine("JSON values read")

기대 출력종료 코드 0

JSON values read

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

JSON values read

이 예제는 아직 실행하지 않았습니다.

Reject calling Bytes.length

링크

reject · checking · 검증 · 미실행

main.tpzReject calling Bytes.length플레이그라운드 열기 →

import std.bytes { Bytes }
function inspect(value: Bytes) -> () {
let result = value.length()
return ()
}

기대 출력0이 아닌 종료 코드

표준 출력 없음.

$ topaz check main.tpz --format json · 대상 제품 5.21.3

기대 결과

거절 단계 check. 종료 코드가 0이 아닙니다.

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

표준 출력 없음.

이 예제는 아직 실행하지 않았습니다.

Reject calling ByteBuffer.length

링크

reject · checking · 검증 · 미실행

main.tpzReject calling ByteBuffer.length플레이그라운드 열기 →

import std.bytes { ByteBuffer }
function inspect(value: ByteBuffer) -> () {
let result = value.length()
return ()
}

기대 출력0이 아닌 종료 코드

표준 출력 없음.

$ topaz check main.tpz --format json · 대상 제품 5.21.3

기대 결과

거절 단계 check. 종료 코드가 0이 아닙니다.

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

표준 출력 없음.

이 예제는 아직 실행하지 않았습니다.

Reject calling JSONValue.length

링크

reject · checking · 검증 · 미실행

main.tpzReject calling JSONValue.length플레이그라운드 열기 →

import std.json { JSONValue }
function inspect(value: JSONValue) -> () {
let result = value.length()
return ()
}

기대 출력0이 아닌 종료 코드

표준 출력 없음.

$ topaz check main.tpz --format json · 대상 제품 5.21.3

기대 결과

거절 단계 check. 종료 코드가 0이 아닙니다.

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

표준 출력 없음.

이 예제는 아직 실행하지 않았습니다.

Reject calling JSONValue.keys

링크

reject · checking · 검증 · 미실행

main.tpzReject calling JSONValue.keys플레이그라운드 열기 →

import std.json { JSONValue }
function inspect(value: JSONValue) -> () {
let result = value.keys()
return ()
}

기대 출력0이 아닌 종료 코드

표준 출력 없음.

$ topaz check main.tpz --format json · 대상 제품 5.21.3

기대 결과

거절 단계 check. 종료 코드가 0이 아닙니다.

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

표준 출력 없음.

이 예제는 아직 실행하지 않았습니다.

Reject calling JSONValue.values

링크

reject · checking · 검증 · 미실행

main.tpzReject calling JSONValue.values플레이그라운드 열기 →

import std.json { JSONValue }
function inspect(value: JSONValue) -> () {
let result = value.values()
return ()
}

기대 출력0이 아닌 종료 코드

표준 출력 없음.

$ topaz check main.tpz --format json · 대상 제품 5.21.3

기대 결과

거절 단계 check. 종료 코드가 0이 아닙니다.

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