BigInt.parse

parse(text: string, radix: int) -> Option<BigInt>

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

Declaration and parameters

사용 조건

기본 포함 · 미정

Import std.bigint in language mode 5.21.

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

수신자

해당 없음

매개변수 제약

추가 계약은 미정입니다.

BigInt represents signed integers without a fixed bit width. Its text operations preserve the exact integer value and do not use a locale.

BigInt.parse takes a radix from 2 through 36. Text consists of an optional minus sign followed by at least one ASCII digit or lowercase ASCII letter. Letters a through z have digit values 10 through 35. Every digit must be smaller than the radix.

Leading zero digits are accepted. Negative zero produces the same zero value as 0. Parsing does not trim whitespace, accept a plus sign, accept uppercase letters, accept separators, or interpret a radix prefix. Characters are interpreted as ordinary digits of the supplied radix.

Valid text returns Some containing the exact integer. Empty text, a sign without digits, an invalid digit, any extra character, or a radix outside the allowed range returns None(). These input failures do not raise a runtime fault.

BigInt.toString takes a radix from 2 through 36 and returns lowercase ASCII digits in that radix. A negative nonzero value starts with a minus sign. The output has no radix prefix or leading zero digits. Zero is written as 0.

An invalid BigInt.toString radix raises TPZ5001 during execution. It does not select a default radix or return empty text.

Formatting a value and parsing the result with the same radix recovers that value. Parsing and formatting accepted text produces its canonical spelling in the selected radix.

The receiver and positional arguments are evaluated once in source order before the operation validates their values. An earlier fault prevents later evaluation. The operations do not change their inputs or perform external effects.

결과

추가 계약은 미정입니다.

The declared result type is Option<BigInt>.

효과

미정

실패

미정

Result and effects

링크

Radices from 2 through 36 interpret every ASCII digit. Invalid spelling or radix returns None without changing the input.

Resolved contracts

링크

std.bigint →

Read and write integers in an explicit radix

링크

규칙topaz.stdlib.contract.bigint-text.rule

Read and write integers in an explicit radix

BigInt represents signed integers without a fixed bit width. Its text operations preserve the exact integer value and do not use a locale.

An invalid BigInt.toString radix raises TPZ5001 during execution. It does not select a default radix or return empty text.

Formatting a value and parsing the result with the same radix recovers that value. Parsing and formatting accepted text produces its canonical spelling in the selected radix.

이유

An explicit radix gives each digit one value. Strict input spelling makes accidental whitespace and alternate signs visible to the caller. Canonical output gives stored integer text a predictable form without a locale dependency.

예제 Parse and format exact integers in explicit radices →Return None for malformed or out of radix digits →Reject parse radices outside two through thirty six →Reject surrounding whitespace in integer text →Reject a leading plus sign in integer text →Reject uppercase letters in integer text →Evaluate parse arguments before validating their values →Reject a formatting radix outside the valid range →Reject a formatting radix outside the valid range →

진단 TPZ5001 →

Parse and format exact integers in explicit radices

링크

run · running · 검증 · 미실행

main.tpzParse and format exact integers in explicit radices플레이그라운드 열기 →

import std.bigint { BigInt }
import std.test
import std.io
let number = test.assertSome(BigInt.parse("ff", 16))
io.writeLine(number.toString(2))
io.writeLine(number.toString(10))
io.writeLine(number.toString(16))
io.writeLine(test.assertSome(BigInt.parse("z", 36)).toString(10))
io.writeLine(test.assertSome(BigInt.parse("-00015", 10)).toString(16))
io.writeLine(test.assertSome(BigInt.parse("-000", 10)).toString(36))
io.writeLine(test.assertSome(BigInt.parse("123456789012345678901234567890", 10)).toString(10))

기대 출력종료 코드 0

11111111
255
ff
35
-f
0
123456789012345678901234567890

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

11111111
255
ff
35
-f
0
123456789012345678901234567890

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

Return None for malformed or out of radix digits

링크

run · running · 검증 · 미실행

main.tpzReturn None for malformed or out of radix digits플레이그라운드 열기 →

import std.bigint { BigInt }
import std.io
for text in (["", "-", "1_0", "0x10", "g", "１２", "1\n2"]) {
match (BigInt.parse(text, 16)) {
case None() => io.writeLine("rejected")
case Some(_) => io.writeLine("accepted")
}
}
match (BigInt.parse("2", 2)) {
case None() => io.writeLine("digit rejected")
case Some(_) => io.writeLine("accepted")
}

기대 출력종료 코드 0

rejected
rejected
rejected
rejected
rejected
rejected
rejected
digit rejected

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

rejected
rejected
rejected
rejected
rejected
rejected
rejected
digit rejected

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

Reject parse radices outside two through thirty six

링크

run · running · 검증 · 미실행

main.tpzReject parse radices outside two through thirty six플레이그라운드 열기 →

