std.test.assertContains

assertContains(text: string, needle: string) -> ()

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

Declaration and parameters

사용 조건

기본 포함 · 미정

Import std.test in language mode 5.21.

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

수신자

해당 없음

매개변수 제약

추가 계약은 미정입니다.

assertNe(actual, expected) returns unit when ordinary value equality says the operands differ. It performs no string conversion before comparison.

The operands must have a common comparable type under the ordinary equality rules. Known noncomparable values produce TPZ5007 during checking. A comparison fault propagates with its own diagnostic.

assertContains(text, needle) returns unit when the exact needle occurs as a contiguous substring. Matching is case sensitive and preserves Unicode spelling. An empty needle succeeds even when the text is empty.

Arguments are evaluated once from left to right before testing the condition. Successful calls have no further side effects and print nothing.

A false assertion raises TPZ4007 at the assertion call. It returns no value and stops the current test before the next statement. Earlier argument side effects remain visible. Test runner handling of later test cases follows the test execution contract.

The inequality failure message uses the ordinary rendering of the shared value in this form.

assertNe failed: both values are `{value}`

The containment failure message includes the original text and needle in this form.

assertContains failed: `{text}` does not contain `{needle}`

These assertions add test failure reporting to ordinary equality and string containment. They do not define a separate comparison relation.

결과

추가 계약은 미정입니다.

The declared result type is ().

효과

미정

실패

미정

Result and effects

링크

Return unit when text contains the exact needle. An empty needle succeeds. A missing needle raises TPZ4007 with both strings.

링크

std.test →

Assert inequality and text containment

링크

규칙topaz.stdlib.contract.test-comparisons.rule

Assert inequality and text containment

assertNe(actual, expected) returns unit when ordinary value equality says the operands differ. It performs no string conversion before comparison.

The operands must have a common comparable type under the ordinary equality rules. Known noncomparable values produce TPZ5007 during checking. A comparison fault propagates with its own diagnostic.

Arguments are evaluated once from left to right before testing the condition. Successful calls have no further side effects and print nothing.

The inequality failure message uses the ordinary rendering of the shared value in this form.

assertNe failed: both values are `{value}`

The containment failure message includes the original text and needle in this form.

assertContains failed: `{text}` does not contain `{needle}`

These assertions add test failure reporting to ordinary equality and string containment. They do not define a separate comparison relation.

이유

Tests should disagree with a program value only when the same ordinary comparison disagrees. Silent success keeps output useful, and immediate failure prevents a false premise from affecting later assertions.

예제 Compare values and exact substrings →Evaluate each operand once in source order →Stop after equal operands fail assertNe →Keep substring matching case sensitive →Keep composed and decomposed spellings distinct →Reject values that ordinary equality cannot compare →Accept exact substrings and an empty needle →

진단 TPZ4007 →TPZ5007 →

Compare values and exact substrings

링크

run · running · 검증 · 미실행

main.tpzCompare values and exact substrings플레이그라운드 열기 →

import std.test
import std.io
test.assertNe([1, 2], [1, 3])
let present: Option<int> = Some(1)
let absent: Option<int> = None()
test.assertNe(present, absent)
test.assertContains("Topaz", "opa")
test.assertContains("é", "é")
test.assertContains("text", "")
test.assertContains("", "")
io.writeLine("comparisons passed")

기대 출력종료 코드 0

comparisons passed

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

comparisons passed

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

Evaluate each operand once in source order

링크

run · running · 검증 · 미실행

main.tpzEvaluate each operand once in source order플레이그라운드 열기 →

import std.test
import std.io
function operand(label: string, value: int) -> int {
io.writeLine(label)
return value
}
let result: () = test.assertNe(operand("actual", 3), operand("expected", 4))
io.writeLine("{result}")

기대 출력종료 코드 0

actual
expected
()

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

actual
expected
()

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

Stop after equal operands fail assertNe

링크

run · running · 검증 · 미실행

main.tpzStop after equal operands fail assertNe플레이그라운드 열기 →

import std.test
import std.io
function operand(label: string, value: int) -> int {
io.writeLine(label)
return value
}
test.assertNe(operand("actual", 7), operand("expected", 7))
io.writeLine("after")

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

actual
expected

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

기대 결과

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

TPZ4007 →
stdlib-assert-ne-equal at main.tpz:9:1

기대 표준 출력

actual
expected

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

Keep substring matching case sensitive

링크

run · running · 검증 · 미실행

main.tpzKeep substring matching case sensitive플레이그라운드 열기 →

import std.test
import std.io
io.writeLine("before")
test.assertContains("Topaz", "topaz")
io.writeLine("after")

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

before

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

기대 결과

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

TPZ4007 →
stdlib-assert-contains-case at main.tpz:5:1

기대 표준 출력

before

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

Keep composed and decomposed spellings distinct

링크

run · running · 검증 · 미실행

main.tpzKeep composed and decomposed spellings distinct플레이그라운드 열기 →

import std.test
import std.io
io.writeLine("before")
test.assertContains("é", "é")
io.writeLine("after")

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

before

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

기대 결과

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

TPZ4007 →
stdlib-assert-contains-spelling at main.tpz:5:1

기대 표준 출력

before

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

Reject values that ordinary equality cannot compare

링크

reject · checking · 검증 · 미실행

main.tpzReject values that ordinary equality cannot compare플레이그라운드 열기 →

import std.test
let value = () => 1
test.assertNe(value, value)

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

표준 출력 없음.

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

기대 결과

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

TPZ5007 →
stdlib-assert-ne-non-comparable at main.tpz:4:1

표준 출력 없음.

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

Accept exact substrings and an empty needle

링크

run · running · 검증 · 미실행

main.tpzAccept exact substrings and an empty needle플레이그라운드 열기 →

import std.test
import std.io
test.assertContains("Topaz", "opa")
test.assertContains("é", "é")
test.assertContains("text", "")
test.assertContains("", "")
io.writeLine("text contained")

기대 출력종료 코드 0

text contained

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

text contained

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

Diagnostics

링크

Assertion failed →

Value is not comparable or keyable →

문서 검색

std.test.assertContains

Declaration and parameters

사용 조건

수신자

매개변수 제약

결과

효과

실패

Result and effects

Assert inequality and text containment

Assert inequality and text containment

이유

Compare values and exact substrings

기대 결과

Evaluate each operand once in source order

기대 결과

Stop after equal operands fail assertNe

기대 결과

Keep substring matching case sensitive

기대 결과

Keep composed and decomposed spellings distinct

기대 결과

Reject values that ordinary equality cannot compare

기대 결과

Accept exact substrings and an empty needle

기대 결과

Diagnostics

메뉴

Declaration and parameters

사용 조건

수신자

매개변수 제약

결과

효과

실패

Result and effects

Related entries

Assert inequality and text containment

Assert inequality and text containment

이유

Compare values and exact substrings

기대 결과

Evaluate each operand once in source order

기대 결과

Stop after equal operands fail assertNe

기대 결과

Keep substring matching case sensitive

기대 결과

Keep composed and decomposed spellings distinct

기대 결과

Reject values that ordinary equality cannot compare

기대 결과

Accept exact substrings and an empty needle

기대 결과

Diagnostics