Glue.width | Topaz

Glue.width: Length<Pt>

모듈: std.typeset →
수신자: Glue
최소 인자 수: 0
최대 인자 수: 0

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.

수신자

Glue

매개변수 제약

추가 계약은 미정입니다.

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.

Item.BoxItem, Item.GlueItem, and Item.PenaltyItem preserve their record payloads. Constructing these records and variants does not plan a paragraph or validate its measurements.

BoxItem and GlueItem contribute one measured unit each in their encounter order. Their unitIndex fields must be exactly zero through the unit count minus one. PenaltyItem contributes a boundary without consuming a unit index.

Box.text and Glue.text retain the supplied string, including empty text and multiple Unicode scalars. A measured unit remains indivisible. Unit indices count these records rather than bytes, scalars, or grapheme clusters.

Box.width and Glue.width include trackingAfter. Width and width minus trackingAfter must both be nonnegative. Tracking may be positive, zero, or negative while those two conditions hold.

Each width, tracking amount, stretch, and shrink is a Length<Pt>. Paragraph planning quantizes it through the selected grid. A line span sums its unit widths and removes the final unit's trackingAfter.

Glue.stretch and Glue.shrink are nonnegative adjustment capacities. A box supplies zero capacity. The selected cost and justification policies determine how capacities participate in planning.

Positive capacity does not itself insert text or change the input records. Unjustified planning performs no distributed adjustment. Text trimming and model-specific glue treatment follow the PlanLine and paragraph contracts.

breakParagraph returns InvalidInput for a noncontiguous unitIndex, a negative width or capacity, or a negative width before tracking. Validation applies even when a later candidate would discard that unit.

The function uses the supplied measurements without shaping the text again. It does not reorder or mutate the caller's item array or its records.

결과

추가 계약은 미정입니다.

The declared result type is Length<Pt>.

효과

미정

실패

미정

Result and effects

링크

Select this field from a value of its named type without call parentheses.

The width and width minus trackingAfter must be nonnegative.

Why

링크

The record keeps source identity, measured geometry, and boundary policy explicit at the paragraph planning call.

링크

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 →

Preserve measured units and validate their physical extents

링크

규칙topaz.stdlib.contract.typeset-measured-items.rule

Preserve measured units and validate their physical extents

Item.BoxItem, Item.GlueItem, and Item.PenaltyItem preserve their record payloads. Constructing these records and variants does not plan a paragraph or validate its measurements.

Box.width and Glue.width include trackingAfter. Width and width minus trackingAfter must both be nonnegative. Tracking may be positive, zero, or negative while those two conditions hold.

Glue.stretch and Glue.shrink are nonnegative adjustment capacities. A box supplies zero capacity. The selected cost and justification policies determine how capacities participate in planning.

The function uses the supplied measurements without shaping the text again. It does not reorder or mutate the caller's item array or its records.

이유

Measured text already has a source order and physical advances. Preserving those units keeps line breaking compatible with shaping. Explicit tracking and capacities give every planner the same measured input.

예제 Keep measured units and signed tracking in source order →Keep a zero width unit with empty display text →Reject a gap in measured unit indices →Reject negative glue stretch and shrink →Reject negative widths and negative extents before tracking →

Keep measured units and signed tracking in source order

링크

run · running · 검증 · 미실행

main.tpzKeep measured units and signed tracking in source order플레이그라운드 열기 →

