CCF_100/relational
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Typing

Browse Source
This commit is contained in:
Salvo 'LtWorf' Tomaselli 2020-06-09 19:37:00 +02:00
parent 67d050e07d
commit f139257d2c
No known key found for this signature in database
GPG Key ID: B3A7CF0C801886CF
1 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
relational/optimizer.py
View File

@ -24,21 +24,20 @@
# the parse tree itself will be modified accordingly.
from typing import Union, Optional, Dict, Any, Tuple
from relational.relation import Relation
from relational import optimizations
from relational.parser import Node, Variable, Unary, Binary, op_functions, tokenize, tree
from relational import querysplit
from relational.maintenance import UserInterface
ContextDict = Dict[str,Any]
def optimize_program(code, rels: ContextDict):
def optimize_program(code, rels: Dict[str, Relation]):
'''
Optimize an entire program, composed by multiple expressions
and assignments.
'''
lines = code.split('\n')
context = {} # type: ContextDict
context = {}
for line in lines:
line = line.strip()
@ -53,7 +52,7 @@ def optimize_program(code, rels: ContextDict):
return querysplit.split(node, rels)
def optimize_all(expression: Union[str, Node], rels: ContextDict, specific: bool = True, general: bool = True, debug: Optional[list] = None, tostr: bool = True) -> Union[str, Node]:
def optimize_all(expression: Union[str, Node], rels: Dict[str, Relation], specific: bool = True, general: bool = True, debug: Optional[list] = None, tostr: bool = True) -> Union[str, Node]:
'''This function performs all the available optimizations.
expression : see documentation of this module
@ -98,7 +97,7 @@ def optimize_all(expression: Union[str, Node], rels: ContextDict, specific: bool
return n
def specific_optimize(expression, rels: ContextDict):
def specific_optimize(expression, rels: Dict[str, Relation]):
'''This function performs specific optimizations. Means that it will need to
know the fields used by the relations.