std.json.parse

parse(text: string) -> Result<JSONValue, { column: int, line: int, message: string }>

모듈: std.json →
수신자: 해당 없음
최소 인자 수: 1
최대 인자 수: 1

Declaration and parameters

사용 조건

기본 포함 · 미정

Import std.json in language mode 5.21.

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

수신자

해당 없음

매개변수 제약

추가 계약은 미정입니다.

parse accepts one complete JSON value with leading and trailing space, tab, CR or LF. An empty input, a byte order mark, comments, trailing commas and trailing nonwhitespace return Err. Scalars are valid roots.

JSON numbers follow the JSON decimal grammar. A leading plus, redundant leading zero, missing fraction or exponent digits, NaN and infinities are invalid. Every accepted lexeme is stored exactly without conversion to binary floating point. Its magnitude need not fit int or float.

Quoted strings decode the JSON escapes and valid UTF 16 surrogate pairs into Unicode scalar values. Unescaped controls, malformed escapes and unpaired surrogates return Err. No Unicode normalization is performed.

Object names are compared after escape decoding. A repeated name returns Err before its value is converted into the object. The second name does not overwrite the first. Arrays preserve source order and object traversal follows the decoded key order.

The root starts at depth zero. Descending into an array element or object value adds one. Depths through 128 are accepted and the first value at depth 129 returns Err with a nesting limit message.

A parse failure returns a record containing a nonempty cause message and one based line and column integers. Columns count Unicode scalar values. CRLF is one line break and a lone CR or LF also starts the next line. The first offending scalar is the location. An invalid escape points to its backslash. A repeated name points to its second opening quote. An incomplete input points immediately after the final scalar.

The text expression is evaluated once before parsing. The parser consumes through trailing whitespace before returning Ok. It performs no I/O, invokes no typed decoder and exposes no partial tree. Malformed data uses the Result error channel rather than a runtime diagnostic.

결과

추가 계약은 미정입니다.

The declared result type is Result<JSONValue, { column: int, line: int, message: string }>.

효과

미정

실패

미정

Result and effects

링크

Parse a complete JSON document without losing number text. Return a structured cause and scalar position for invalid input.

링크

std.json →

Parse a complete JSON document

링크

규칙topaz.stdlib.contract.json-parse.rule

Parse a complete JSON document

The root starts at depth zero. Descending into an array element or object value adds one. Depths through 128 are accepted and the first value at depth 129 returns Err with a nesting limit message.

이유

Exact number storage avoids losing document data before a caller chooses a numeric type. Rejecting duplicate names prevents source order from silently selecting a value. A single scalar based location rule makes errors actionable across Unicode text and newline styles.

예제 Retain numbers beyond binary and integer precision →Locate the first invalid scalar and end of input →Reject a repeated decoded key at its opening quote →Decode surrogate pairs and reject malformed JSON spellings →Accept depth 128 and reject the next child →

Retain numbers beyond binary and integer precision

링크

run · running · 검증 · 미실행

main.tpzRetain numbers beyond binary and integer precision플레이그라운드 열기 →

import std.json
import std.test
import std.io
for text in (["9007199254740993", "9223372036854775808", "-0", "1.2300e+03", "1e9999"]) {
let value = test.assertOk(json.parse(text))
io.writeLine(test.assertSome(value.numberText()))
}

기대 출력종료 코드 0

9007199254740993
9223372036854775808
-0
1.2300e+03
1e9999

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

9007199254740993
9223372036854775808
-0
1.2300e+03
1e9999

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

Locate the first invalid scalar and end of input

링크

run · running · 검증 · 미실행

main.tpzLocate the first invalid scalar and end of input플레이그라운드 열기 →

import std.json
import std.io
for text in (["", "true false", "[1,]", "[1 x]", "[\rtrue,\r?]"]) {
match (json.parse(text)) {
case Ok(_) => io.writeLine("accepted")
case Err(error) => io.writeLine("{error.line},{error.column}")
}
}

기대 출력종료 코드 0

1,1
1,6
1,4
1,4
3,1

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

1,1
1,6
1,4
1,4
3,1

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

Reject a repeated decoded key at its opening quote

링크

run · running · 검증 · 미실행

main.tpzReject a repeated decoded key at its opening quote플레이그라운드 열기 →

import std.json
import std.io
match (json.parse("\{\"a\":1,\"\\u0061\":2\}")) {
case Ok(_) => io.writeLine("accepted")
case Err(error) => io.writeLine("{error.line},{error.column}")
}

기대 출력종료 코드 0

1,8

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

1,8

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

Decode surrogate pairs and reject malformed JSON spellings

링크

run · running · 검증 · 미실행

main.tpzDecode surrogate pairs and reject malformed JSON spellings플레이그라운드 열기 →

import std.json
import std.test
import std.io
let value = test.assertOk(json.parse("\"\\uD83D\\uDE00\""))
test.assertEq(test.assertSome(value.asString()), "😀")
for text in (["01", "+1", "1.", "1e", "NaN", "\"\\uD800\"", "\"\\uDC00\""]) {
match (json.parse(text)) {
case Ok(_) => io.writeLine("accepted")
case Err(_) => io.writeLine("invalid")
}
}

기대 출력종료 코드 0

invalid
invalid
invalid
invalid
invalid
invalid
invalid

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

invalid
invalid
invalid
invalid
invalid
invalid
invalid

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

Accept depth 128 and reject the next child

링크

run · running · 검증 · 미실행

main.tpzAccept depth 128 and reject the next child플레이그라운드 열기 →

import std.json
import std.io
let mut text = "0"
for level in (0 ..< 128) {
text = "[" + text + "]"
}
match (json.parse(text)) {
case Ok(_) => io.writeLine("depth 128 accepted")
case Err(_) => io.writeLine("depth 128 rejected")
}
match (json.parse("[" + text + "]")) {
case Ok(_) => io.writeLine("depth 129 accepted")
case Err(_) => io.writeLine("depth 129 rejected")
}

기대 출력종료 코드 0

depth 128 accepted
depth 129 rejected

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

depth 128 accepted
depth 129 rejected

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

문서 검색

std.json.parse

Declaration and parameters

사용 조건

수신자

매개변수 제약

결과

효과

실패

Result and effects

Parse a complete JSON document

Parse a complete JSON document

이유

Retain numbers beyond binary and integer precision

기대 결과

Locate the first invalid scalar and end of input

기대 결과

Reject a repeated decoded key at its opening quote

기대 결과

Decode surrogate pairs and reject malformed JSON spellings

기대 결과

Accept depth 128 and reject the next child

기대 결과

메뉴

Declaration and parameters

사용 조건

수신자

매개변수 제약

결과

효과

실패

Result and effects

Related entries

Parse a complete JSON document

Parse a complete JSON document

이유

Retain numbers beyond binary and integer precision

기대 결과

Locate the first invalid scalar and end of input

기대 결과

Reject a repeated decoded key at its opening quote

기대 결과

Decode surrogate pairs and reject malformed JSON spellings

기대 결과

Accept depth 128 and reject the next child

기대 결과