std.typeset.lineBadness

lineBadness(width: Length<Pt>, target: Length<Pt>, charCount: int, spaces: int, kind: BreakKind, isLast: bool, justificationB: int, hyphenAdvance: Length<Pt>) -> Result<int, TypesetError>

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

Declaration and parameters

링크

사용 조건

기본 포함 · 미정

Import std.typeset in language mode 5.21.

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

수신자

해당 없음

매개변수 제약

추가 계약은 미정입니다.

Public measurement fields use Length<Pt>. Widths, advances, tracking, stretch, shrink, physical targets, insets, font sizes, and optional width limits keep that type across input and output records. Explicit Length conversion functions remain the integer interchange boundary.

Box.width, Box.trackingAfter, Glue.width, Glue.trackingAfter, Glue.stretch, Glue.shrink, and Penalty.width have type Length<Pt>.

BreakCluster.advance, BreakCluster.trackingAfter, BreakPolicy.narrowestWordTarget, and BreakPolicy.bodyWordTarget have type Length<Pt>.

LatinSpacing.fontSizePt, JustificationPolicy.maxAdjustment, and JustificationPolicy.maxGapAdjustment have type Length<Pt>.

LineGeometry.bodyTarget, LineGeometry.firstTarget, and LineGeometry.dropCapInset have type Length<Pt>.

PlanLine.target, PlanLine.rawTextWidth, PlanLine.trimmedTextWidth, PlanLine.costTextWidth, and PlanLine.selectedPenaltyWidth have type Length<Pt>. PlanLine.postValidationWidthLimit has type Option<Length<Pt>>.

An int, a float, or a Length with another unit marker is not an implicit point-length argument. Convert physical units explicitly with toPt() before constructing a typesetting record.

Indices, counts, penalties, costs, and dimensionless ratios retain their declared types. LatinSpacing.maxLetterSpacingEm is a relative Length<Em>. Resolve it to Length<Pt> with fontSizePt before selecting the computation grid.

Paragraph.grid selects quantization at the computation boundary. ScaledPoint uses the exact scaled-point integer. MilliPoint uses the existing nearest-even conversion to millipoints. The selected grid never changes the physical interpretation of a public Length<Pt> value.

Returned distances are converted from the computation grid into Length<Pt> at the output boundary. ParagraphPlan.grid reports the computation policy and is not needed to interpret its distances.

The public type change preserves the selected cost model. FixedPoint retains its MilliPoint computation requirement. Word-space and CJK ratio calculations keep their independent floor rules. The relative letter-spacing distance is resolved and quantized through the shared Length conversions before it contributes to capacity.

The public line-badness entry point also receives width, target, and hyphen advance as Length<Pt>. It converts those distances to millipoints at entry and preserves its existing integer cost calculation.

lineBadness(width: Length<Pt>, target: Length<Pt>, charCount: int, spaces: int, kind: BreakKind, isLast: bool, justificationB: int, hyphenAdvance: Length<Pt>) -> Result<int, TypesetError> is the public entry point. lineBadnessMpt is absent and importing it is rejected with TPZ3009.

The three distances require Length<Pt>. A raw scalar or another unit marker is rejected with TPZ5001. Width and hyphen advance may be negative. justificationB accepts every int and can make the resulting cost negative.

Evaluate all eight argument expressions once in source order before entering the function. Convert width, target, and hyphenAdvance to millipoints in that order with the shared nearest-even rule.

The converted target must be positive. charCount and spaces must each be nonnegative and need not satisfy a relation to each other. Invalid inputs return Err containing TypesetError.InvalidInput before cost arithmetic. The explanatory message text is not fixed.

Let w, t, and h be the converted distances, c the character count, s the space count, and j the supplied justification cost. Let B be 1,000,000 and R be 100,000,000.

For a nonnegative n and positive d, H gives n divided by d rounded to the nearest integer with ties upward. H describes cost rounding. Physical Length conversion keeps its separate nearest-even rule.

