def programm(self): #OK
self.token = self.Scanner.scan_file()
if self.token['code'] == Enum.Tint: # int
self.token = self.Scanner.scan_file()
if self.token['code'] == Enum.Tmain: # main
self.token = self.Scanner.scan_file()
if self.token['code'] == Enum.Tparenteses_opn: # "("
self.token = self.Scanner.scan_file()
if self.token['code'] == Enum.Tparenteses_cls: # ")"
self.token = self.Scanner.scan_file()
self.block(
) #* # <bloco>
if self.token['code'] == Enum.Tfeof:
return True
else:
PrintErr.print_error(
self.token,
"Programa mal formado. Era esperado Fim de arquivo apos termino do metodo main."
)
else:
PrintErr.print_error(
self.token, "Programa mal formado. Era esperado )")
else:
PrintErr.print_error(
self.token, "Programa mal formado. Era esperado (")
else:
PrintErr.print_error(
self.token,
"Programa mal formado. Era esperado a palavra reservada 'main'"
)
else:
PrintErr.print_error(
self.token,
"Programa mal formado. Era esperado a palavra reservada 'int'")
def block(self): #OK
if self.token['code'] == Enum.Tchaves_opn: # "{"
self.scope += 1 # Incrementa escopo
self.token = self.Scanner.scan_file()
while self.is_var_dec(): # {<decl_var>}*
self.var_decl()
while self.is_command(): # {<comando>}*
self.command()
if self.token['code'] == Enum.Tchaves_cls: # "}"
self.scope -= 1 # Decrementa escopo
self.token = self.Scanner.scan_file()
else:
PrintErr.print_error(self.token,
"Bloco mal formado. Era esperado '}'")
else:
PrintErr.print_error(self.token,
"Bloco mal formado. Era esperado '{'")
def basic_command(self): #OK
if self.token['code'] == Enum.Tid: # <atribuicao>
op = self.Stack.searchAll(self.token['lex'])
if not op: # Variavel nao declarada
PrintErr.print_error(
self.token,
"Variavel '" + self.token['lex'] + "' nao declarada.")
op1 = {'code': op.tipo, 'lex': op.lex, 'qtd': self.token['qtd']}
op2 = self.attribution(op)
# GENERATE BASIC COMMAND
# print('op1: {}'.format(op1))
# print('op2: {}'.format(op2))
self.generator.baisc_command_generator(op1, op2)
elif self.token['code'] == Enum.Tchaves_opn: # <bloco>
self.block()
else:
PrintErr.print_error(
self.token,
"Comando mal formado. Era esperado: Atribuicao ou Bloco.")
def command(self): #OK
if self.token['code'] == Enum.Tid or self.token[
'code'] == Enum.Tchaves_opn: # <comando_basico>
self.basic_command()
elif self.token['code'] == Enum.Twhile or self.token[
'code'] == Enum.Tdo: # <iteracao>
self.iteration()
elif self.token['code'] == Enum.Tif: # if
self.token = self.Scanner.scan_file()
if self.token['code'] == Enum.Tparenteses_opn: # "("
self.token = self.Scanner.scan_file()
op = self.rel_expr() # <expr_relacional>
if self.token['code'] == Enum.Tparenteses_cls: # ")"
self.token = self.Scanner.scan_file()
# IF GENERATOR
l_aux = self.generator.if_generator(op)
self.command() # <comando>
if self.token['code'] == Enum.Telse: # {else <comando>}?
# ELSE GENERATOR
l_aux2 = self.generator.else_generator(l_aux)
self.token = self.Scanner.scan_file()
self.command()
print('L{}'.format(l_aux2))
# print('L{}'.format(l_aux))
# self.token = self.Scanner.scan_file()
else:
PrintErr.print_error(
self.token, "Comando mal formada. Era esperado: ')'")
else:
PrintErr.print_error(self.token,
"Comando mal formada. Era esperado: '('")
else:
PrintErr.print_error(self.token, "Comando mal formado.")
def expr(self):
op1 = self.term() # <T>
op = self.token['lex']
op2 = self.arit_expr() # <E'>
# self.Stack.printTable()
if not op2:
return op1
if op2['code'] == Enum.Tdigint or op2['code'] == Enum.Tdigfloat or op2[
'code'] == Enum.Tdigchar:
if op1['code'] == Enum.Tdigchar and op2['code'] != Enum.Tdigchar:
PrintErr.print_error(
self.token,
"Variaveis incompativeis. Variaveis Char so podem ser operadas com variaveis do tipo Char."
)
if op1['code'] == Enum.Tdigint and op2['code'] == Enum.Tdigchar:
PrintErr.print_error(
self.token,
"Variaveis incompativeis. Variaveis Int podem ser operadas apenas com variaveis do tipo Int ou Float."
)
if op1['code'] == Enum.Tdigfloat and op2['code'] == Enum.Tdigchar:
PrintErr.print_error(
self.token,
"Variaveis incompativeis. Variaveis Float podem ser operadas apenas com variaveis do tipo Int ou Float."
)
if op1['code'] == Enum.Tdigint and op2['code'] == Enum.Tdigfloat:
op1['code'] = Enum.Tdigfloat
# GENERATE INT TO FLOAT
self.generator.gen_int_to_float(op1)
if op1['code'] == Enum.Tdigfloat and op2['code'] == Enum.Tdigint:
op2['code'] = Enum.Tdigfloat
# GENERATE INT TO FLOAT
self.generator.gen_int_to_float(op2)
op1 = self.generator.generate_code(op1, op2, op)
return op1
def rel_expr(self):
op1 = self.expr()
op = self.token['lex']
if self.token['code'] == Enum.Tigual or self.token[
'code'] == Enum.Tdiferente or self.token[
'code'] == Enum.Tmaior or self.token[
'code'] == Enum.Tmenor or self.token[
'code'] == Enum.Tmaior_igual or self.token[
'code'] == Enum.Tmenor_igual:
self.token = self.Scanner.scan_file()
op2 = self.expr()
if op2['code'] == Enum.Tdigint or op2[
'code'] == Enum.Tdigfloat or op2['code'] == Enum.Tdigchar:
if op1['code'] == Enum.Tdigchar and op2[
'code'] != Enum.Tdigchar:
PrintErr.print_error(
self.token,
"Variaveis incompativeis. Variaveis Char so podem ser operadas com variaveis do tipo Char."
)
if op1['code'] == Enum.Tdigint and op2['code'] == Enum.Tdigchar:
PrintErr.print_error(
self.token,
"Variaveis incompativeis. Variaveis Int podem ser operadas apenas com variaveis do tipo Int ou Float."
)
if op1['code'] == Enum.Tdigfloat and op2[
'code'] == Enum.Tdigchar:
PrintErr.print_error(
self.token,
"Variaveis incompativeis. Variaveis Float podem ser operadas apenas com variaveis do tipo Int ou Float."
)
if op1['code'] == Enum.Tdigint and op2[
'code'] == Enum.Tdigfloat:
op1['code'] = Enum.Tdigfloat
# GENERATE INT TO FLOAT
self.generator.gen_int_to_float(op1)
if op1['code'] == Enum.Tdigfloat and op2[
'code'] == Enum.Tdigint:
op2['code'] = Enum.Tdigfloat
# GENERATE INT TO FLOAT
self.generator.gen_int_to_float(op2)
op1 = self.generator.generate_code(op1, op2, op)
return op1
else:
PrintErr.print_error(
self.token,
"Expressao mal formada. Era esperado: Operador Relacional.")
def term(self):
op1 = self.factor() # <F>
# print("op1: " + str(op1))
# print("token term: "+self.token['lex']+" "+str(self.token['code']))
if self.token['code'] == Enum.Tmult or self.token[
'code'] == Enum.Tdivi: # "*" | "/"
# self.token = self.Scanner.scan_file()
op = self.token['lex']
while self.token['code'] == Enum.Tmult or self.token[
'code'] == Enum.Tdivi:
self.token = self.Scanner.scan_file()
op2 = self.factor()
# print("op2: " + op2['lex'] + " tipo: " + str(op2['code']))
if op2['code'] == Enum.Tdigint or op2[
'code'] == Enum.Tdigfloat or op2[
'code'] == Enum.Tdigchar:
if op1['code'] == Enum.Tdigchar and op2[
'code'] != Enum.Tdigchar:
PrintErr.print_error(
self.token,
"Variaveis incompativeis. Variaveis Char so podem ser operadas com variaveis do tipo Char."
)
if op1['code'] == Enum.Tdigint and op2[
'code'] == Enum.Tdigchar:
PrintErr.print_error(
self.token,
"Variaveis incompativeis. Variaveis Int podem ser operadas apenas com variaveis do tipo Int ou Float."
)
if op1['code'] == Enum.Tdigfloat and op2[
'code'] == Enum.Tdigchar:
PrintErr.print_error(
self.token,
"Variaveis incompativeis. Variaveis Float podem ser operadas apenas com variaveis do tipo Int ou Float."
)
if op1['code'] == Enum.Tdigint and op2[
'code'] == Enum.Tdigfloat:
op1['code'] = Enum.Tdigfloat
# GENERATE INT TO FLOAT
self.generator.gen_int_to_float(op1)
if op1['code'] == Enum.Tdigfloat and op2[
'code'] == Enum.Tdigint:
op2['code'] = Enum.Tdigfloat
# GENERATE INT TO FLOAT
self.generator.gen_int_to_float(op2)
if self.token['lex'] == Enum.Tdivi and op1[
'code'] == Enum.Tdigint and op2[
'code'] == Enum.Tdigint:
op1['code'] = enum.Tdigfloat
# GENERATE INT TO FLOAT
self.generator.gen_int_to_float(op1)
op1 = self.generator.generate_code(op1, op2, op)
return op1
def arit_expr(self):
if self.token['code'] == Enum.Tsoma or self.token[
'code'] == Enum.Tsub: # "+" | "-"
self.token = self.Scanner.scan_file()
op1 = self.term() # <T>
op2 = self.arit_expr() # <E'>
if not op2:
return op1
if op2['code'] == Enum.Tdigint or op2[
'code'] == Enum.Tdigfloat or op2['code'] == Enum.Tdigchar:
if op1['code'] == Enum.Tdigchar and op2[
'code'] != Enum.Tdigchar:
PrintErr.print_error(
self.token,
"Variaveis incompativeis. Variaveis Char so podem ser operadas com variaveis do tipo Char."
)
if op1['code'] == Enum.Tdigint and op2['code'] == Enum.Tdigchar:
PrintErr.print_error(
self.token,
"Variaveis incompativeis. Variaveis Int podem ser operadas apenas com variaveis do tipo Int ou Float."
)
if op1['code'] == Enum.Tdigfloat and op2[
'code'] == Enum.Tdigchar:
PrintErr.print_error(
self.token,
"Variaveis incompativeis. Variaveis Float podem ser operadas apenas com variaveis do tipo Int ou Float."
)
if op1['code'] == Enum.Tdigint and op2[
'code'] == Enum.Tdigfloat:
op1['code'] = Enum.Tdigfloat
# GENERATE INT TO FLOAT
self.generator.gen_int_to_float(op1)
if op1['code'] == Enum.Tdigfloat and op2[
'code'] == Enum.Tdigint:
op2['code'] = Enum.Tdigfloat
# GENERATE INT TO FLOAT
self.generator.gen_int_to_float(op2)
op1 = self.generator.generate_code(op1, op2, op)
return op1
def factor(self):
# print('token do factor: ' + self.token['lex'] + ' ' + str(self.token['code']))
if self.token['code'] == Enum.Tdigint or self.token[
'code'] == Enum.Tdigfloat or self.token[
'code'] == Enum.Tdigchar:
# print('factor: '+ self.token['lex']+' '+str(self.token['code']))
op = {
'code': self.token['code'],
'lex': self.token['lex'],
'qtd': self.token['qtd']
}
# print('op: '+str(op))
self.token = self.Scanner.scan_file()
return op
elif self.token['code'] == Enum.Tid:
op = self.Stack.searchAll(self.token['lex'])
if not op: # Variavel nao declarada
PrintErr.print_error(
self.token,
"Variavel '" + self.token['lex'] + "' nao declarada.")
qtd = self.token['qtd']
self.token = self.Scanner.scan_file()
return {'code': op.tipo, 'lex': op.lex, 'qtd': qtd}
elif self.token['code'] == Enum.Tparenteses_opn:
self.token = self.Scanner.scan_file()
op = self.expr()
if self.token['code'] == Enum.Tparenteses_cls:
self.token = self.Scanner.scan_file()
return op
else:
PrintErr.print_error(self.token,
"Fator mal formado. Era esperado: ')'")
else:
PrintErr.print_error(
self.token,
"Fator mal formado. Era esperado: Identificador, numero inteiro, real ou caracter"
)
def var_decl(self): #OK
if self.is_var_dec(): # <tipo>
if self.token['code'] == Enum.Tint:
tipo = Enum.Tdigint
elif self.token['code'] == Enum.Tfloat:
tipo = Enum.Tdigfloat
elif self.token['code'] == Enum.Tchar:
tipo = Enum.Tdigchar
self.token = self.Scanner.scan_file()
if self.token['code'] == Enum.Tid: # <id>
if self.Stack.searchScope(
self.token['lex'],
self.scope): # Variavel ainda nao criada no escopo
PrintErr.print_error(
self.token,
"Declaracao de variavel mal formada. A variavel '" +
self.token['lex'] + "' ja foi declarada.")
else:
self.Stack.push(
self.token['lex'], tipo,
self.scope) # empilha na tabela de simbolos
self.token = self.Scanner.scan_file()
while self.token['code'] == Enum.Tvirgula: # {,<id>}
self.token = self.Scanner.scan_file()
if self.Stack.searchScope(
self.token['lex'],
self.scope): # Variavel ainda nao criada no escopo
PrintErr.print_error(
self.token,
"Declaracao de variavel mal formada. A variavel '"
+ self.token['lex'] + "' ja foi declarada.")
else:
self.Stack.push(
self.token['lex'], tipo,
self.scope) # empilha na tabela de simbolos
if self.token['code'] == Enum.Tid:
self.token = self.Scanner.scan_file()
else:
PrintErr.print_error(
self.token,
"Declaracao de variavel mal formada. era esperado um Identificador."
)
if self.token['code'] == Enum.Tponto_virgula: # ";"
self.token = self.Scanner.scan_file()
else:
PrintErr.print_error(
self.token,
"Declaracao de variavel mal formada. era esperado um ';'"
)
else:
PrintErr.print_error(
self.token,
"Declaracao de variavel mal formada. era esperado um Identificador."
)
else:
PrintErr.print_error(
self.token,
"Declaracao de variavel mal formada. era esperado um Tipo (Int, Float, Char)"
)
def iteration(self):
# GENERATOR ITERATION
self.generator.iterator_l_generation()
if self.token['code'] == Enum.Twhile: # while
self.token = self.Scanner.scan_file()
if self.token['code'] == Enum.Tparenteses_opn: # "("
self.token = self.Scanner.scan_file()
op = self.rel_expr() # <expr_relacional>
if self.token['code'] == Enum.Tparenteses_cls: # ")"
self.token = self.Scanner.scan_file()
# GENERATOR ITERATION
l_aux = self.generator.if_while_generator(op)
self.command() # <comando>
# GENERATOR ITERATION
self.generator.end_while_generator(l_aux)
else:
PrintErr.print_error(
self.token, "Iteracao mal formada. Era esperado: ')'")
else:
PrintErr.print_error(
self.token, "Iteracao mal formada. Era esperado: '('")
elif self.token['code'] == Enum.Tdo: # do
self.token = self.Scanner.scan_file()
self.command() # <comando>
if self.token['code'] == Enum.Twhile: # while
self.token = self.Scanner.scan_file()
if self.token['code'] == Enum.Tparenteses_opn: # "("
self.token = self.Scanner.scan_file()
op = self.rel_expr() # <expr_relacional>
if self.token['code'] == Enum.Tparenteses_cls: # ")"
self.token = self.Scanner.scan_file()
if self.token['code'] == Enum.Tponto_virgula: # ";"
self.token = self.Scanner.scan_file()
# GENERATE IF
self.generator.if_generator(op)
else:
PrintErr.print_error(
self.token,
"Iteracao mal formada. Era esperado: ';'")
else:
PrintErr.print_error(
self.token,
"Iteracao mal formada. Era esperado: ')'")
else:
PrintErr.print_error(
self.token, "Iteracao mal formada. Era esperado: '('")
else:
PrintErr.print_error(
self.token, "Iteracao mal formada. Era esperado: 'while'")
else:
PrintErr.print_error(self.token, "Iteracao mal formada.")
def attribution(self, op1): #OK
if self.token['code'] == Enum.Tid: # <id>
# op1 = self.Stack.searchAll(self.token['lex'])
# if not op1:
# PrintErr.print_error(self.token, "Atribuicao mal formada. A variavel '"+self.token['lex']+"' nao foi declarada.")
self.token = self.Scanner.scan_file()
if self.token['code'] == Enum.Tatrib: # "="
self.token = self.Scanner.scan_file()
op2 = self.expr() # <expr_arit>
if op1.tipo == Enum.Tdigint and op2['code'] == Enum.Tdigfloat:
PrintErr.print_error(
self.token,
"Atribuicao mal formada. A variavel '" + op2['lex'] +
"' do tipo Float nao pode ser atribuida a variavel '" +
op1.lex + "' do tipo Int.")
if op1.tipo == Enum.Tdigint and op2['code'] == Enum.Tdigchar:
PrintErr.print_error(
self.token,
"Atribuicao mal formada. A variavel '" + op2['lex'] +
"' do tipo Char nao pode ser atribuida a variavel '" +
op1.lex + "' do tipo Int.")
if op1.tipo == Enum.Tdigchar and op2['code'] == Enum.Tdigint:
PrintErr.print_error(
self.token,
"Atribuicao mal formada. A variavel '" + op2['lex'] +
"' do tipo Int nao pode ser atribuida a variavel '" +
op1.lex + "' do tipo Char.")
if op1.tipo == Enum.Tdigchar and op2['code'] == Enum.Tdigfloat:
PrintErr.print_error(
self.token,
"Atribuicao mal formada. A variavel '" + op2['lex'] +
"' do tipo Float nao pode ser atribuida a variavel '" +
op1.lex + "' do tipo Char.")
if op1.tipo == Enum.Tdigfloat and op2['code'] == Enum.Tdigchar:
PrintErr.print_error(
self.token,
"Atribuicao mal formada. A variavel '" + op2['lex'] +
"' do tipo Char nao pode ser atribuida a variavel '" +
op1.lex + "' do tipo Float.")
if self.token['code'] == Enum.Tponto_virgula: # ";"
self.token = self.Scanner.scan_file()
return op2
else:
PrintErr.print_error(
self.token,
"Atribuicao mal formada. Era esperado: ';'")
else:
PrintErr.print_error(
self.token, "Atribuicao mal formada. Era esperado: '='")
else:
PrintErr.print_error(
self.token,
"Atribuicao mal formada. Era esperado: Identificador.")