2025-02-19 04:07:27 +00:00
|
|
|
structure TitleVec =
|
|
|
|
|
struct
|
2025-02-19 05:37:04 +00:00
|
|
|
fun helpGetTextVec
|
|
|
|
|
(x, y, fontSize, fontSpace, windowWidth, windowHeight, pos, str, acc) =
|
2025-02-19 04:07:27 +00:00
|
|
|
if pos = String.size str then
|
|
|
|
|
Vector.concat acc
|
|
|
|
|
else
|
|
|
|
|
let
|
|
|
|
|
val chr = String.sub (str, pos)
|
|
|
|
|
val chrFun = Vector.sub (CozetteAscii.asciiTable, Char.ord chr)
|
2025-02-19 05:37:04 +00:00
|
|
|
|
2025-02-19 04:07:27 +00:00
|
|
|
val hd = chrFun
|
|
|
|
|
(x, y, fontSize, fontSize, windowWidth, windowHeight, 0.0, 0.0, 0.0)
|
|
|
|
|
val acc = hd :: acc
|
|
|
|
|
in
|
2025-02-19 05:37:04 +00:00
|
|
|
helpGetTextVec
|
|
|
|
|
( x + fontSpace
|
|
|
|
|
, y
|
|
|
|
|
, fontSize
|
|
|
|
|
, fontSpace
|
|
|
|
|
, windowWidth
|
|
|
|
|
, windowHeight
|
|
|
|
|
, pos + 1
|
|
|
|
|
, str
|
|
|
|
|
, acc
|
|
|
|
|
)
|
2025-02-19 04:07:27 +00:00
|
|
|
end
|
|
|
|
|
|
2025-02-19 05:37:04 +00:00
|
|
|
fun getTextVec (x, y, width, height, str) =
|
|
|
|
|
let
|
|
|
|
|
val wratio = width / Constants.worldWidthReal
|
|
|
|
|
val hratio = height / Constants.worldHeightReal
|
|
|
|
|
in
|
|
|
|
|
if wratio < hratio then
|
|
|
|
|
let
|
|
|
|
|
val scale = Constants.worldHeightReal * wratio
|
|
|
|
|
val yOffset =
|
|
|
|
|
if height > scale then (height - scale) / 2.0
|
|
|
|
|
else if height < scale then (scale - height) / 2.0
|
|
|
|
|
else 0.0
|
|
|
|
|
|
|
|
|
|
val x = Real32.fromInt x * wratio
|
|
|
|
|
val y = Real32.fromInt y * wratio + yOffset
|
|
|
|
|
|
|
|
|
|
val x = Real32.toInt IEEEReal.TO_NEAREST x
|
|
|
|
|
val y = Real32.toInt IEEEReal.TO_NEAREST y
|
|
|
|
|
|
|
|
|
|
val fontSize = Constants.fontSize * wratio
|
|
|
|
|
|
|
|
|
|
val fontSpace = Real32.fromInt Constants.fontSpace * wratio
|
|
|
|
|
val fontSpace = Real32.toInt IEEEReal.TO_NEAREST fontSpace
|
|
|
|
|
in
|
|
|
|
|
helpGetTextVec (x, y, fontSize, fontSpace, width, height, 0, str, [])
|
|
|
|
|
end
|
|
|
|
|
else
|
|
|
|
|
let
|
|
|
|
|
val scale = Constants.worldWidthReal * hratio
|
|
|
|
|
val xOffset =
|
|
|
|
|
if width > scale then (width - scale) / 2.0
|
|
|
|
|
else if width < scale then (scale - width) / 2.0
|
|
|
|
|
else 0.0
|
|
|
|
|
|
|
|
|
|
val x = Real32.fromInt x * hratio + xOffset
|
|
|
|
|
val y = Real32.fromInt y * hratio
|
|
|
|
|
|
|
|
|
|
val x = Real32.toInt IEEEReal.TO_NEAREST x
|
|
|
|
|
val y = Real32.toInt IEEEReal.TO_NEAREST y
|
|
|
|
|
|
|
|
|
|
val fontSize = Constants.fontSize * hratio
|
|
|
|
|
|
|
|
|
|
val fontSpace = Real32.fromInt Constants.fontSpace * hratio
|
|
|
|
|
val fontSpace = Real32.toInt IEEEReal.TO_NEAREST fontSpace
|
|
|
|
|
in
|
|
|
|
|
helpGetTextVec (x, y, fontSize, fontSpace, width, height, 0, str, [])
|
|
|
|
|
end
|
|
|
|
|
end
|
|
|
|
|
|
2025-02-19 04:07:27 +00:00
|
|
|
fun getDrawVec (title: TitleType.title_type, width, height) =
|
2025-02-19 05:37:04 +00:00
|
|
|
getTextVec (0, 0, width, height, "hello world")
|
2025-02-19 04:07:27 +00:00
|
|
|
end
|