import std.typeset as ts
import std.io
let items: Array<ts.Item> = [
ts.Item.PenaltyItem(ts.Penalty { unitEnd: 3, width: 0pt, rule: ts.BreakRule.Forced(), kind: ts.BreakKind.ForcedEnd(), flagged: false }),
ts.Item.BoxItem(ts.Box { unitIndex: 0, text: "AB", width: 3pt, trackingAfter: 1pt }),
ts.Item.GlueItem(ts.Glue { unitIndex: 1, text: " ", width: 2pt, trackingAfter: 0.5pt, stretch: 1pt, shrink: 1pt }),
ts.Item.BoxItem(ts.Box { unitIndex: 2, text: "C", width: 4pt, trackingAfter: -1pt })
]
let input = ts.Paragraph {
grid: ts.DistanceGrid.MilliPoint(),
items: items,
geometry: ts.LineGeometry { bodyTarget: 10pt, firstTarget: 10pt, dropCapSpan: 0, dropCapInset: 0pt },
justification: ts.JustificationPolicy {
mode: ts.JustificationMode.Unjustified(), minGapCount: 0,
minLineWidthRatioM: 0, minFinalLineWidthRatioM: None(),
maxAdjustment: 0pt, maxGapAdjustment: 0pt, maxGapRatioR: 0,
latinSpacing: None(), cjkStretchRatio: 0.0
},
costModel: ts.CostModel.FixedPoint(),
knuthPlass: ts.KnuthPlassPolicy { toleranceR: 100000000, linePenalty: 10, fitnessDemerit: 0, flaggedDemerit: 0, finalFlaggedDemerit: 0 }
}
match (ts.breakParagraph(input)) {
case Ok(result) => {
let line = result.optimized.lines[0]
io.writeLine("{line.start}:{line.endExclusive}:{line.displayTextScalarLength}")
io.writeLine("{line.rawTextWidth == 10pt}:{line.trimmedTextWidth == 10pt}")
io.writeLine("{items.length}")
match (items[0]) {
case PenaltyItem(_) => io.writeLine("penalty first")
case _ => io.writeLine("changed input")
}
}
case Err(_) => io.writeLine("unexpected error")
}

기대 출력종료 코드 0

0:3:4
true:true
4
penalty first

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

0:3:4
true:true
4
penalty first

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

Keep a zero width unit with empty display text

링크

run · running · 검증 · 미실행

main.tpzKeep a zero width unit with empty display text플레이그라운드 열기 →

import std.typeset as ts
import std.io
let items: Array<ts.Item> = [
ts.Item.BoxItem(ts.Box { unitIndex: 0, text: "", width: 0pt, trackingAfter: 0pt }),
ts.Item.PenaltyItem(ts.Penalty { unitEnd: 1, width: 0pt, rule: ts.BreakRule.Forced(), kind: ts.BreakKind.ForcedEnd(), flagged: false })
]
let input = ts.Paragraph {
grid: ts.DistanceGrid.MilliPoint(),
items: items,
geometry: ts.LineGeometry { bodyTarget: 1pt, firstTarget: 1pt, dropCapSpan: 0, dropCapInset: 0pt },
justification: ts.JustificationPolicy {
mode: ts.JustificationMode.Unjustified(), minGapCount: 0,
minLineWidthRatioM: 0, minFinalLineWidthRatioM: None(),
maxAdjustment: 0pt, maxGapAdjustment: 0pt, maxGapRatioR: 0,
latinSpacing: None(), cjkStretchRatio: 0.0
},
costModel: ts.CostModel.FixedPoint(),
knuthPlass: ts.KnuthPlassPolicy { toleranceR: 100000000, linePenalty: 10, fitnessDemerit: 0, flaggedDemerit: 0, finalFlaggedDemerit: 0 }
}
match (ts.breakParagraph(input)) {
case Ok(result) => {
let line = result.optimized.lines[0]
io.writeLine("{line.endExclusive}:{line.displayTextScalarLength}:{line.rawTextWidth == 0pt}")
}
case Err(_) => io.writeLine("unexpected error")
}

기대 출력종료 코드 0

1:0:true

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

1:0:true

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

Reject a gap in measured unit indices

링크

run · running · 검증 · 미실행

main.tpzReject a gap in measured unit indices플레이그라운드 열기 →