The following sequence uses checked int operations in the stated order. A failing intermediate operation stops with runtime diagnostic TPZ4004. It does not return TypesetError or replace overflow with a bounded cost.

Set effective to w + h for LatinSoftHyphen and to w for every other kind. Set slack to t - effective and absolute to the absolute value of slack.

Set raw to 4 R when absolute is at least 4 t. Otherwise set raw to absolute * R / t with integer division. This explicit ratio cap does not change a supplied length.

Set capacity to 100 + s * 45 when slack is nonnegative and to 100 + s * 25 otherwise. Set ratio = H(raw * 100, capacity), then q = H(ratio * ratio, R), then cost = H(q * (1000 * B), R).

If isLast is true, replace cost with H(cost * 2, 5). Add 500 B when isLast is true and `w 100 < t * 52`. The strict comparison uses the original converted width and also applies when charCount is zero.

If slack is negative, add 20000 * B + H(20000 * B * ratio, R). Add 65 B for LatinHyphen or LatinSoftHyphen. Add 50000 B for HardFallback. The other break kinds add no break penalty.

If c is at most two, add 275 B. Then add 10 B and j in that order and return the result in Ok. The hyphenAdvance input affects width for LatinSoftHyphen and is ignored for the other kinds.

An exact fit with more than two characters, no special break penalty, and zero justification cost returns 10000000. The documented 90 point line against a 100 point target with nine characters and two spaces returns 12770080.

The function performs no I/O, changes no input, and reads no font, paragraph, or global grid state. Effects from argument evaluation remain visible on InvalidInput or a later arithmetic fault.

An arithmetic fault identifies the public lineBadness call as its primary source location. Argument effects already performed remain visible and later expressions do not run.

결과

추가 계약은 미정입니다.

The declared result type is Result<int, TypesetError>.

효과

미정

실패

미정

Result and effects

링크

Convert the three point distances to nearest-even millipoints and compute the specified checked fixed-point cost. A nonpositive converted target or negative count returns TypesetError.InvalidInput. Arithmetic overflow raises TPZ4004.

Why

링크

A function name describes the computation while Length<Pt> carries its physical unit. One typed entry point avoids a second millipoint API for the same line-badness calculation.

링크

std.typeset →

Give public typesetting distances a point-length type

링크

규칙topaz.stdlib.contract.typeset-length-pt.rule

Give public typesetting distances a point-length type

Box.width, Box.trackingAfter, Glue.width, Glue.trackingAfter, Glue.stretch, Glue.shrink, and Penalty.width have type Length<Pt>.

BreakCluster.advance, BreakCluster.trackingAfter, BreakPolicy.narrowestWordTarget, and BreakPolicy.bodyWordTarget have type Length<Pt>.

LatinSpacing.fontSizePt, JustificationPolicy.maxAdjustment, and JustificationPolicy.maxGapAdjustment have type Length<Pt>.

LineGeometry.bodyTarget, LineGeometry.firstTarget, and LineGeometry.dropCapInset have type Length<Pt>.

An int, a float, or a Length with another unit marker is not an implicit point-length argument. Convert physical units explicitly with toPt() before constructing a typesetting record.

Returned distances are converted from the computation grid into Length<Pt> at the output boundary. ParagraphPlan.grid reports the computation policy and is not needed to interpret its distances.

이유

A physical distance carries the same Length<Pt> type in application geometry and paragraph planning. The type prevents a grid selector or an unlabelled scalar from silently changing the distance.

진단 TPZ5001 →

Use point lengths in Box

링크

check · checking · 검증 · 미실행

main.tpzUse point lengths in Box플레이그라운드 열기 →

import std.typeset as ts
let value: ts.Box = ts.Box {
unitIndex: 0,
text: "A",
width: 12pt,
trackingAfter: 0pt
}
let distance: Length<Pt> = value.width

기대 출력종료 코드 0

표준 출력 없음.

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

기대 결과

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

표준 오류 출력 없음.

표준 출력 없음.

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

Reject untyped physical distances in Box

링크

reject · checking · 검증 · 미실행

main.tpzReject untyped physical distances in Box플레이그라운드 열기 →

