266 lines
9.4 KiB
Lua
266 lines
9.4 KiB
Lua
ACTION.Name = "ParseUnicode"
|
|
ACTION.Description = "Parse the Unicode Character Data and put the useful informations into a header"
|
|
|
|
local CategoryToString = {}
|
|
CategoryToString["C"] = "Category_Other"
|
|
CategoryToString["Cc"] = "Category_Other_Control"
|
|
CategoryToString["Cf"] = "Category_Other_Format"
|
|
CategoryToString["Cn"] = "Category_Other_NotAssigned"
|
|
CategoryToString["Co"] = "Category_Other_PrivateUse"
|
|
CategoryToString["Cs"] = "Category_Other_Surrogate"
|
|
CategoryToString["L"] = "Category_Letter"
|
|
CategoryToString["Ll"] = "Category_Letter_Lowercase"
|
|
CategoryToString["Lm"] = "Category_Letter_Modifier"
|
|
CategoryToString["Lo"] = "Category_Letter_Other"
|
|
CategoryToString["Lt"] = "Category_Letter_Titlecase"
|
|
CategoryToString["Lu"] = "Category_Letter_Uppercase"
|
|
CategoryToString["M"] = "Category_Mark"
|
|
CategoryToString["Me"] = "Category_Mark_Enclosing"
|
|
CategoryToString["Mn"] = "Category_Mark_NonSpacing"
|
|
CategoryToString["Mc"] = "Category_Mark_SpacingCombining"
|
|
CategoryToString["N"] = "Category_Number"
|
|
CategoryToString["Nd"] = "Category_Number_DecimalDigit"
|
|
CategoryToString["Nl"] = "Category_Number_Letter"
|
|
CategoryToString["No"] = "Category_Number_Other"
|
|
CategoryToString["P"] = "Category_Punctuation"
|
|
CategoryToString["Pe"] = "Category_Punctuation_Close"
|
|
CategoryToString["Pc"] = "Category_Punctuation_Connector"
|
|
CategoryToString["Pd"] = "Category_Punctuation_Dash"
|
|
CategoryToString["Pf"] = "Category_Punctuation_FinalQuote"
|
|
CategoryToString["Pi"] = "Category_Punctuation_InitialQuote"
|
|
CategoryToString["Ps"] = "Category_Punctuation_Open"
|
|
CategoryToString["Po"] = "Category_Punctuation_Other"
|
|
CategoryToString["S"] = "Category_Symbol"
|
|
CategoryToString["Sc"] = "Category_Symbol_Currency"
|
|
CategoryToString["Sm"] = "Category_Symbol_Math"
|
|
CategoryToString["Sk"] = "Category_Symbol_Modifier"
|
|
CategoryToString["So"] = "Category_Symbol_Other"
|
|
CategoryToString["Z"] = "Category_Separator"
|
|
CategoryToString["Zl"] = "Category_Separator_Line"
|
|
CategoryToString["Zp"] = "Category_Separator_Paragraph"
|
|
CategoryToString["Zs"] = "Category_Separator_Space"
|
|
|
|
local DirectionToString = {}
|
|
DirectionToString["AL"] = "Direction_Arabic_Letter"
|
|
DirectionToString["AN"] = "Direction_Arabic_Number"
|
|
DirectionToString["BN"] = "Direction_Boundary_Neutral"
|
|
DirectionToString["CS"] = "Direction_Common_Separator"
|
|
DirectionToString["EN"] = "Direction_European_Number"
|
|
DirectionToString["ES"] = "Direction_European_Separator"
|
|
DirectionToString["ET"] = "Direction_European_Terminator"
|
|
DirectionToString["FSI"] = "Direction_First_Strong_Isolate"
|
|
DirectionToString["L"] = "Direction_Left_To_Right"
|
|
DirectionToString["LRE"] = "Direction_Left_To_Right_Embedding"
|
|
DirectionToString["LRI"] = "Direction_Left_To_Right_Isolate"
|
|
DirectionToString["LRO"] = "Direction_Left_To_Right_Override"
|
|
DirectionToString["NSM"] = "Direction_Nonspacing_Mark"
|
|
DirectionToString["ON"] = "Direction_Other_Neutral"
|
|
DirectionToString["B"] = "Direction_Paragraph_Separator"
|
|
DirectionToString["PDF"] = "Direction_Pop_Directional_Formatting"
|
|
DirectionToString["PDI"] = "Direction_Pop_Directional_Isolate"
|
|
DirectionToString["R"] = "Direction_Right_To_Left"
|
|
DirectionToString["RLE"] = "Direction_Right_To_Left_Embedding"
|
|
DirectionToString["RLI"] = "Direction_Right_To_Left_Isolate"
|
|
DirectionToString["RLO"] = "Direction_Right_To_Left_Override"
|
|
DirectionToString["S"] = "Direction_Segment_Separator"
|
|
DirectionToString["WS"] = "Direction_White_Space"
|
|
|
|
table.maxn = table.maxn or function (tab) -- Compatibilité Lua 5.2
|
|
local maxIndex = 0
|
|
for k,v in pairs(tab) do
|
|
if (k > maxIndex) then
|
|
maxIndex = k
|
|
end
|
|
end
|
|
end
|
|
|
|
local function getCharacter(tab, first, index)
|
|
local character = {}
|
|
character.Category = CategoryToString[tab[3]] or "Category_NoCategory"
|
|
character.Direction = DirectionToString[tab[5]] or error("Direction not recognized")
|
|
character.LowerCase = (string.len(tab[14]) ~= 0 and (tonumber(tab[14], 16)-first)) or index
|
|
character.UpperCase = (string.len(tab[13]) ~= 0 and (tonumber(tab[13], 16)-first)) or index
|
|
character.TitleCase = (string.len(tab[15]) ~= 0 and (tonumber(tab[15], 16)-first)) or character.UpperCase
|
|
|
|
return character
|
|
end
|
|
|
|
ACTION.Function = function ()
|
|
local unicodeSet = {}
|
|
if (not os.isdir("scripts/data") and not os.mkdir("scripts/data")) then
|
|
print("Failed to create scripts/data folder")
|
|
end
|
|
|
|
local filepath = "scripts/data/UnicodeData.txt"
|
|
|
|
print("Downloading UnicodeData.txt...")
|
|
|
|
local t1 = os.clock()
|
|
|
|
local result_str, response_code = http.download("https://www.unicode.org/Public/UCD/latest/ucd/UnicodeData.txt", filepath, {
|
|
headers = { "From: Premake", "Referer: Premake" }
|
|
})
|
|
|
|
if (response_code ~= 200) then
|
|
error("Failed to download UnicodeData.txt")
|
|
end
|
|
|
|
local fileInfo = os.stat(filepath)
|
|
|
|
local t2 = os.clock()
|
|
|
|
print(string.format("Download succeeded (%.3f MiB) in %fs (%d KiB/s)", fileInfo.size / (1024 * 1024), t2 - t1, math.floor((fileInfo.size / (t2 - t1)) / 1024)))
|
|
|
|
file = io.open (filepath, "r")
|
|
if (not file) then
|
|
error("Unable to open Unicode Data file")
|
|
return
|
|
end
|
|
|
|
local characters = {}
|
|
local characterSets = {}
|
|
local lowercaseCharacters = {}
|
|
local titlecaseCharacters = {}
|
|
local uppercaseCharacters = {}
|
|
local currentBlock
|
|
local currentBlockStartCodepoint
|
|
local lineIndex = 1
|
|
|
|
t1 = os.clock()
|
|
|
|
print("Parsing UnicodeData.txt...")
|
|
for line in file:lines() do
|
|
local parts = line:explode(";")
|
|
|
|
local codepoint = tonumber(parts[1], 16)
|
|
local characterName = parts[2]
|
|
local category = parts[3]
|
|
local direction = parts[5]
|
|
local uppercaseMapping = tonumber(parts[13], 16)
|
|
local lowercaseMapping = tonumber(parts[14], 16)
|
|
local titlecaseMapping = tonumber(parts[15], 16)
|
|
|
|
local blockName, blockId = string.match(characterName, "<(.+), (%w+)>")
|
|
if (currentBlock) then
|
|
if (blockId ~= "Last") then
|
|
error("Parsing error: expected last block at line " .. lineIndex)
|
|
end
|
|
|
|
print("Detected set " .. blockName .. " from codepoint " .. currentBlockStartCodepoint .. " to " .. codepoint)
|
|
|
|
table.insert(characterSets, {
|
|
startCodepoint = currentBlockStartCodepoint,
|
|
endCodepoint = codepoint,
|
|
name = "<" .. blockName .. ">",
|
|
category = category,
|
|
direction = direction
|
|
})
|
|
|
|
currentBlock = nil
|
|
else
|
|
if (blockName) then
|
|
if (blockId ~= "First") then
|
|
error("Parsing error: expected first block at line " .. lineIndex)
|
|
end
|
|
|
|
currentBlock = blockName
|
|
currentBlockStartCodepoint = codepoint
|
|
else
|
|
table.insert(characters, {
|
|
codepoint = codepoint,
|
|
name = characterName,
|
|
category = category,
|
|
direction = direction,
|
|
upper = uppercaseMapping,
|
|
lower = lowercaseMapping,
|
|
title = titlecaseMapping
|
|
})
|
|
|
|
if (lowercaseMapping) then
|
|
table.insert(lowercaseCharacters, {codepoint = codepoint, lower = lowercaseMapping})
|
|
end
|
|
|
|
if (titlecaseMapping) then
|
|
table.insert(titlecaseCharacters, {codepoint = codepoint, title = titlecaseMapping})
|
|
end
|
|
|
|
if (uppercaseMapping) then
|
|
table.insert(uppercaseCharacters, {codepoint = codepoint, upper = uppercaseMapping})
|
|
end
|
|
end
|
|
end
|
|
|
|
lineIndex = lineIndex + 1
|
|
end
|
|
|
|
t2 = os.clock()
|
|
|
|
print("Parsed " .. #characters .. " characters in " .. (t2 - t1) .. " seconds")
|
|
|
|
print("Writting Unicode Data to header...")
|
|
|
|
file = io.open("../src/Nazara/Core/UnicodeData.hpp", "w+")
|
|
if (not file) then
|
|
error("Failed to open Unicode Data header")
|
|
return
|
|
end
|
|
|
|
t1 = os.clock()
|
|
|
|
file:write(string.format("UnicodeCharacter unicodeCharacters[%d] = {\n", #characters))
|
|
|
|
for _, data in pairs(characters) do
|
|
local category = CategoryToString[data.category]
|
|
if (not category) then
|
|
error("Unknown category " .. data.category .. " for character " .. data.codepoint)
|
|
end
|
|
|
|
local direction = DirectionToString[data.direction]
|
|
if (not direction) then
|
|
error("Unknown direction " .. data.direction .. " for character " .. data.codepoint)
|
|
end
|
|
|
|
file:write(string.format("\t{%d, Unicode::%s, Unicode::%s},\n", data.codepoint, category, direction))
|
|
end
|
|
file:write("};\n\n")
|
|
|
|
file:write(string.format("UnicodeSet unicodeSets[%d] = {\n", #characterSets))
|
|
|
|
for _, data in pairs(characterSets) do
|
|
local category = CategoryToString[data.category]
|
|
if (not category) then
|
|
error("Unknown category " .. data.category .. " for character " .. data.codepoint)
|
|
end
|
|
|
|
local direction = DirectionToString[data.direction]
|
|
if (not direction) then
|
|
error("Unknown direction " .. data.direction .. " for character " .. data.codepoint)
|
|
end
|
|
|
|
file:write(string.format("\t{%d, %d, {%d, Unicode::%s, Unicode::%s}},\n", data.startCodepoint, data.endCodepoint, data.startCodepoint, category, direction))
|
|
end
|
|
file:write("};\n\n")
|
|
|
|
file:write(string.format("UnicodeCharacterSimpleMapping unicodeLower[%d] = {\n", #lowercaseCharacters))
|
|
for _, data in pairs(lowercaseCharacters) do
|
|
file:write(string.format("\t{%d, %d},\n", data.codepoint, data.lower))
|
|
end
|
|
file:write("};\n\n")
|
|
|
|
file:write(string.format("UnicodeCharacterSimpleMapping unicodeTitle[%d] = {\n", #titlecaseCharacters))
|
|
for _, data in pairs(titlecaseCharacters) do
|
|
file:write(string.format("\t{%d, %d},\n", data.codepoint, data.title))
|
|
end
|
|
file:write("};\n\n")
|
|
|
|
file:write(string.format("UnicodeCharacterSimpleMapping unicodeUpper[%d] = {\n", #uppercaseCharacters))
|
|
for _, data in pairs(uppercaseCharacters) do
|
|
file:write(string.format("\t{%d, %d},\n", data.codepoint, data.upper))
|
|
end
|
|
file:write("};\n\n")
|
|
|
|
file:close()
|
|
|
|
print("Succeeded in " .. (os.clock() - t1) .. "sec.")
|
|
end
|