import std.typeset as ts
import std.io
let items: Array<ts.Item> = [
ts.Item.BoxItem(ts.Box { unitIndex: 1, text: "a", width: 1pt, trackingAfter: 0pt }),
ts.Item.PenaltyItem(ts.Penalty { unitEnd: 1, width: 0pt, rule: ts.BreakRule.Forced(), kind: ts.BreakKind.ForcedEnd(), flagged: false })
]
let input = ts.Paragraph {
grid: ts.DistanceGrid.MilliPoint(),
items: items,
geometry: ts.LineGeometry { bodyTarget: 10pt, firstTarget: 10pt, dropCapSpan: 0, dropCapInset: 0pt },
justification: ts.JustificationPolicy {
mode: ts.JustificationMode.Unjustified(), minGapCount: 0,
minLineWidthRatioM: 0, minFinalLineWidthRatioM: None(),
maxAdjustment: 0pt, maxGapAdjustment: 0pt, maxGapRatioR: 0,
latinSpacing: None(), cjkStretchRatio: 0.0
},
costModel: ts.CostModel.FixedPoint(),
knuthPlass: ts.KnuthPlassPolicy { toleranceR: 100000000, linePenalty: 10, fitnessDemerit: 0, flaggedDemerit: 0, finalFlaggedDemerit: 0 }
}
match (ts.breakParagraph(input)) {
case Err(InvalidInput(_)) => io.writeLine("InvalidInput")
case _ => io.writeLine("unexpected result")
}

기대 출력종료 코드 0

InvalidInput

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

InvalidInput

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

Reject negative glue stretch and shrink

링크

run · running · 검증 · 미실행

main.tpzReject negative glue stretch and shrink플레이그라운드 열기 →

import std.typeset as ts
import std.io
function report(items: Array<ts.Item>) -> () {
let input = ts.Paragraph {
grid: ts.DistanceGrid.MilliPoint(),
items: items,
geometry: ts.LineGeometry { bodyTarget: 10pt, firstTarget: 10pt, dropCapSpan: 0, dropCapInset: 0pt },
justification: ts.JustificationPolicy {
mode: ts.JustificationMode.Unjustified(), minGapCount: 0,
minLineWidthRatioM: 0, minFinalLineWidthRatioM: None(),
maxAdjustment: 0pt, maxGapAdjustment: 0pt, maxGapRatioR: 0,
latinSpacing: None(), cjkStretchRatio: 0.0
},
costModel: ts.CostModel.FixedPoint(),
knuthPlass: ts.KnuthPlassPolicy { toleranceR: 100000000, linePenalty: 10, fitnessDemerit: 0, flaggedDemerit: 0, finalFlaggedDemerit: 0 }
}
match (ts.breakParagraph(input)) {
case Err(InvalidInput(_)) => io.writeLine("InvalidInput")
case _ => io.writeLine("unexpected result")
}
}
report([ts.Item.GlueItem(ts.Glue { unitIndex: 0, text: " ", width: 1pt, trackingAfter: 0pt, stretch: -1pt, shrink: 0pt }), ts.Item.PenaltyItem(ts.Penalty { unitEnd: 1, width: 0pt, rule: ts.BreakRule.Forced(), kind: ts.BreakKind.ForcedEnd(), flagged: false })])
report([ts.Item.GlueItem(ts.Glue { unitIndex: 0, text: " ", width: 1pt, trackingAfter: 0pt, stretch: 0pt, shrink: -1pt }), ts.Item.PenaltyItem(ts.Penalty { unitEnd: 1, width: 0pt, rule: ts.BreakRule.Forced(), kind: ts.BreakKind.ForcedEnd(), flagged: false })])

기대 출력종료 코드 0

InvalidInput
InvalidInput

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

InvalidInput
InvalidInput

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

Reject negative widths and negative extents before tracking

링크

run · running · 검증 · 미실행

main.tpzReject negative widths and negative extents before tracking플레이그라운드 열기 →

