def main_loop(self):
for self.i in self.ifln:
self.lineno += 1
if self.flag_exit:
break
if self.i[:5].upper() == 'START':
if self.flag_start:
raise error.SyntaxError(error.MTO_st_present % self.lineno)
print("starting...")
self.flag_start = True
self.flag_skip = True
self.skipby = len(self.i)
continue
if self.flag_start:
self.full_words()
if not self.flag_skip_if: self.chars()
if self.flag_active:
self.flag_active = 0
if not self.flag_exit:
if not self.flag_start:
raise error.SyntaxError(error.NO_start_present % self.lineno)
raise error.SyntaxError(error.NO_end_present % self.lineno)
def validation_1(self, string, strlist_part, ifn):
check = len([x for x in string if x == '"'])
if check:
if check > 2:
raise error.SyntaxError(error.too_many_quot
% self.lineno)
elif check == 1:
raise error.SyntaxError(error.missing_ONE_quot
% self.lineno)
else:
raise error.SyntaxError(error.missing_BOTH_quot
% self.lineno)
valid_var = 0
for varl in self.var_list:
try:
if varl[strlist_part]:
valid_var+=1
self.varl = varl
except KeyError: pass
if ifn:
if valid_var >= 1:
raise error.SyntaxError(error.MTO_var_w_name
% (strlist_part, self.lineno))
elif not valid_var:
raise error.SyntaxError(error.NO_var_w_name
% (strlist_part, self.lineno))
def make_tokens(self):
tokens = []
c = self.advance()
while c:
if c == ' ':
c = self.advance()
continue
elif c in OPREROTS:
tokens.append(Token(OPREROTS[c]))
elif c in LETTERS:
token = self.make_keyword()
tokens.append(token)
elif c in DIGITS:
number, err = self.make_number()
if not err:
if isinstance(number, int):
tokens.append(Token('INT', number))
elif isinstance(number, float):
tokens.append(Token('INT', number))
else:
return None, err
else:
return None, error.SyntaxError(f'Invalid Charactor "{c}"')
c = self.advance()
return tokens, None
def check(self, tokens, index, level):
print("Index and level are:", index, level)
productionCounter = 0
productionAmount = len(self.productions)
for production in self.productions:
length = len(production)
validTokens = 0
counter = index
maxRecursionCounter = 0
maxRecursion = 10
for token in production:
# Temp infinite recursion fix
if(token.value == self.value):
maxRecursionCounter += 1
if(maxRecursionCounter == maxRecursion):
break
print("CURRENT TOKEN IS:", token.value)
# If symbol/token is terminal
if(token.__class__.__name__ == "Terminal"):
valid, counter, level, err = token.check(tokens,counter, level + 1)
if(valid):
print("Found valid terminal symbol", token.value)
validTokens += 1
else:
return False, index, level, err
else:
valid, counter, level, err = token.check(tokens, counter, level + 1)
if(valid):
validTokens += 1
counter += 1
if(validTokens == length):
print("Found a complete valid production")
return True, counter, level, error.SyntaxError(True, tokens[index], level)
if(productionCounter == productionAmount):
return False, index, level, error.SyntaxError(True, tokens[index], level)
return False, index, level, error.SyntaxError(True, tokens[index], level)
def make_number(self):
dots = 0
number = ''
c = self.__currunt_cha
while c and c in DIGITS:
number += c
if c == '.': dots += 1
if dots > 1:
return None, None, error.SyntaxError('Unexpected "." found')
c = self.advance()
self.__idx -= 1
if dots > 0:
return float(number), None
else:
return int(number), None
def make_number(x, line):
i = x
dots = 0
number = ''
while line[i] in DIGITS:
number += line[i]
if line[i] == '.': dots += 1
if dots > 1:
return None, None, error.SyntaxError('Unexpected "." found')
i += 1
if i >= len(line): break
if dots > 0:
return float(number), i - 1, None
else:
return int(number), i - 1, None
def get_var_vt(self, expr_item):
valid_var = 0
for varl in self.var_list:
try:
if varl[expr_item]:
valid_var+=1
self.varl = varl
except KeyError:
pass
if not valid_var:
raise error.SyntaxError(error.NO_var_w_name
% (expr_item, self.lineno))
return self.varl[expr_item] #type_of_var, value_of_var
def factor(self):
'''factor (single number) - @returns int or float'''
token = self.current_token
if token.type in ('PLS', 'MIN'):
self.advance()
value = self.factor()
if token.type == 'MIN': value *= -1
return value
elif token.type == 'LPR':
self.advance()
res = self.exper()
if self.current_token.type == 'RPR':
return res
else:
return None, error.SyntaxError(
f'Expect ")" but {self.current_tok.type} found')
elif token.type in ('INT', 'FLOAT'):
self.advance()
return token.value
def chars(self): #numbers, etc
if self.flag_skipchars == True:
self.flag_skipchars = False
return 0
if not self.flag_active and self.flag_start:
if self.i[self.indentlvl:3 + self.indentlvl].upper() != 'END':
if self.i.replace(" ", "") != '\n':
raise error.SyntaxError(
error.NO_kw_present %
(self.i.replace("\n", ""), self.lineno))
for self.pos_char, self.char_data in enumerate(self.i):
if self.char_data == '\n': continue
if self.flag_skip and self.skipby != 0:
self.skipby -= 1
continue
elif self.flag_skip and self.skipby == 0:
self.flag_skip = False
self.flag_handler()
def make_tokens(line):
tokens = []
i = 0
while True:
if i >= len(line): break
c = line[i]
if c == ' ':
pass
elif c in OPREROTS:
tokens.append(Token(OPREROTS[c]))
elif c in DIGITS:
number, i, err = make_number(i, line)
if not err:
if isinstance(number, int): tokens.append(Token('INT', number))
elif isinstance(number, float):
tokens.append(Token('INT', number))
else:
return None, err
else:
return None, error.SyntaxError(f'Invalid Charactor "{c}"')
i += 1
return tokens, None
def full_words(self): #keyword handler
i_indented = self.i[self.indentlvl:].upper()
i_indented_endif = self.i[self.indentlvl - 4:1 + self.indentlvl]
self.tokens = [x for x in self.i[:-1].split(' ') if x != '']
if i_indented_endif.upper() == "ENDIF":
self.indentlvl -= 4
if self.flag_skip_if:
self.flag_skip_if = False
return 0
elif i_indented[:5] == "ENDIF" and not self.indentlvl:
raise error.SyntaxError(error.NO_if_present % self.lineno)
else:
if self.flag_skip_if: return 0
if i_indented[:3] == "END":
print("ending...")
self.flag_exit = True
self.flag_skip = True
self.skipby = len(self.i)
elif i_indented[:6] == "CONST ":
self.flag_active += 1
self.flag_const = True
self.flag_skip = True
self.skipby = 5
elif i_indented[:5] == "DECL:":
self.flag_active += 1
self.flag_skip = True
self.skipby = 5
self.flag_decl = True
if "$" in self.i and "@" in self.i:
raise error.SyntaxError(error.MTO_sc_present % self.lineno)
elif "@" == self.tokens[2][0]:
self.flag_vardecl = True
elif "$" == self.tokens[2][0]:
self.flag_directdecl = True
elif "i" == self.tokens[2][0]:
self.flag_imemdecl = True
else:
raise error.SyntaxError(error.NO_sc_present % self.lineno)
elif i_indented[:4] == "OUT ":
self.flag_active += 1
self.flag_out = True
self.flag_skip = True
self.skipby = 3
if "$" in self.i and "i" in self.i:
raise error.SyntaxError(error.MTO_sc_present % self.lineno)
elif "@" == self.tokens[1][0]:
self.flag_varout = True
elif "$" == self.tokens[1][0]:
self.flag_directout = True
elif "i" == self.tokens[1][0]:
self.flag_imemout = True
else:
raise error.SyntaxError(error.NO_sc_present % self.lineno)
elif i_indented[:5] == "AOUT ":
self.flag_active += 1
self.flag_aout = True
self.flag_skip = True
self.skipby = 4
if "$" in self.i and "i" in self.i:
raise error.SyntaxError(error.MTO_sc_present % self.lineno)
if "@" == self.tokens[1][0]:
self.flag_varaout = True
elif "$" == self.tokens[1][0]:
self.flag_directaout = True
elif "i" == self.tokens[1][0]:
self.flag_imemaout = True
else:
raise error.SyntaxError(error.NO_sc_present % self.lineno)
elif i_indented[:2] == "IF":
self.flag_active += 1
self.indentlvl += 4
self.flag_logicflow = True
self.flag_logic_if = True
self.flag_skip = True
self.skipby = 2
def factor(self):
'''factor (single number) - @returns NumberNode'''
global global_vars
token = self.current_token
if self.current_token:
if token.type in ('PLS', 'MIN'):
self.advance()
if self.current_token:
value, err = self.factor()
if not err:
return nodes.UneryOpNode(token, value), None
else:
return None, err
else:
return None, error.SyntaxError(
f'No tokens after {token.type}')
elif token.type == 'LPR':
self.advance()
res, err = self.exper()
if err: return None, err
if self.current_token.type == 'RPR':
self.advance()
return res, None
else:
return None, error.SyntaxError(
f'Expect ")" but {self.current_tok} found')
elif token.type in ('INT', 'FLOAT'):
self.advance()
return nodes.NumberNode(token), None
elif token.type == 'IDF':
var_name = token.value
self.advance()
if self.current_token and self.current_token.type == 'EQ':
self.advance()
value, err = self.exper()
global_vars[var_name] = Variable(var_name, value)
return None, err
return nodes.VarAccessNode(token.value), None
elif token.type == 'KWD':
if token.value == 'var':
token = self.advance()
if token.type == 'IDF':
var_name = token.value
token = self.advance()
if token.type == 'EQ':
self.advance()
value, err = self.exper()
global_vars[var_name] = Variable(var_name, value)
return None, err
else:
return None, error.SyntaxError(
'Expected "=" after identifire.')
else:
return None, error.SyntaxError(
'Expected an identifire after var keyword.')
else:
return error.Error('<Error>', 'NOT DEFINDED')
else:
return None, error.SyntaxError(
f'Expect INT ot FLOAT or VAR but nothing found')
else:
return None, error.SyntaxError(
f"There are no tokens found after {self.tokens[-1]}")
def check(self, tokens, level, index):
if(self.value == tokens[index].name):
return True, index + 1, level, error.SyntaxError(True, tokens[index], level)
else:
return False, index, level, error.SyntaxError(False, tokens[index], level)
return True, index + 1, level, error.SyntaxError(True, tokens[index], level)
def flag_handler(self):
if self.flag_const:
i = 0
while self.imem[i] != 0: i+=1
if self.indentlvl == 0:
value = self.i.split("const ")[-1].replace("\n","")
else:
value = self.char_data[self.indentlvl:].replace(" ","")
#print("const: stored constant %s at index %s." % (self.imem[i], i))
try: value = int(value)
except:
try:
value = float(value)
except:
raise error.TypeError(error.Conv_Type)
self.imem[i] = value
self.flag_const = False
elif self.flag_decl:
lamb = lambda: 0 if len(self.tokens) == 4 else 1
if self.flag_directdecl:
value = self.i[:-1].split('$')[1].rstrip().lstrip()
typeof = self.tokens[0][5:].lower()
name = self.tokens[1][1:-1]
self.validation_1(self.i, name, 1)
if typeof not in ("str", "float", "int", "bool"):
raise error.TypeError(error.Conv_Type
% self.lineno)
if " " in name:
raise error.SyntaxError(error.MTO_word_in_quot
% self.lineno)
if value.lower() in ("true","false","1","0"):
try: exec("%s('%s')" % (typeof, value))
except: raise error.SyntaxError(error.Conv_Type
% self.lineno)
else:
if typeof == "bool":
raise error.TypeError(error.Conv_Bool
% (value, self.lineno))
if typeof == "float":
try:
value = float(value)
except ValueError:
raise error.TypeError(error.Conv_Float
% (value, self.lineno))
elif typeof == "int":
try:
if not float(value).is_integer():
raise error.TypeError(error.Conv_Int
% (value, self.lineno))
value = int(decimal.Decimal(value))
except (decimal.InvalidOperation, ValueError):
raise error.TypeError(error.Conv_Int
% (value, self.lineno))
self.flag_directdecl = False
elif self.flag_imemdecl:
typeof = self.tokens[0][5:].lower()
if typeof not in ("int", "float"):
raise error.TypeError(error.Conv_Type
% self.lineno)
name = self.tokens[1][1:-1]
value = self.imem[int(self.tokens[len(self.tokens)-1][lamb():])]
if typeof == "int":
try: value = int(value)
except:
raise error.TypeError(error.Conv_Int
% self.lineno)
self.flag_imemdecl = False
elif self.flag_vardecl:
check = len([x for x in self.i if x == '"'])
if check > 4:
raise error.SyntaxError(error.too_many_quot
% self.lineno)
elif check < 4:
raise error.SyntaxError(error.inv_num_quot
% self.lineno)
name = self.tokens[1][1:-1]
self.validation_1(self.tokens[1], name, 1)
valid_var = 0
for varl in self.var_list:
try:
if varl[self.tokens[len(self.tokens)-1][lamb()+1:-1]]:
valid_var+=1
self.varl = varl
except KeyError: pass
if not valid_var:
raise error.SyntaxError(error.NO_var_w_name
% (self.tokens[-1][2:-1], self.lineno))
value = self.varl[
self.tokens[len(self.tokens)-1][lamb()+1:-1]
][1]
typeof = self.tokens[0][5:].lower()
if typeof not in ("str", "float", "int", "bool"):
raise error.TypeError(error.Conv_Type
% self.lineno)
if " " in name:
raise error.SyntaxError(error.MTO_word_in_quot
% self.lineno)
if str(value).lower() in ("true","false","1","0"):
try: exec("%s('%s')" % (typeof, value))
except: raise error.SyntaxError(error.Conv_Type
% self.lineno)
else:
if typeof == "bool":
raise error.TypeError(error.Conv_Bool
% (value, self.lineno))
if typeof == "float":
try:
value = float(value)
except ValueError:
raise error.TypeError(error.Conv_Float
% (value, self.lineno))
elif typeof == "int":
try:
if not float(value).is_integer():
raise error.TypeError(error.Conv_Int
% (value, self.lineno))
value = int(decimal.Decimal(value))
except (decimal.InvalidOperation, ValueError):
raise error.TypeError(error.Conv_Int
% (value, self.lineno))
self.flag_vardecl = False
self.var_list.append( {name : (typeof, value)} )
self.flag_decl = False
elif self.flag_out:
if self.flag_directout:
try:
ifiltered = self.i[5:-1].replace("$","").rstrip()
print('%.f' % float(ifiltered), end = "")
except ValueError:
raise error.TypeError(error.Conv_Float
% (ifiltered, self.lineno))
self.flag_directout = False
elif self.flag_imemout:
try:
ind = int(self.i[5:-1].replace(" ","").split("i")[-1])
print(self.imem[ind], end = "")
except IndexError:
raise error.IndexError(error.Mem_Index
% self.lineno)
self.flag_imemout = False
elif self.flag_varout:
i_rel = self.i.replace("\n","")
string = self.i.lower().split('out ')[1]
strlist = [
string[0],
''.join(i_rel.split('@')[1][1:].split('"'))
]
self.validation_1(string, strlist[1], 0)
type_of_variable = self.varl[strlist[1]][0]
value_of_var = self.varl[strlist[1]][1]
if type_of_variable == "int":
print('%d' % int(value_of_var), end = "")
elif type_of_variable == "float":
print(value_of_var, end = "")
elif type_of_variable == "bool":
if value_of_var.lower() in ("false","0"):
tempvar = 0
else:
tempvar = 1
print(tempvar, end = "")
elif type_of_variable == "str":
for x in value_of_var:
print(ord(x), end = " ")
else:
raise error.TypeError(error.Conv_Type
% self.lineno)
self.flag_varout = False
self.flag_out = False
elif self.flag_aout:
if self.flag_directaout:
try:
ifiltered = self.i[6:-1].split("$")[-1]
print('%s' % chr(int(ifiltered.rstrip())), end = "")
except:
raise error.TypeError(error.Conv_Int
% (ifiltered, self.lineno))
self.flag_directaout = False
elif self.flag_imemaout:
try:
ind = int(self.i[4:].split("i")[-1])
value = chr(int(self.imem[ind]))
print('%s' % value, end = "")
except ValueError:
try:
raise error.TypeError(error.Conv_Int
% (self.imem[ind], self.lineno))
except UnboundLocalError:
raise error.IndexError(error.Mem_Index
% self.lineno)
self.flag_imemaout = False
elif self.flag_varaout:
i_rel = self.i.replace("\n","")
string = self.i.lower().split('aout ')[1]
strlist = [
string[0],
''.join(i_rel.split('@')[1][1:].split('"'))
]
self.validation_1(string, strlist[1], 0)
type_of_variable = self.varl[strlist[1]][0]
value_of_var = self.varl[strlist[1]][1]
if type_of_variable == "int":
print('%s' % chr(int(value_of_var)), end = "")
elif type_of_variable == "float":
if not float(value_of_var).is_integer():
raise error.TypeError(error.Conv_Int
% (value_of_var, self.lineno))
else:
print('%s' % chr(int(value_of_var)), end = "")
elif type_of_variable == "bool":
if value_of_var.lower() in ("false","0"):
tempvar = "false"
else:
tempvar = "true"
print(tempvar, end = "")
elif type_of_variable == "str":
print(value_of_var, end = "")
else:
raise error.TypeError(error.Conv_Type
% self.lineno)
self.flag_varaout = False
self.flag_aout = False
if self.flag_logicflow:
if self.flag_logic_if:
self.flag_skip_if = None
if "[" not in self.i and "]" not in self.i:
raise error.SyntaxError(error.missing_square_brackets
% self.lineno)
for x in range(2):
if ("[","]")[x] not in self.i:
raise error.SyntaxError(error.missing_square_bracket
% (("[","]")[x], self.lineno))
lbracketchk = len([x for x in self.i if x == '['])
rbracketchk = len([x for x in self.i if x == ']'])
if lbracketchk > 1:
if rbracketchk > 1:
raise error.SyntaxError(error.MTO_squareb_present
% self.lineno)
else:
raise error.SyntaxError(error.MTO_lsquareb_present
% self.lineno)
elif rbracketchk > 1:
raise error.SyntaxError(error.MTO_rsquareb_present
% self.lineno)
expression_list = self.i.split("[")[1].split("]")[0].split(' ')
if expression_list == '':
raise error.SyntaxError(error.NO_Logic_present
% self.lineno)
if len(expression_list) != 3:
raise error.SyntaxError(error.Inv_Args_present
% self.lineno)
#equal to, not equal to, less than, more than
if expression_list[1] not in ("==","!="): #,"\\\\","//"
raise error.SyntaxError(error.Inv_Op_present
% self.lineno)
check_list = []
varsl = []
def rfunc():
raise error.TypeError(error.Conv_Type
% self.lineno)
l1 = lambda: 2 if type_of_var in ("int", "float") else rfunc()
return_typevar = lambda: 1 if type_of_var == "str" else l1()
for x in range(0, 3, 2):
special_exists = None
for sc in ("$", "i"):
if sc == expression_list[x][0]:
special_exists = sc
if special_exists == "$": #direct
value_of_var = expression_list[x][1:]
type_of_var = None
try: value_of_var = int(value_of_var)
except:
try: value_of_var = float(value_of_var)
except: pass
finally:
if type(value_of_var) == int:
type_of_var = "int"
elif type(value_of_var) == float:
type_of_var = "float"
else:
if value_of_var.lower() in ("1","0","true","false"):
type_of_var = "bool"
else:
type_of_var = "str"
elif special_exists == "i":
try:
type_of_var, value_of_var = self.get_var_vt(
expression_list[x]
)
except:
try:
value_of_var = self.imem[int(expression_list[x][1:])]
except ValueError:
raise error.TypeError(error.Conv_Int
% (expression_list[x][1:], self.lineno))
try:
value_of_var, type_of_var = int(value_of_var), "int"
except:
try:
value_of_var = float(value_of_var)
type_of_var = "float"
except:
pass #if string
else: #string-variable
type_of_var, value_of_var = self.get_var_vt(expression_list[x])
if type_of_var == "float":
value_of_var = float(value_of_var)
varsl.append([type_of_var, value_of_var])
check_list.append(return_typevar())
if check_list == [1,1]:
check_1 = (varsl[0][1], varsl[1][1])
elif check_list == [2,2]:
check_1 = (float(varsl[0][1]), float(varsl[1][1]))
elif check_list in ([1,2], [2,1]):
if varsl[0][0] == 1:
check_1 = (len(varsl[0][1]), varsl[1][1])
else:
check_1 = (varsl[0][1], len(varsl[1][1]))
if expression_list[1] == "==":
self.flag_skip_if = (check_1[0] != check_1[1])
else:
self.flag_skip_if = (check_1[0] == check_1[1])
self.flag_logic_if = False
self.flag_logicflow = False