vulkan/renpy-parser/transform.py
2026-05-27 21:34:55 -05:00

336 lines
13 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
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]
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
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.With,
parse.Stop,
parse.Pause,
parse.Hide,
}
loops = {
"ScaredMice": 8.0,
"PhrygianButterflies": 40.125,
"MistAmbience": 22.0,
"TinyForestMinstrels": 44.0,
"WheatFields": 34.0,
}
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) in {parse.Play, parse.Voice}:
if ast.path.lexeme not in state.audio_lookup:
index = len(state.audio_lookup)
channel = ast.channel.lexeme if type(ast) is parse.Play else None
state.audio_lookup[ast.path.lexeme] = (index, channel)
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) 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, channel = state.audio_lookup[statement.path.lexeme]
assert channel is not None
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.With:
#print(f"not implemented: {statement}", file=sys.stderr)
if statement.function_call.name.lexeme == b'Dissolve':
duration, = statement.function_call.args
yield f"{{ .type = type::dissolve, .dissolve = {{ .duration = {duration.lexeme} }} }}, // {pc}"
else:
assert False, (pc, statement)
elif type(statement) is parse.Voice:
comment = statement.path.lexeme.decode('utf-8')
audio_index, channel = state.audio_lookup[statement.path.lexeme]
assert channel is None
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)
yield f"{{ .type = type::show, .show = {{ .imageIndex = {image_index}, .transformIndex = 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:
yield f"{{ .type = type::stop, .stop = {{ /* FIXME channel */ }} }}, // {pc}"
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)
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:
pass
assert False, (type(statement), statement)
def pass2_statements(state):
yield "const language::statement statements[] = {"
for pc, statement in enumerate(state.statements):
print(pc, statement, file=sys.stderr)
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} }}, // {i}"
yield "};"
yield "const int characters_length = (sizeof (characters)) / (sizeof (characters[0]));"
def pass2_audio(state):
yield "const language::audio audio[] = {"
for audio, (i, channel) in sorted(state.audio_lookup.items(), key=lambda kv: kv[1][0]):
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 = channel.decode('utf-8') if channel is not None else None
name = f"\"{channel_name}\"" if channel is not None else "nullptr"
loop = loops[channel_name] if channel_name in loops else 0
assert loop < 20_000, loop
yield f"{{ .path = \"audio/{path}.opus.bin\", .name = {name}, .loop = {int(loop * 48000)} }}, // {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
yield f"{{ .path = \"data/renpy/images/{path}.dds\" }}, // {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(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_characters(state)
yield from pass2_audio(state)
yield from pass2_images(state)
yield from pass2_options(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(),
images_lookup = dict(),
colors_lookup = dict(),
characters_lookup = dict(),
labels_lookup = dict(),
audio_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()