import std.typeset as ts
import std.io
function report(items: Array<ts.Item>) -> () {
let input = ts.Paragraph {
grid: ts.DistanceGrid.MilliPoint(),
items: items,
geometry: ts.LineGeometry { bodyTarget: 10pt, firstTarget: 10pt, dropCapSpan: 0, dropCapInset: 0pt },
justification: ts.JustificationPolicy {
mode: ts.JustificationMode.Unjustified(), minGapCount: 0,
minLineWidthRatioM: 0, minFinalLineWidthRatioM: None(),
maxAdjustment: 0pt, maxGapAdjustment: 0pt, maxGapRatioR: 0,
latinSpacing: None(), cjkStretchRatio: 0.0
},
costModel: ts.CostModel.FixedPoint(),
knuthPlass: ts.KnuthPlassPolicy { toleranceR: 100000000, linePenalty: 10, fitnessDemerit: 0, flaggedDemerit: 0, finalFlaggedDemerit: 0 }
}
match (ts.breakParagraph(input)) {
case Err(InvalidInput(_)) => io.writeLine("InvalidInput")
case _ => io.writeLine("unexpected result")
}
}
report([ts.Item.BoxItem(ts.Box { unitIndex: 0, text: "a", width: -1pt, trackingAfter: 0pt }), ts.Item.PenaltyItem(ts.Penalty { unitEnd: 1, width: 0pt, rule: ts.BreakRule.Forced(), kind: ts.BreakKind.ForcedEnd(), flagged: false })])
report([ts.Item.GlueItem(ts.Glue { unitIndex: 0, text: " ", width: -1pt, trackingAfter: 0pt, stretch: 0pt, shrink: 0pt }), ts.Item.PenaltyItem(ts.Penalty { unitEnd: 1, width: 0pt, rule: ts.BreakRule.Forced(), kind: ts.BreakKind.ForcedEnd(), flagged: false })])
report([ts.Item.BoxItem(ts.Box { unitIndex: 0, text: "a", width: 1pt, trackingAfter: 2pt }), ts.Item.PenaltyItem(ts.Penalty { unitEnd: 1, width: 0pt, rule: ts.BreakRule.Forced(), kind: ts.BreakKind.ForcedEnd(), flagged: false })])
report([ts.Item.GlueItem(ts.Glue { unitIndex: 0, text: " ", width: 1pt, trackingAfter: 2pt, stretch: 0pt, shrink: 0pt }), ts.Item.PenaltyItem(ts.Penalty { unitEnd: 1, width: 0pt, rule: ts.BreakRule.Forced(), kind: ts.BreakKind.ForcedEnd(), flagged: false })])

기대 출력종료 코드 0

InvalidInput
InvalidInput
InvalidInput
InvalidInput

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

InvalidInput
InvalidInput
InvalidInput
InvalidInput

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

Declaration and parameters

사용 조건

수신자

매개변수 제약

결과

효과

실패

Result and effects

Why

Related entries

Give public typesetting distances a point-length type

Give public typesetting distances a point-length type

이유

Use point lengths in Box

기대 결과

Reject untyped physical distances in Box

기대 결과

Use point lengths in Glue

기대 결과

Reject untyped physical distances in Glue

기대 결과

Use point lengths in Penalty

기대 결과

Reject untyped physical distances in Penalty

기대 결과

Use point lengths in BreakPolicy

기대 결과

Reject untyped physical distances in BreakPolicy

기대 결과

Use point lengths in BreakCluster

기대 결과

Reject untyped physical distances in BreakCluster

기대 결과

Use point lengths in LatinSpacing

기대 결과

Reject untyped physical distances in LatinSpacing

기대 결과

Use point lengths in JustificationPolicy

기대 결과

Reject untyped physical distances in JustificationPolicy

기대 결과

Use point lengths in LineGeometry

기대 결과

Reject untyped physical distances in LineGeometry

기대 결과

Use point lengths in PlanLine

기대 결과

Reject untyped physical distances in PlanLine

기대 결과

Pass typed distances to the line-cost function

기대 결과

Reject raw distances at the line-cost boundary

기대 결과

Diagnostics

Preserve measured units and validate their physical extents

Preserve measured units and validate their physical extents

이유

Keep measured units and signed tracking in source order

기대 결과

Keep a zero width unit with empty display text

기대 결과

Reject a gap in measured unit indices

기대 결과

Reject negative glue stretch and shrink

기대 결과

Reject negative widths and negative extents before tracking

기대 결과