This commit is contained in:
xinzish
2024-04-08 23:41:36 +08:00
parent c1a5759220
commit 46f898a000
5 changed files with 33 additions and 7 deletions

View File

@@ -81,3 +81,11 @@ def delete_region(name: str, cs: ChangeSet) -> ChangeSet:
if get_region(name, cs.operations[0]['id']) == {}:
return ChangeSet()
return execute_command(name, _delete_region(name, cs))
def inp_in_region(line: str) -> str:
tokens = line.split()
return str(f"insert into _region (id, type) values ('{tokens[0]}', '{tokens[1]}');")
def inp_in_bound(line: str) -> str:
tokens = line.split()
return tokens[0]