import std.typeset as ts
let value: ts.Box = ts.Box {
unitIndex: 0,
text: "A",
width: 12,
trackingAfter: 0
}

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

표준 출력 없음.

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

기대 결과

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

TPZ5001 →
stdlib-physical-distance-requires-points at main.tpz:5:10

표준 출력 없음.

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

Use point lengths in Glue

링크

check · checking · 검증 · 미실행

main.tpzUse point lengths in Glue플레이그라운드 열기 →

import std.typeset as ts
let value: ts.Glue = ts.Glue {
unitIndex: 1,
text: " ",
width: 3pt,
trackingAfter: 0pt,
stretch: 1pt,
shrink: 1pt
}
let distance: Length<Pt> = value.width

기대 출력종료 코드 0

표준 출력 없음.

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

기대 결과

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

표준 오류 출력 없음.

표준 출력 없음.

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

Reject untyped physical distances in Glue

링크

reject · checking · 검증 · 미실행

main.tpzReject untyped physical distances in Glue플레이그라운드 열기 →

import std.typeset as ts
let value: ts.Glue = ts.Glue {
unitIndex: 1,
text: " ",
width: 3,
trackingAfter: 0,
stretch: 1,
shrink: 1
}

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

표준 출력 없음.

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

기대 결과

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

TPZ5001 →
stdlib-physical-distance-requires-points at main.tpz:5:10

표준 출력 없음.

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

Use point lengths in Penalty

링크

check · checking · 검증 · 미실행

main.tpzUse point lengths in Penalty플레이그라운드 열기 →

import std.typeset as ts
let value: ts.Penalty = ts.Penalty {
unitEnd: 1,
width: 0pt,
rule: ts.BreakRule.Forced(),
kind: ts.BreakKind.ForcedEnd(),
flagged: false
}
let distance: Length<Pt> = value.width

기대 출력종료 코드 0

표준 출력 없음.

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

기대 결과

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

표준 오류 출력 없음.

표준 출력 없음.

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

Reject untyped physical distances in Penalty

링크

reject · checking · 검증 · 미실행

main.tpzReject untyped physical distances in Penalty플레이그라운드 열기 →

import std.typeset as ts
let value: ts.Penalty = ts.Penalty {
unitEnd: 1,
width: 0,
rule: ts.BreakRule.Forced(),
kind: ts.BreakKind.ForcedEnd(),
flagged: false
}

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

표준 출력 없음.

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

기대 결과

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

TPZ5001 →
stdlib-physical-distance-requires-points at main.tpz:4:10

표준 출력 없음.

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

Use point lengths in BreakPolicy

링크

check · checking · 검증 · 미실행

main.tpzUse point lengths in BreakPolicy플레이그라운드 열기 →

import std.typeset as ts
let value: ts.BreakPolicy = ts.BreakPolicy {
mode: ts.BreakMode.Character(),
rules: ts.KinsokuRules.Unicode16Ja(),
forbidBefore: [],
forbidAfter: [],
boundaryAllowed: [true],
generatedHyphenEnds: [],
protectFittingLatin: true,
preserveShortWords: true,
narrowestWordTarget: 12pt,
bodyWordTarget: 24pt
}
let distance: Length<Pt> = value.narrowestWordTarget

기대 출력종료 코드 0

표준 출력 없음.

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

기대 결과

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

표준 오류 출력 없음.

표준 출력 없음.

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

Reject untyped physical distances in BreakPolicy

링크

reject · checking · 검증 · 미실행

main.tpzReject untyped physical distances in BreakPolicy플레이그라운드 열기 →

import std.typeset as ts
let value: ts.BreakPolicy = ts.BreakPolicy {
mode: ts.BreakMode.Character(),
rules: ts.KinsokuRules.Unicode16Ja(),
forbidBefore: [],
forbidAfter: [],
boundaryAllowed: [true],
generatedHyphenEnds: [],
protectFittingLatin: true,
preserveShortWords: true,
narrowestWordTarget: 12,
bodyWordTarget: 24
}

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

표준 출력 없음.

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

기대 결과

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

TPZ5001 →
stdlib-physical-distance-requires-points at main.tpz:11:24

표준 출력 없음.

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

Use point lengths in BreakCluster

링크

check · checking · 검증 · 미실행

main.tpzUse point lengths in BreakCluster플레이그라운드 열기 →

import std.typeset as ts
let value: ts.BreakCluster = ts.BreakCluster {
text: "A",
advance: 12pt,
trackingAfter: 0pt
}
let distance: Length<Pt> = value.advance

기대 출력종료 코드 0

표준 출력 없음.

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

기대 결과

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

표준 오류 출력 없음.

표준 출력 없음.

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

Reject untyped physical distances in BreakCluster

링크

reject · checking · 검증 · 미실행

main.tpzReject untyped physical distances in BreakCluster플레이그라운드 열기 →

import std.typeset as ts
let value: ts.BreakCluster = ts.BreakCluster {
text: "A",
advance: 12,
trackingAfter: 0
}

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

표준 출력 없음.

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

기대 결과

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

TPZ5001 →
stdlib-physical-distance-requires-points at main.tpz:4:12

표준 출력 없음.

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

Use point lengths in LatinSpacing

링크

check · checking · 검증 · 미실행

main.tpzUse point lengths in LatinSpacing플레이그라운드 열기 →

import std.typeset as ts
let value: ts.LatinSpacing = ts.LatinSpacing {
minWordSpaceRatio: 0.8,
maxWordSpaceRatio: 1.33,
maxLetterSpacingEm: 0.01em,
fontSizePt: 12pt
}
let distance: Length<Pt> = value.fontSizePt

기대 출력종료 코드 0

표준 출력 없음.

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

기대 결과

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

표준 오류 출력 없음.

표준 출력 없음.

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

Reject untyped physical distances in LatinSpacing

링크

reject · checking · 검증 · 미실행

main.tpzReject untyped physical distances in LatinSpacing플레이그라운드 열기 →

import std.typeset as ts
let value: ts.LatinSpacing = ts.LatinSpacing {
minWordSpaceRatio: 0.8,
maxWordSpaceRatio: 1.33,
maxLetterSpacingEm: 0.01em,
fontSizePt: 12.0
}

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

표준 출력 없음.

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

기대 결과

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

TPZ5001 →
stdlib-physical-distance-requires-points at main.tpz:6:15

표준 출력 없음.

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

Use point lengths in JustificationPolicy

링크

check · checking · 검증 · 미실행

main.tpzUse point lengths in JustificationPolicy플레이그라운드 열기 →

import std.typeset as ts
let value: ts.JustificationPolicy = ts.JustificationPolicy {
mode: ts.JustificationMode.Unjustified(),
minGapCount: 0,
minLineWidthRatioM: 0,
minFinalLineWidthRatioM: None(),
maxAdjustment: 12pt,
maxGapAdjustment: 3pt,
maxGapRatioR: 0,
latinSpacing: None(),
cjkStretchRatio: 0.0
}
let distance: Length<Pt> = value.maxAdjustment

기대 출력종료 코드 0

표준 출력 없음.

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

기대 결과

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

표준 오류 출력 없음.

표준 출력 없음.

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

Reject untyped physical distances in JustificationPolicy

링크

reject · checking · 검증 · 미실행

main.tpzReject untyped physical distances in JustificationPolicy플레이그라운드 열기 →

import std.typeset as ts
let value: ts.JustificationPolicy = ts.JustificationPolicy {
mode: ts.JustificationMode.Unjustified(),
minGapCount: 0,
minLineWidthRatioM: 0,
minFinalLineWidthRatioM: None(),
maxAdjustment: 12,
maxGapAdjustment: 3,
maxGapRatioR: 0,
latinSpacing: None(),
cjkStretchRatio: 0.0
}

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

표준 출력 없음.

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

기대 결과

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

TPZ5001 →
stdlib-physical-distance-requires-points at main.tpz:7:18

표준 출력 없음.

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

