-
Notifications
You must be signed in to change notification settings - Fork 0
/
__main__.py~
103 lines (61 loc) · 2.25 KB
/
__main__.py~
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
import sys
import re
from smallStep import SmallStep
from typeSystem import TypeSystem
from tokenTree import TokenTree
def programPreParsing(program):
program = program.replace('\n',' ')
program = program.replace(')',' ')
program = program.replace('(','$')
program = re.sub(' +',' ',program)
if program[0] == ' ':
program = program[1:]
if program[len(program)-1] == ' ':
program = program[:-1]
return program
if __name__ == '__main__':
if len(sys.argv) != 2:
print 'argumentos invalidos, o programa agora ira fechar...'
exit()
try:
f = open(sys.argv[1],'r')
except IOError:
print 'arquivo inexistente, o programa agora ira fechar...'
program = f.read()
program = programPreParsing(program)
tree = TokenTree(program).tree
dic = {}
dic['result'] = ['ref',['nat']]
dic['quadrado'] = ['ref',[['nat'],'-->',['nat']]]
dic['rec'] = ['ref',[['nat'],'-->',['nat']]]
dic['fn1'] = ['ref',[ [['nat'],'-->',['bool']] , '-->' , ['bool'] ]]
dic['x1'] = ['ref',['nat']]
dic['x2'] = ['ref',['nat']]
dic['x3'] = ['ref',['nat']]
dic['bool1'] = ['ref',['bool']]
dic['bool2'] = ['ref',['bool']]
temptree = []
for x in range(len(dic.keys())):
temptree.append(dic.keys()[x])
temptree.append(dic.values()[x])
tree = [temptree,'#',tree]
print 'foi montada a arvore:'
print tree
print '----------------'
print 'tipo da funcao:'
final_type = TypeSystem(tree[2],dic).checkType()
print final_type
print '---------------'
print '\n\n'
print 'agora o programa ira comecar a realizar o small-step'
smallStep = SmallStep(tree)
raw_input(' ')
while True:
smallStep.makeStep()
print '-----------------------------'
print smallStep.tree
print 'memoria: ' + str(smallStep.memory)
raw_input(' ')
if type(smallStep.tree) == type(' ') or smallStep.tree[0] = 'if':
exit()
#potencia labels : { 'result' : 'nat' , 'quadrado' : ['nat',-->,'nat'] }