vulkan/renpy-parser/transform.py
2026-05-30 01:53:57 -05:00

449 lines
17 KiB
Python

import sys
import lex
import parse
from dataclasses import dataclass
from pprint import pprint
from itertools import chain
import generate
@dataclass
class State:
images: list
colors: list
characters: list
statements: list
menus: list
entries: dict
dissolves: list
images_lookup: dict[str, int] # identifier to image index
colors_lookup: dict[str, int] # identifier to image index
characters_lookup: dict[str, int] # identifier to character index
labels_lookup: dict[str, int] # identifier to statement index
audio_lookup: dict[str, int]
channel_lookup: dict[str, int]
string_lookup: dict[str, int]
global_identifiers: set[str]
@dataclass
class InternalMenu:
menu: parse.Menu
entry_lookup: dict[str, tuple[int, int]] # string to (entry index, statement index)
entry_index: int
@dataclass
class InternalJump:
target: tuple
@dataclass
class InternalDissolve:
duration: int
first_statement: int
count: int
def lhs_key(lhs):
return tuple(l.lexeme for l in lhs)
simple_statement_types = {
parse.Jump,
parse.Play,
parse.Return,
parse.Say,
parse.Scene,
parse.Show,
parse.Voice,
parse.Stop,
parse.Pause,
parse.Hide,
}
loops = {
"ScaredMice": 8.0,
"PhrygianButterflies": 40.2,
"MistAmbience": 22.0,
"TinyForestMinstrels": 44.0,
"WheatFields": 34.0,
"Preludium": 58.2,
}
attenuations = {
"ScaredMice": 1.0,
"PhrygianButterflies": 0.5,
"MistAmbience": 1.0,
"TinyForestMinstrels": 0.45,
"WheatFields": 1.0,
}
character_images = {
b"a": [b"al", b"sal", b"wal"],
b"b": [b"bi"],
b"c": [b"cat", b"catw"],
b"e": [b"ei", b"sei"],
b"mg": (b"a", b"e"),
b"n": [],
b"l": (b"c",),
b"h": [],
}
character_images_values = set(chain.from_iterable(character_images.values()))
def pass1(state, ast):
if type(ast) is parse.Image:
key = lhs_key(ast.name)
assert key not in state.global_identifiers
state.global_identifiers.add(key)
if ast.path.lexeme.startswith(b"#"):
state.colors_lookup[key] = len(state.colors)
state.colors.append(ast)
else:
state.images_lookup[key] = len(state.images)
state.images.append(ast)
elif type(ast) is parse.Define:
key = lhs_key(ast.name)
assert key not in state.global_identifiers
state.global_identifiers.add(key)
if type(ast.value) is parse.FunctionCall and ast.value.name.lexeme == b'Character':
state.characters_lookup[key] = len(state.characters)
state.characters.append(ast)
else:
print(f"ignoring define {ast}", file=sys.stderr)
elif type(ast) is parse.Label:
key = lhs_key(ast.name)
assert key not in state.labels_lookup
state.labels_lookup[key] = len(state.statements)
elif type(ast) is parse.Play:
if ast.path.lexeme not in state.audio_lookup:
index = len(state.audio_lookup)
state.audio_lookup[ast.path.lexeme] = index
state.channel_lookup[ast.channel.lexeme] = index
elif type(ast) is parse.Voice:
if ast.path.lexeme not in state.audio_lookup:
index = len(state.audio_lookup)
state.audio_lookup[ast.path.lexeme] = index
elif type(ast) is parse.Say:
if ast.text.lexeme not in state.string_lookup:
index = len(state.string_lookup)
state.string_lookup[ast.text.lexeme] = index
elif type(ast) is parse.Menu:
menu_index = len(state.menus)
menu_end_key = (b"__menu_end", menu_index)
entry_lookup = {}
entry_index = len(state.entries)
internal_menu = InternalMenu(
menu = ast,
entry_lookup = entry_lookup,
entry_index = entry_index
)
state.menus.append(internal_menu)
state.statements.append(internal_menu)
for i, (name, ast_list) in enumerate(ast.entries):
assert name.lexeme not in entry_lookup
entry_lookup[name.lexeme] = entry_index + i
for name, ast_list in ast.entries:
entry_index = entry_lookup[name.lexeme]
statement_index = len(state.statements)
assert entry_index not in state.entries
state.entries[entry_index] = (name.lexeme, statement_index)
for t in ast_list:
pass1(state, t)
state.statements.append(InternalJump(menu_end_key))
assert menu_end_key not in state.labels_lookup
state.labels_lookup[menu_end_key] = len(state.statements)
elif type(ast) is parse.With:
if ast.function_call.name.lexeme != b'Dissolve':
assert False, ast
duration, = ast.function_call.args
duration = duration.lexeme
scene_index = None
for i in reversed(range(len(state.statements))):
if type(state.statements[i]) is parse.Scene:
scene_index = i
break
for i in range(scene_index + 1, len(state.statements)):
b_ast = state.statements[i]
if type(b_ast) is parse.Voice:
assert False, b_ast
elif type(b_ast) is parse.Menu:
assert False, b_ast
elif type(b_ast) is parse.Pause:
assert False, b_ast
else:
assert type(b_ast) in simple_statement_types, b_ast
assert scene_index is not None
state.dissolves.append(InternalDissolve(
duration = duration,
first_statement = scene_index,
count = len(state.statements) - scene_index,
))
elif type(ast) in simple_statement_types:
pass
else:
assert False, (type(ast), ast)
if type(ast) in simple_statement_types:
state.statements.append(ast)
transforms_set = {
b"left",
b"centerleft",
b"center",
b"centerright",
b"right",
}
def parse_color(b):
assert b.startswith(b"#"), b
assert len(b) == 7
color = int(b[1:].decode('utf-8'), 16)
return color
def pass2_statement(state, pc, statement):
if type(statement) is parse.Play:
comment = statement.path.lexeme.decode('utf-8')
audio_index = state.audio_lookup[statement.path.lexeme]
yield f"{{ .type = type::play, .play = {{ .audioIndex = {audio_index} }} }}, // {pc} {comment}"
elif type(statement) is parse.Scene:
key = lhs_key(statement.name)
if key in state.images_lookup:
image_index = state.images_lookup[key]
comment = ".".join(k.decode('utf-8') for k in key)
yield f"{{ .type = type::scene, .scene = {{ .imageIndex = {image_index} }} }}, // {pc} {comment}"
else:
color_index = state.colors_lookup[key]
color = parse_color(state.colors[color_index].path.lexeme)
comment = ".".join(k.decode('utf-8') for k in key)
yield f"{{ .type = type::scene_color, .scene_color = {{ .color = 0x{color:06x} }} }}, // {pc} {comment}"
elif type(statement) is parse.Voice:
comment = statement.path.lexeme.decode('utf-8')
audio_index = state.audio_lookup[statement.path.lexeme]
yield f"{{ .type = type::voice, .voice = {{ .audioIndex = {audio_index} }} }}, // {pc} {comment}"
elif type(statement) is parse.Say:
key = lhs_key(statement.speaker)
character_index = state.characters_lookup[key]
string_index = state.string_lookup[statement.text.lexeme]
comment = ".".join(k.decode('utf-8') for k in key) + f" \"{statement.text.lexeme.decode('utf-8')}\""
yield f"{{ .type = type::say, .say = {{ .characterIndex = {character_index}, .stringIndex = {string_index} }} }}, // {pc} {comment}"
elif type(statement) is parse.Show:
key = lhs_key(statement.what)
image_index = state.images_lookup[key]
transform = statement.transform.lexeme
assert transform in transforms_set
transform = transform.decode('utf-8')
comment = ".".join(k.decode('utf-8') for k in key)
xflip = False
for k, v in statement.properties:
if k.lexeme == b"xzoom":
assert v.lexeme == -1, v
assert xflip is False, (k, v)
xflip = True
else:
assert False in k
xflip = "xflip | " if xflip else ""
yield f"{{ .type = type::show, .show = {{ .imageIndex = {image_index}, .transformIndex = {xflip}transform::{transform}, }} }}, // {pc} {comment}"
elif type(statement) is InternalMenu:
count = len(statement.menu.entries)
option_index = statement.entry_index
comment = ", ".join(f"\"{k.lexeme.decode('utf-8')}\"" for k, v in statement.menu.entries)
yield f"{{ .type = type::menu, .menu = {{ .count = {count}, .optionIndex = {option_index} }} }}, // {pc} {comment}"
elif type(statement) is InternalJump:
key = statement.target
statement_index = state.labels_lookup[key]
comment = str(key)
yield f"{{ .type = type::jump, .jump = {{ .statementIndex = {statement_index} }} }}, // {pc} internal jump {comment}"
elif type(statement) is parse.Jump:
key = lhs_key(statement.target)
statement_index = state.labels_lookup[key]
comment = ".".join(k.decode('utf-8') for k in key)
yield f"{{ .type = type::jump, .jump = {{ .statementIndex = {statement_index} }} }}, // {pc} {comment}"
elif type(statement) is parse.Return:
yield f"{{ .type = type::_return }}, // {pc}"
elif type(statement) is parse.Stop:
audio_index = state.channel_lookup[statement.channel.lexeme]
fadeout = statement.fadeout.lexeme
channel = statement.channel.lexeme.decode('utf-8')
yield f"{{ .type = type::stop, .stop = {{ .audioIndex = {audio_index}, .fadeout = {float(fadeout)} }} }}, // {pc} {channel}"
elif type(statement) is parse.Pause:
duration = statement.duration.lexeme
yield f"{{ .type = type::pause, .pause = {{ .duration = {duration} }} }}, // {pc}"
elif type(statement) is parse.Hide:
key = lhs_key(statement.what)
if key not in state.images_lookup:
assert False, statement.what
image_index = state.images_lookup[key]
comment = ".".join(k.decode('utf-8') for k in key)
yield f"{{ .type = type::hide, .hide = {{ .imageIndex = {image_index} }} }}, // {pc} {comment}"
else:
assert False, (type(statement), statement)
def pass2_statements(state):
yield "const language::statement statements[] = {"
for pc, statement in enumerate(state.statements):
if type(statement) is parse.Voice:
assert type(state.statements[pc+1]) is parse.Say, (pc, statement)
yield from pass2_statement(state, pc, statement)
yield "};"
yield "const int statements_length = (sizeof (statements)) / (sizeof (statements[0]));"
def pass2_strings(state):
yield "char const * const strings[] = {"
for string, i in sorted(state.string_lookup.items(), key=lambda kv: kv[1]):
yield f"\"{string.decode('utf-8')}\", // {i}"
yield "};"
yield "const int strings_length = (sizeof (strings)) / (sizeof (strings[0]));"
def pass2_characters(state):
yield "const language::character characters[] = {"
for i, character in enumerate(state.characters):
character_name, = character.value.args
color, = (value.lexeme for key, value in character.value.kwargs if key.lexeme == b'color')
color = int(color.decode('utf-8'), 16)
yield f"{{ .characterName = \"{character_name.lexeme.decode('utf-8')}\", .color = 0x{color:06x}, .images = character_images_{i}, .images_length = character_images_{i}_length }}, // {i}"
yield "};"
yield "const int characters_length = (sizeof (characters)) / (sizeof (characters[0]));"
def pass2_audio(state):
yield "const language::audio audio[] = {"
reverse_channel = {v: k for k, v in state.channel_lookup.items()}
for audio, i in sorted(state.audio_lookup.items(), key=lambda kv: kv[1]):
orig_path = audio.decode('utf-8')
path = orig_path
if path.endswith(".mp3"):
path = path.removesuffix(".mp3")
elif path.endswith(".ogg"):
path = path.removesuffix(".ogg")
else:
assert False, path
name = audio
channel_name = reverse_channel[i].decode('utf-8') if i in reverse_channel else None
name = f"\"{channel_name}\"" if channel_name is not None else "nullptr"
loop = loops[channel_name] if channel_name in loops else 0
attenuation = attenuations[channel_name] if channel_name in loops else 1.0
assert loop < 20_000, loop
audio_type = None
if "music/" in path:
audio_type = "audio::music"
elif "poem/" in path:
audio_type = "audio::poem"
else:
audio_type = "0"
yield f"{{ .path = \"audio/{path}.opus.bin\", .loop_end = {float(loop)}, .audio_flags = {audio_type}, .attenuation = {attenuation} }}, // {i} {orig_path}"
yield "};"
yield "const int audio_length = (sizeof (audio)) / (sizeof (audio[0]));"
def pass2_images(state):
yield "const language::image images[] = {"
for i, image in enumerate(state.images):
orig_path = image.path.lexeme.decode('utf-8')
path = orig_path
if path.endswith(".png"):
path = path.removesuffix(".png")
else:
assert False, path
is_character_image = "ch/" in path
if is_character_image:
key = lhs_key(image.name)
string_key = b'.'.join(key)
assert string_key in character_images_values, string_key
yield f"{{ .path = \"data/renpy/images/{path}.dds\", .is_character_image = {str(is_character_image).lower()} }}, // {i} {orig_path}"
yield "};"
yield "const int images_length = (sizeof (images)) / (sizeof (images[0]));"
def pass2_options(state):
yield "const language::option options[] = {"
for i, (lexeme, statement_index) in sorted(state.entries.items(), key=lambda kv: kv[0]):
yield f"{{ .string = \"{lexeme.decode('utf-8')}\", .statementIndex = {statement_index} }}, // {i}"
yield "};"
yield "const int options_length = (sizeof (options)) / (sizeof (options[0]));"
def pass2_dissolves(state):
yield "const language::dissolve dissolves[] = {"
for dissolve in state.dissolves:
yield f"{{ .duration = {dissolve.duration}, .first_statement = {dissolve.first_statement}, .count = {dissolve.count} }},"
yield "};"
yield "const int dissolves_length = (sizeof (dissolves)) / (sizeof (dissolves[0]));"
def pass2_character_images(state):
for i, character in enumerate(state.characters):
key = lhs_key(character.name)
string_key = b'.'.join(key)
assert string_key in character_images, string_key
images_list = character_images[string_key]
if type(images_list) == tuple:
images_list = list(chain.from_iterable(character_images[k] for k in images_list))
assert type(images_list) is list
def get_image_indices():
for image_identifier in images_list:
image_index = state.images_lookup[(image_identifier,)]
yield image_index
image_indices = list(get_image_indices())
yield f"// {string_key}"
yield f"static const uint32_t character_images_{i}[] = {{ {', '.join(map(str, image_indices))} }};"
yield f"static constexpr uint32_t character_images_{i}_length = {len(image_indices)};"
def pass2(state):
yield "#include \"renpy/language.h\""
yield "#include \"renpy/script.h\""
yield ""
yield "namespace renpy::script {"
yield "using namespace renpy::language;"
yield from pass2_strings(state)
yield from pass2_character_images(state)
yield from pass2_characters(state)
yield from pass2_audio(state)
yield from pass2_images(state)
yield from pass2_options(state)
yield from pass2_dissolves(state)
yield from pass2_statements(state)
yield "}"
def main():
preamble = b"""
image _internal_flowers = "flowers.png"
"""
with open(sys.argv[1], 'rb') as f:
mem = memoryview(bytes(chain(preamble, f.read())))
tokens = list(lex.tokenize(mem))
state = State(
images = list(),
colors = list(),
characters = list(),
statements = list(),
menus = list(),
entries = dict(),
dissolves = list(),
images_lookup = dict(),
colors_lookup = dict(),
characters_lookup = dict(),
labels_lookup = dict(),
audio_lookup = dict(),
channel_lookup = dict(),
string_lookup = dict(),
global_identifiers = set(),
)
try:
ast_list = []
for ast in parse.parse_all(tokens):
ast_list.append(ast)
except parse.ParseException as e:
print(e, e.token, file=sys.stderr)
raise
for t in ast_list:
pass1(state, t)
render, out = generate.renderer()
render(pass2(state))
sys.stdout.write(out.getvalue())
if __name__ == "__main__":
main()