teaching/muMLE
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

rewriter: extra check to see if produced names are valid (meaning: serializable/parseable)

Browse source
This commit is contained in:
Joeri Exelmans 2024-12-12 13:27:24 +01:00
parent 7914f01006
commit 6aa5302e36
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
transformation/rewriter.py
View file

@ -3,6 +3,7 @@
# - Change attribute values # - Change attribute values
# - ? that's it? # - ? that's it?
import re
from uuid import UUID from uuid import UUID
from api.od import ODAPI, bind_api from api.od import ODAPI, bind_api
from services.bottom.V0 import Bottom from services.bottom.V0 import Bottom
@ -13,6 +14,8 @@ from services.primitives.actioncode_type import ActionCode
from services.primitives.integer_type import Integer from services.primitives.integer_type import Integer
from util.eval import exec_then_eval, simply_exec from util.eval import exec_then_eval, simply_exec
identifier_regex_pattern = '[_A-Za-z][._A-Za-z0-9]*'
identifier_regex = re.compile(identifier_regex_pattern)
class TryAgainNextRound(Exception): class TryAgainNextRound(Exception):
pass pass
@ -118,6 +121,8 @@ def rewrite(state,
except: except:
name_expr = f'"{rhs_name}"' # <- if the 'name' slot doesnt exist, use the pattern element name name_expr = f'"{rhs_name}"' # <- if the 'name' slot doesnt exist, use the pattern element name
suggested_name = exec_then_eval(name_expr, _globals=eval_globals) suggested_name = exec_then_eval(name_expr, _globals=eval_globals)
if not identifier_regex.match(suggested_name):
raise Exception(f"In the RHS pattern element '{rhs_name}', the following name-expression:\n {name_expr}\nproduced the name:\n '{suggested_name}'\nwhich contains illegal characters.\nNames should match the following regex: {identifier_regex_pattern}")
rhs_type = rhs_odapi.get_type(rhs_obj) rhs_type = rhs_odapi.get_type(rhs_obj)
host_type = ramify.get_original_type(bottom, rhs_type) host_type = ramify.get_original_type(bottom, rhs_type)
# for debugging: # for debugging: