본문으로 건너뛰기
토파즈6.0 · 출시 전
다운로드 →

문서 검색

명세 6.0

방향키로 결과를 고르고 Enter를 눌러 여세요.

API 이름, 진단 번호, 규칙 또는 프로젝트 주제를 입력하세요.

    진단 TPZ5720

    A labeled break or continue names a loop label that is not in scope.

    Diagnostic and cause

    링크

    Unknown loop label

    계열
    topaz
    단계
    check
    코드
    TPZ5720

    원인과 조건

    A labeled break must name an enclosing loop that is active at the statement. Breaking to an absent label is rejected with TPZ5720 at the break statement.

    대응

    Declare the intended label immediately after loop, or use the label of an enclosing loop. The repaired program declares the label used by its break.

    Compiler phase: check.

    Compiler explanation: A labeled break or continue names a loop label that is not in scope.

    Message templates. The marker ⟨value⟩ stands for text computed for the reported program.

    • no loop labeled '⟨value⟩ in scope Source

    Observed for the candidate in Topaz 5.21.3. Execution

    • error[TPZ5720]: no loop labeled 'missing in scope

    A labeled break must name an enclosing loop that is active at the statement. Breaking to an absent label is rejected with TPZ5720 at the break statement.

    규칙diagnostics.tpz5720.p5.rule

    Labeled break needs an enclosing loop

    A labeled break must name an enclosing loop that is active at the statement. Breaking to an absent label is rejected with TPZ5720 at the break statement.

    Response

    링크

    Declare the intended label immediately after loop, or use the label of an enclosing loop. The repaired program declares the label used by its break.

    Reproduction and verification

    링크

    Rejected program

    링크
    example.tpzRejected program플레이그라운드 열기 →
    1. loop {
    2. break 'missing
    3. }
    기대 출력0이 아닌 종료 코드
    표준 출력 없음.
    $ topaz check example.tpz · 대상 제품 5.21.3
    기대 결과

    기대 결과

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

    Repaired program

    링크
    example.tpzRepaired program
    1. loop 'missing {
    2. break 'missing
    3. }
    기대 출력종료 코드 0
    $ topaz check example.tpz · 대상 제품 5.21.3
    기대 결과

    기대 결과

    검사가 프로그램을 받아들입니다. 종료 코드 0.

    메뉴

    다운로드 →