import std.bigint { BigInt }
import std.io
for radix in ([-1, 0, 1, 37, 9223372036854775807]) {
match (BigInt.parse("10", radix)) {
case None() => io.writeLine("radix rejected")
case Some(_) => io.writeLine("accepted")
}
}

기대 출력종료 코드 0

radix rejected
radix rejected
radix rejected
radix rejected
radix rejected

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

radix rejected
radix rejected
radix rejected
radix rejected
radix rejected

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

Reject surrounding whitespace in integer text

링크

run · running · 검증 · 미실행

main.tpzReject surrounding whitespace in integer text플레이그라운드 열기 →

import std.bigint { BigInt }
import std.io
match (BigInt.parse(" 10 ", 10)) {
case None() => io.writeLine("whitespace rejected")
case Some(_) => io.writeLine("accepted")
}

기대 출력종료 코드 0

whitespace rejected

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

whitespace rejected

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

Reject a leading plus sign in integer text

링크

run · running · 검증 · 미실행

main.tpzReject a leading plus sign in integer text플레이그라운드 열기 →

import std.bigint { BigInt }
import std.io
match (BigInt.parse("+10", 10)) {
case None() => io.writeLine("plus rejected")
case Some(_) => io.writeLine("accepted")
}

기대 출력종료 코드 0

plus rejected

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

plus rejected

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

Reject uppercase letters in integer text

링크

run · running · 검증 · 미실행

main.tpzReject uppercase letters in integer text플레이그라운드 열기 →

import std.bigint { BigInt }
import std.io
match (BigInt.parse("FF", 16)) {
case None() => io.writeLine("uppercase rejected")
case Some(_) => io.writeLine("accepted")
}

기대 출력종료 코드 0

uppercase rejected

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

uppercase rejected

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

Evaluate parse arguments before validating their values

링크

run · running · 검증 · 미실행

main.tpzEvaluate parse arguments before validating their values플레이그라운드 열기 →

import std.bigint { BigInt }
import std.io
function text() -> string {
io.writeLine("text")
return "bad"
}
function radix() -> int {
io.writeLine("radix")
return 10
}
match (BigInt.parse(text(), radix())) {
case None() => io.writeLine("rejected")
case Some(_) => io.writeLine("accepted")
}

기대 출력종료 코드 0

text
radix
rejected

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

text
radix
rejected

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

Reject a formatting radix outside the valid range

링크

run · running · 검증 · 미실행

main.tpzReject a formatting radix outside the valid range플레이그라운드 열기 →

import std.bigint { BigInt }
import std.test
import std.io
let number: BigInt = test.assertSome(BigInt.parse("1", 10))
number.toString(1)
io.writeLine("after")

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

표준 출력 없음.

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

기대 결과

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

TPZ5001 →
stdlib-bigint-radix at main.tpz:5:1

표준 출력 없음.

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

Reject a formatting radix outside the valid range

링크

run · running · 검증 · 미실행

main.tpzReject a formatting radix outside the valid range플레이그라운드 열기 →

import std.bigint { BigInt }
import std.test
import std.io
let number: BigInt = test.assertSome(BigInt.parse("1", 10))
number.toString(37)
io.writeLine("after")

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

표준 출력 없음.

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

기대 결과

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

TPZ5001 →
stdlib-bigint-radix at main.tpz:5:1

표준 출력 없음.

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

Diagnostics

링크

Runtime value guard →

문서 검색

BigInt.parse

Declaration and parameters

사용 조건

수신자

매개변수 제약

결과

효과

실패

Result and effects

Resolved contracts

Read and write integers in an explicit radix

Read and write integers in an explicit radix

이유

Parse and format exact integers in explicit radices

기대 결과

Return None for malformed or out of radix digits

기대 결과

Reject parse radices outside two through thirty six

기대 결과

Reject surrounding whitespace in integer text

기대 결과

Reject a leading plus sign in integer text

기대 결과

Reject uppercase letters in integer text

기대 결과

Evaluate parse arguments before validating their values

기대 결과

Reject a formatting radix outside the valid range

기대 결과

Reject a formatting radix outside the valid range

기대 결과

Diagnostics

메뉴

Declaration and parameters

사용 조건

수신자

매개변수 제약

결과

효과

실패

Result and effects

Resolved contracts

Related entries

Read and write integers in an explicit radix

Read and write integers in an explicit radix

이유

Parse and format exact integers in explicit radices

기대 결과

Return None for malformed or out of radix digits

기대 결과

Reject parse radices outside two through thirty six

기대 결과

Reject surrounding whitespace in integer text

기대 결과

Reject a leading plus sign in integer text

기대 결과

Reject uppercase letters in integer text

기대 결과

Evaluate parse arguments before validating their values

기대 결과

Reject a formatting radix outside the valid range

기대 결과

Reject a formatting radix outside the valid range

기대 결과

Diagnostics