compilation/spf.py

160 lines
4.4 KiB
Python
Raw Normal View History

2025-03-15 19:37:31 +01:00
#!/usr/bin/env python
2025-03-15 17:16:09 +01:00
# Projet de compilation Umons 2025
2025-03-15 19:37:31 +01:00
# Par Debucquoy Anthony (231687)
import argparse
import lark
import sys
2025-03-19 16:29:54 +01:00
from enum import Enum
from modules.Variables import Variables
2025-03-19 16:29:54 +01:00
class SPFInterpreter(lark.visitors.Interpreter):
def __init__(self, trace=False):
super().__init__()
self.variables = Variables(trace)
2025-03-20 13:27:57 +01:00
def while_loop(self, el):
2025-03-20 17:34:27 +01:00
while self.visit_children(el.children[0])[0]:
[self.visit_children(i) for i in el.children[1:]]
2025-03-20 13:27:57 +01:00
def for_loop(self, el):
print("TODO: for")
2025-03-19 16:29:54 +01:00
def afficher(self, el):
2025-03-20 13:27:57 +01:00
ligne = ""
2025-03-19 16:29:54 +01:00
for toprint in el.children[1:]:
2025-03-20 13:27:57 +01:00
ligne += str(self.visit_children(toprint)[0]) + " "
print(ligne)
2025-03-20 13:33:23 +01:00
def append(self, el):
(_, toadd, var) = self.visit_children(el);
var_val = self.variables.get(var.value)
var_val.append(toadd)
2025-03-19 16:29:54 +01:00
def declaration(self, el):
type = el.children[0].value
name = el.children[1].value
2025-03-20 00:52:05 +01:00
value = self.visit_children(el.children[3])[0] if len(el.children) >= 3 else None
self.variables.declare(type, name, value)
2025-03-19 16:29:54 +01:00
def assignation(self, el):
name = el.children[0].value
assert el.children[1].value == "=" and el.children[2].data == "expression", "Unexpected"
2025-03-19 16:29:54 +01:00
value = self.visit_children(el.children[2])[0]
self.variables.assign(name, value)
2025-03-19 16:29:54 +01:00
2025-03-20 13:27:57 +01:00
def equal(self, el):
(left, sign, right) = self.visit_children(el)
return left == right
def unequal(self, el):
(left, sign, right) = self.visit_children(el)
return left != right
def and_op(self, el):
(left, sign, right) = self.visit_children(el)
return left and right
def or_op(self, el):
(left, sign, right) = self.visit_children(el)
return left or right
def not_op(self, el):
(sign, right) = self.visit_children(el)
return not right
def lt(self, el):
(left, sign, right) = self.visit_children(el)
return left < right
def le(self, el):
(left, sign, right) = self.visit_children(el)
return left <= right
def gt(self, el):
(left, sign, right) = self.visit_children(el)
return left > right
def ge(self, el):
(left, sign, right) = self.visit_children(el)
return left >= right
def plus(self, el):
(left, sign, right) = self.visit_children(el)
return left + right # Cool ça fonctionne pour les str
def minus(self, el):
(left, sign, right) = self.visit_children(el)
return left - right
def time(self, el):
(left, sign, right) = self.visit_children(el)
return left * right
def divide(self, el):
(left, sign, right) = self.visit_children(el)
return left / right
neg = lambda self, el:-self.visit_children(el)[1]
sizeof = lambda self, el:len(self.visit_children(el)[1])
def expression(self, el):
return self.visit_children(el)[0]
2025-03-19 16:29:54 +01:00
def expressionleft(self, el):
return self.visit_children(el)[0]
def variable(self, el):
return self.variables.get(el.children[0].value)
2025-03-19 16:29:54 +01:00
# Literals
string = lambda self, el: el.children[0][1:-1]
entier = lambda self, el: int(el.children[0])
true = lambda self, _: True
false = lambda self, _: False
2025-03-15 17:16:09 +01:00
def dump(self):
self.variables.dump()
2025-03-16 11:34:15 +01:00
2025-03-15 17:16:09 +01:00
def main():
2025-03-16 11:34:15 +01:00
arg_parser = argparse.ArgumentParser()
arg_parser.add_argument("spf_file", help="Fichier source à interpréter")
arg_parser.add_argument("-d", "--dump",
2025-03-15 19:37:31 +01:00
help="affichage de la mémoire du programme",
action="store_true")
2025-03-16 11:34:15 +01:00
arg_parser.add_argument("-t", "--trace",
2025-03-15 19:37:31 +01:00
help="affichage de la mémoire au cours du programme",
action="store_true")
2025-03-20 13:27:57 +01:00
arg_parser.add_argument("-p", "--pretty",
help="affichage de l'arbre et quite",
action="store_true")
2025-03-16 11:34:15 +01:00
args = arg_parser.parse_args()
2025-03-15 19:37:31 +01:00
2025-03-16 11:34:15 +01:00
with open("spf.lark") as grammar:
spf_parser = lark.Lark(grammar, parser="lalr", strict=True, debug=True)
2025-03-16 11:34:15 +01:00
with open(args.spf_file) as spf_input:
2025-03-16 11:50:54 +01:00
program = spf_input.read()
parsed = spf_parser.parse(program)
2025-03-20 13:27:57 +01:00
if args.pretty:
print(parsed.pretty())
return
interpreter = SPFInterpreter(args.trace)
2025-03-19 16:29:54 +01:00
interpreted = interpreter.visit(parsed)
if args.dump:
2025-03-20 00:52:05 +01:00
interpreter.dump()
2025-03-16 11:34:15 +01:00
2025-03-15 17:16:09 +01:00
if __name__ == "__main__":
main()