to Scaled Points() - > int- Модуль
- std.
typeset → - Получатель
- Length<In>
- Минимальное число аргументов
- 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.
Получатель
Length<In>
Ограничения параметров
Physical Length values with the Pt, Mm, Cm, or In marker provide toScaledPoints returning int. One point is 65,536 scaled points. The result is the exact stored signed 64-bit count.
The scaledPoints member is absent from every Length type. Calling that removed member is rejected with TPZ5006. Length<Em> has no toScaledPoints member and must resolve to a physical length first.
fromScaledPoints accepts every int from -9223372036854775808 through 9223372036854775807 inclusive. It returns Length<Pt> with that exact scaled-point count. Zero and negative inputs are valid. Construction performs no rounding and has no value-dependent failure.
fromMilliPoints interprets its int argument as thousandths of a point. Its scaled-point result is roundEven of the exact rational input times 8192 divided by 125.
fromMilliPoints accepts -140737488355328000 through 140737488355327999 inclusive. An input outside that range stops with runtime diagnostic TPZ4004. It does not return Result, wrap, saturate, or clamp.
Length<Pt>.toMilliPoints returns roundEven of the exact stored count times 125 divided by 8192. Every representable point length has a representable int result.
roundEven selects the nearest integer and chooses the even integer at an exact tie. Positive and negative ties follow the same rule. Range checking applies to the final rounded value. Intermediate arithmetic must preserve the exact rational value.
A count of 4096 scaled points converts to 62 millipoints. A count of 12288 converts to 188. Their negatives convert to -62 and -188. One millipoint constructs 66 scaled points and negative one constructs -66.
Millipoint conversion can lose scaled-point precision. A conversion to millipoints and back need not recover the original length. The maximum point length converts to 140737488355328000 millipoints, which exceeds the fromMilliPoints input range.
The constructors require int arguments. A float or Length argument is rejected with TPZ5001. Physical conversions and scalar arithmetic do not provide an implicit integer constructor.
A constructor evaluates its argument once before checking the result range. A receiver conversion evaluates its receiver once. These operations perform no I/O or mutation and read no font or paragraph state.
A fromMilliPoints overflow is reported at the public constructor call. Earlier argument effects remain visible and later expressions do not execute.
Связанное правило · Convert physical lengths with toScaledPoints →Результат
The declared result type is int.
Эффекты
Ошибки
Result and effects
СсылкаReturn the exact signed scaled-point count. Every stored physical value is valid and one point contains 65,536 scaled points. The conversion performs no rounding and has no value-dependent failure.
Why
СсылкаInteger conversions use the same to prefix as unit conversions and collection conversions. Scaled points and millipoints remain distinct because they represent different units and rounding boundaries.
Related entries
СсылкаConvert physical lengths with toScaledPoints
СсылкаConvert physical lengths with toScaledPoints
Physical Length values with the Pt, Mm, Cm, or In marker provide toScaledPoints returning int. One point is 65,536 scaled points. The result is the exact stored signed 64-bit count.
The scaledPoints member is absent from every Length type. Calling that removed member is rejected with TPZ5006. Length<Em> has no toScaledPoints member and must resolve to a physical length first.
fromScaledPoints accepts every int from -9223372036854775808 through 9223372036854775807 inclusive. It returns Length<Pt> with that exact scaled-point count. Zero and negative inputs are valid. Construction performs no rounding and has no value-dependent failure.
fromMilliPoints interprets its int argument as thousandths of a point. Its scaled-point result is roundEven of the exact rational input times 8192 divided by 125.
fromMilliPoints accepts -140737488355328000 through 140737488355327999 inclusive. An input outside that range stops with runtime diagnostic TPZ4004. It does not return Result, wrap, saturate, or clamp.
Length<Pt>.toMilliPoints returns roundEven of the exact stored count times 125 divided by 8192. Every representable point length has a representable int result.
roundEven selects the nearest integer and chooses the even integer at an exact tie. Positive and negative ties follow the same rule. Range checking applies to the final rounded value. Intermediate arithmetic must preserve the exact rational value.
A count of 4096 scaled points converts to 62 millipoints. A count of 12288 converts to 188. Their negatives convert to -62 and -188. One millipoint constructs 66 scaled points and negative one constructs -66.
Millipoint conversion can lose scaled-point precision. A conversion to millipoints and back need not recover the original length. The maximum point length converts to 140737488355328000 millipoints, which exceeds the fromMilliPoints input range.
The constructors require int arguments. A float or Length argument is rejected with TPZ5001. Physical conversions and scalar arithmetic do not provide an implicit integer constructor.
A constructor evaluates its argument once before checking the result range. A receiver conversion evaluates its receiver once. These operations perform no I/O or mutation and read no font or paragraph state.
A fromMilliPoints overflow is reported at the public constructor call. Earlier argument effects remain visible and later expressions do not execute.
Причина
Integer conversions use the same to prefix as unit conversions and collection conversions. Scaled points and millipoints remain distinct because they represent different units and rounding boundaries.
Convert every physical length unit to scaled points
Ссылкаimport std.ioimport std.typeset as tslet pt = (1pt).toScaledPoints()let mm = (25.4mm).toScaledPoints()let cm = (2.54cm).toScaledPoints()let inch = (1in).toScaledPoints()io.writeLine("{pt}|{mm}|{cm}|{inch}|{ts.fromScaledPoints(pt) == 1pt}")
65536|4718592|4718592|4718592|true
Ожидаемый результат
Ожидаемый результат
Выполнение завершается. Код завершения 0.
65536|4718592|4718592|4718592|true
Keep the millipoint conversion boundary
Ссылкаimport std.ioimport std.typeset as tslet tie = ts.fromScaledPoints(4096).toMilliPoints()let rounded = ts.fromMilliPoints(1) == ts.fromScaledPoints(66)io.writeLine("{tie}|{rounded}")
62|true
Ожидаемый результат
Ожидаемый результат
Выполнение завершается. Код завершения 0.
62|true
Reject scaledPoints on `Length<Pt>`
Ссылкаlet distance = 1ptdistance.scaledPoints()
Нет стандартного вывода.Ожидаемый результат
Ожидаемый результат
Этап отклонения check. Ненулевой код завершения.
stdlib-removed-scaled-points at
main.tpz:2:10
Reject scaledPoints on `Length<Mm>`
Ссылкаlet distance = 1mmdistance.scaledPoints()
Нет стандартного вывода.Ожидаемый результат
Ожидаемый результат
Этап отклонения check. Ненулевой код завершения.
stdlib-removed-scaled-points at
main.tpz:2:10
Reject scaledPoints on `Length<Cm>`
Ссылкаlet distance = 1cmdistance.scaledPoints()
Нет стандартного вывода.Ожидаемый результат
Ожидаемый результат
Этап отклонения check. Ненулевой код завершения.
stdlib-removed-scaled-points at
main.tpz:2:10
Reject scaledPoints on `Length<In>`
Ссылкаlet distance = 1indistance.scaledPoints()
Нет стандартного вывода.Ожидаемый результат
Ожидаемый результат
Этап отклонения check. Ненулевой код завершения.
stdlib-removed-scaled-points at
main.tpz:2:10
Resolve font-relative lengths before integer conversion
Ссылкаlet distance = 1emdistance.toScaledPoints()
Нет стандартного вывода.Ожидаемый результат
Ожидаемый результат
Этап отклонения check. Ненулевой код завершения.
stdlib-unresolved-em-scaled-points at
main.tpz:2:10
Read both endpoints of the exact integer representation
Ссылкаimport std.typeset as tsimport std.iolet low = ts.fromScaledPoints(-9223372036854775808).toScaledPoints()let high = ts.fromScaledPoints(9223372036854775807).toScaledPoints()io.writeLine("{low}|{high}")
-9223372036854775808|9223372036854775807
Ожидаемый результат
Ожидаемый результат
Выполнение завершается. Код завершения 0.
-9223372036854775808|9223372036854775807
Construct the millipoint endpoints and keep signed rounding
Ссылкаimport std.typeset as tsimport std.iolet low = ts.fromMilliPoints(-140737488355328000)let high = ts.fromMilliPoints(140737488355327999)let negative = ts.fromMilliPoints(-1)let lowGrid = ts.fromScaledPoints(-9223372036854775808).toMilliPoints()let highGrid = ts.fromScaledPoints(9223372036854775807).toMilliPoints()io.writeLine("{low == -140737488355328pt}|{high == ts.fromScaledPoints(9223372036854775742)}|{negative == ts.fromScaledPoints(-66)}")io.writeLine("{lowGrid}|{highGrid}")
true|true|true
-140737488355328000|140737488355328000
Ожидаемый результат
Ожидаемый результат
Выполнение завершается. Код завершения 0.
true|true|true-140737488355328000|140737488355328000
Round both signs and both sides of a millipoint tie
Ссылкаimport std.typeset as tsimport std.iolet below = ts.fromScaledPoints(4095).toMilliPoints()let tie = ts.fromScaledPoints(4096).toMilliPoints()let above = ts.fromScaledPoints(4097).toMilliPoints()let negativeBelow = ts.fromScaledPoints(-4095).toMilliPoints()let negativeTie = ts.fromScaledPoints(-4096).toMilliPoints()let negativeAbove = ts.fromScaledPoints(-4097).toMilliPoints()let upperTie = ts.fromScaledPoints(12288).toMilliPoints()let negativeUpperTie = ts.fromScaledPoints(-12288).toMilliPoints()io.writeLine("{below}|{tie}|{above}|{negativeBelow}|{negativeTie}|{negativeAbove}|{upperTie}|{negativeUpperTie}")
62|62|63|-62|-62|-63|188|-188
Ожидаемый результат
Ожидаемый результат
Выполнение завершается. Код завершения 0.
62|62|63|-62|-62|-63|188|-188
Reject a millipoint input above the representable range
Ссылкаimport std.typeset as tsts.fromMilliPoints(140737488355328000)
Нет стандартного вывода.Ожидаемый результат
Ожидаемый результат
Этап отклонения run. Ненулевой код завершения.
stdlib-length-unrepresentable at
main.tpz:2:1
Reject a millipoint input below the representable range
Ссылкаimport std.typeset as tsts.fromMilliPoints(-140737488355328001)
Нет стандартного вывода.Ожидаемый результат
Ожидаемый результат
Этап отклонения run. Ненулевой код завершения.
stdlib-length-unrepresentable at
main.tpz:2:1
Require an int for fromScaledPoints
Ссылкаimport std.typeset as tsts.fromScaledPoints(1.0)
Нет стандартного вывода.Ожидаемый результат
Ожидаемый результат
Этап отклонения check. Ненулевой код завершения.
stdlib-length-int-required at
main.tpz:2:21
Require an int for fromMilliPoints
Ссылкаimport std.typeset as tsts.fromMilliPoints(1.0)
Нет стандартного вывода.Ожидаемый результат
Ожидаемый результат
Этап отклонения check. Ненулевой код завершения.
stdlib-length-int-required at
main.tpz:2:20