Use point lengths in LineGeometry

링크

check · checking · 검증 · 미실행

main.tpzUse point lengths in LineGeometry플레이그라운드 열기 →

import std.typeset as ts
let value: ts.LineGeometry = ts.LineGeometry {
bodyTarget: 24pt,
firstTarget: 20pt,
dropCapSpan: 0,
dropCapInset: 0pt
}
let distance: Length<Pt> = value.bodyTarget

기대 출력종료 코드 0

표준 출력 없음.

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

기대 결과

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

표준 오류 출력 없음.

표준 출력 없음.

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

Reject untyped physical distances in LineGeometry

링크

reject · checking · 검증 · 미실행

main.tpzReject untyped physical distances in LineGeometry플레이그라운드 열기 →

import std.typeset as ts
let value: ts.LineGeometry = ts.LineGeometry {
bodyTarget: 24,
firstTarget: 20,
dropCapSpan: 0,
dropCapInset: 0
}

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

표준 출력 없음.

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

기대 결과

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

TPZ5001 →
stdlib-physical-distance-requires-points at main.tpz:3:15

표준 출력 없음.

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

Use point lengths in PlanLine

링크

check · checking · 검증 · 미실행

main.tpzUse point lengths in PlanLine플레이그라운드 열기 →

import std.typeset as ts
let value: ts.PlanLine = ts.PlanLine {
start: 0,
endExclusive: 1,
trimmedEndExclusive: 1,
displayTextScalarLength: 1,
kind: ts.BreakKind.ForcedEnd(),
target: 12pt,
rawTextWidth: 10pt,
trimmedTextWidth: 10pt,
costTextWidth: 10pt,
selectedPenaltyWidth: 0pt,
postValidationWidthLimit: Some(13pt),
cost: 0,
adjustmentRatioR: 0
}
let distance: Length<Pt> = value.target
let limit: Option<Length<Pt>> = value.postValidationWidthLimit

기대 출력종료 코드 0

표준 출력 없음.

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

기대 결과

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

표준 오류 출력 없음.

표준 출력 없음.

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

Reject untyped physical distances in PlanLine

링크

reject · checking · 검증 · 미실행

main.tpzReject untyped physical distances in PlanLine플레이그라운드 열기 →

import std.typeset as ts
let value: ts.PlanLine = ts.PlanLine {
start: 0,
endExclusive: 1,
trimmedEndExclusive: 1,
displayTextScalarLength: 1,
kind: ts.BreakKind.ForcedEnd(),
target: 12,
rawTextWidth: 10,
trimmedTextWidth: 10,
costTextWidth: 10,
selectedPenaltyWidth: 0,
postValidationWidthLimit: Some(13),
cost: 0,
adjustmentRatioR: 0
}

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

표준 출력 없음.

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

기대 결과

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

TPZ5001 →
stdlib-physical-distance-requires-points at main.tpz:8:11

표준 출력 없음.

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

Pass typed distances to the line-cost function

링크

check · checking · 검증 · 미실행

main.tpzPass typed distances to the line-cost function플레이그라운드 열기 →

import std.typeset as ts
let value = ts.lineBadness(20pt, 20pt, 4, 1, ts.BreakKind.ForcedEnd(), false, 0, 0pt)

기대 출력종료 코드 0

표준 출력 없음.

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

기대 결과

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

표준 오류 출력 없음.

표준 출력 없음.

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

Reject raw distances at the line-cost boundary

링크

reject · checking · 검증 · 미실행

main.tpzReject raw distances at the line-cost boundary플레이그라운드 열기 →

import std.typeset as ts
let value = ts.lineBadness(20, 20, 4, 1, ts.BreakKind.ForcedEnd(), false, 0, 0)

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

표준 출력 없음.

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

기대 결과

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

TPZ5001 →
stdlib-physical-distance-requires-points at main.tpz:2:28

표준 출력 없음.

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

Diagnostics

링크

TPZ5001 →

Compute fixed-point line badness from point lengths

링크

규칙topaz.stdlib.contract.line-badness.rule