interpret.py

from argParser import *
from xmlParser import parse
from interpretFuncs import *
from instuction import InstList
from data import Variable
import re

# process args
check_args(sys.argv)
source_file = find_source(sys.argv)
input_file = find_input(sys.argv)
if source_file == 0 and input_file == 0:
    print("Neplatne pouziti argumetu, pouzijte --help.", file=sys.stderr)
    exit(10)

# promenna pro ulozeni obsahu ze stdin
content = ""

# nacteni xml obsahu na vstupu pokud neni zadan soubor
if source_file == 0:
    for line in sys.stdin:
        content += line

# overeni existence souboru v argumentech
try:
    f = open(source_file, "r")
except OSError:
    print("Neni mozne otevrit/cist soubor", source_file, file=sys.stderr)
    exit(11)
try:
    f = open(input_file, "r")
except OSError:
    print("Neni mozne otevrit/cist soubor", input_file, file=sys.stderr)
    exit(11)

# parsovani xml vstupu
i_list = parse(source_file, content)

# interpretace ########################################################xx
# nacteni vstupu ze souboru input, pokud existuje
if input_file != 0:
    content = []
    f = open(input_file, "r")
    while True:
        line = f.readline()
        line = line.rstrip('\n')
        if line == "":
            break
        content.append(line)

# ramce
var_list = []
LF_var_list = []
TF_var_list = []

# existence docasneho ramce
tf_exists = False

# datovy zasobnik
data_stack = []

# seznam labelu a zasobnik volani
label_list = []
call_stack = []

# pocitadlo vykonanych instrukci
inst_count = 0

# ulozeni vsech LABELU v programu
save_labels(label_list, i_list)

# prochazeni a interpretace instrukcniho listu
inst_list = InstList(i_list, len(i_list))
i = 0
while i < (inst_list.get_count()):

    # kontrola zasobniku lokalnich ramcu
    LF_index = len(LF_var_list) - 1  # ulozeni indexu ramce
    lf_exists = False
    curr_LF = []  # inicializace prazdneho LF ramce
    # kontrola existence ramce
    if LF_index >= 0:
        lf_exists = True
        curr_LF = LF_var_list[LF_index].get_lf_list()

    inst = inst_list.get_inst()

    # INSTRUCTIONS

    if inst == 'DEFVAR':
        var = Variable()
        var.set_name_frame(inst_list.get_arg1())

        if var.frame == 'GF':
            for _var in var_list:
                if _var.full_name == inst_list.get_arg1():
                    print("Redefinice promenne", inst_list.get_arg1(), file=sys.stderr)
                    exit(52)
            var_list.append(var)

        if var.frame == 'LF':
            if LF_index < 0:
                print("Rámec LF neexistuje.", file=sys.stderr)
                exit(55)
            else:
                for _var in curr_LF:
                    if _var.full_name == inst_list.get_arg1():
                        print("Redefinice promenne", inst_list.get_arg1(), file=sys.stderr)
                        exit(52)
                LF_var_list[LF_index].append_lf_list(var)

        if var.frame == 'TF':
            if tf_exists:
                for _var in TF_var_list:
                    if _var.full_name == inst_list.get_arg1():
                        print("Redefinice promenne", inst_list.get_arg1(), file=sys.stderr)
                        exit(52)
                TF_var_list.append(var)
            else:
                print("Rámec TF neexistuje.", file=sys.stderr)
                exit(55)

    elif inst == 'CREATEFRAME':
        TF_var_list.clear()
        tf_exists = True

    elif inst == 'PUSHFRAME':
        new_frame = LocalFrame()
        new_frame.LF_var_list = TF_var_list.copy()

        if not tf_exists:
            print("Rámec TF neexistuje.", file=sys.stderr)
            exit(55)

        for var in new_frame.get_lf_list():
            var.full_name = var.full_name.replace('TF', 'LF')
            var.frame = 'LF'

        LF_var_list.append(new_frame)
        tf_exists = False

    elif inst == 'POPFRAME':
        if LF_index < 0:
            print("Rámec LF neexistuje.", file=sys.stderr)
            exit(55)

        TF_var_list = (LF_var_list.pop()).get_lf_list()

        for var in TF_var_list:
            var.full_name = var.full_name.replace('LF', 'TF')
            var.frame = 'TF'
        tf_exists = True

    elif inst == 'CALL':
        call_stack.append(inst_list.get_index())

        isdef = False
        for label in label_list:
            if label.name == inst_list.get_arg1():
                inst_list.set_index(label.index)
                isdef = True
        if not isdef:
            print("Nedefinovany label", inst_list.get_arg1(), file=sys.stderr)
            exit(52)

    elif inst == 'RETURN':
        if len(call_stack) == 0:
            print("Zasobnik volani je prazdny.", file=sys.stderr)
            exit(56)
        jump_index = call_stack.pop()
        inst_list.set_index(jump_index)

    elif inst == 'LABEL':
        pass

    elif inst == 'JUMP':
        isdef = False
        for label in label_list:
            if label.name == inst_list.get_arg1():
                inst_list.set_index(label.index)
                isdef = True
        if not isdef:
            print("Nedefinovany label", inst_list.get_arg1(), file=sys.stderr)
            exit(52)

    elif inst == 'PUSHS':
        push_stack(data_stack,
                   get_content(inst_list.get_arg1_type(), inst_list.get_arg1(), var_list, TF_var_list, curr_LF,
                               inst_list, tf_exists, lf_exists, 1),
                   get_type(inst_list.get_arg1_type(), inst_list.get_arg1(), var_list, TF_var_list, curr_LF, inst_list,
                            tf_exists, lf_exists, 1))

    elif inst == 'POPS':
        pop_stack(data_stack, var_list, TF_var_list, curr_LF, inst_list, lf_exists, tf_exists)

    elif inst == 'JUMPIFEQ':
        if (get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                     tf_exists, lf_exists, 2) !=
                get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 3)):

            if (get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 2) != 'nil' and
                    get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                             tf_exists, lf_exists, 3) != 'nil'):
                print("Nepovolene porovnani instrukce JUMPIFEQ", inst_list.get_arg1(), file=sys.stderr)
                exit(53)

        if (get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                     tf_exists, lf_exists, 2) == 'int' and
                get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 2) != 'nil' and
                get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 3) != 'nil'):
            if (int(get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF,
                                inst_list, tf_exists, lf_exists, 2)) ==
                    int(get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF,
                                    inst_list, tf_exists, lf_exists, 3))):
                isdef = False
                for label in label_list:
                    if label.name == inst_list.get_arg1():
                        inst_list.set_index(label.index)
                        isdef = True
                if not isdef:
                    print("Nedefinovany label", inst_list.get_arg1(), file=sys.stderr)
                    exit(52)
        else:
            if (get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                            tf_exists, lf_exists, 2) ==
                    get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF,
                                inst_list, tf_exists, lf_exists, 3)):
                isdef = False
                for label in label_list:
                    if label.name == inst_list.get_arg1():
                        inst_list.set_index(label.index)
                        isdef = True
                if not isdef:
                    print("Nedefinovany label", inst_list.get_arg1(), file=sys.stderr)
                    exit(52)

    elif inst == 'JUMPIFNEQ':
        if (get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                     tf_exists, lf_exists, 2) !=
                get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 3)):
            if (get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 2) != 'nil' and
                    get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                             tf_exists, lf_exists, 3) != 'nil'):
                print("Nepovolene porovnani instrukce JUMPIFNEQ", inst_list.get_arg1(), file=sys.stderr)
                exit(53)

        if (get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                     tf_exists, lf_exists, 2) == 'int' and
                get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 2) != 'nil' and
                get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 3) != 'nil'):
            if (int(get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF,
                                inst_list, tf_exists, lf_exists, 2)) !=
                    int(get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF,
                                    inst_list, tf_exists, lf_exists, 3))):
                isdef = False
                for label in label_list:
                    if label.name == inst_list.get_arg1():
                        inst_list.set_index(label.index)
                        isdef = True
                if not isdef:
                    print("Nedefinovany label", inst_list.get_arg1(), file=sys.stderr)
                    exit(52)
        else:
            if (get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                            tf_exists, lf_exists, 2) !=
                    get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF,
                                inst_list, tf_exists, lf_exists, 3)):
                isdef = False
                for label in label_list:
                    if label.name == inst_list.get_arg1():
                        inst_list.set_index(label.index)
                        isdef = True
                if not isdef:
                    print("Nedefinovany label", inst_list.get_arg1(), file=sys.stderr)
                    exit(52)

    elif inst == 'ADD':
        if (get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                     tf_exists, lf_exists, 2) != 'int' or
                get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 3) != 'int'):
            print("Nepovoleny typ operandu instrukce ADD.", file=sys.stderr)
            exit(53)
        try:
            set_variable(inst_list, var_list, curr_LF, TF_var_list, 'int',
                         (int(get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list,
                                          curr_LF, inst_list, tf_exists, lf_exists, 2)) +
                          int(get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list,
                                          curr_LF, inst_list, tf_exists, lf_exists, 3))),
                         lf_exists, tf_exists)
        except (ValueError, TypeError):
            print("Int aint int.", inst, file=sys.stderr)
            exit(53)

    elif inst == 'SUB':
        if (get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                     tf_exists, lf_exists, 2) != 'int' or
                get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 3) != 'int'):
            print("Nepovoleny typ operandu instrukce SUB.", file=sys.stderr)
            exit(53)
        try:
            set_variable(inst_list, var_list, curr_LF, TF_var_list, 'int',
                         (int(get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list,
                                          curr_LF, inst_list, tf_exists, lf_exists, 2)) -
                          int(get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list,
                                          curr_LF, inst_list, tf_exists, lf_exists, 3))), lf_exists,
                         tf_exists)
        except (ValueError, TypeError):
            print("Int aint int.", inst, file=sys.stderr)
            exit(53)

    elif inst == 'MUL':
        if (get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                     tf_exists, lf_exists, 2) != 'int' or
                get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 3) != 'int'):
            print("Nepovoleny typ operandu instrukce MUL.", file=sys.stderr)
            exit(53)
        try:
            set_variable(inst_list, var_list, curr_LF, TF_var_list, 'int',
                         (int(get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list,
                                          curr_LF, inst_list, tf_exists, lf_exists, 2)) *
                          int(get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list,
                                          curr_LF, inst_list, tf_exists, lf_exists, 3))), lf_exists,
                         tf_exists)
        except (ValueError, TypeError):
            print("Int aint int.", inst, file=sys.stderr)
            exit(53)

    elif inst == 'IDIV':
        if (get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                     tf_exists, lf_exists, 2) != 'int' or
                get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 3) != 'int'):
            print("Nepovoleny typ operandu instrukce IDIV.", file=sys.stderr)
            exit(53)
        if int(get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                           tf_exists, lf_exists, 3)) == 0:
            print("IDIV deleni nulou.", file=sys.stderr)
            exit(57)
        try:
            set_variable(inst_list, var_list, curr_LF, TF_var_list, 'int',
                         int(int(get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list,
                                             curr_LF, inst_list, tf_exists, lf_exists, 2)) /
                             int(get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list,
                                             curr_LF, inst_list, tf_exists, lf_exists, 3))), lf_exists,
                         tf_exists)
        except (ValueError, TypeError):
            print("Int aint int.", inst, file=sys.stderr)
            exit(53)

    elif inst == 'LT':
        if (get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                     tf_exists, lf_exists, 2) !=
                get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 3) or
                get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 2) == 'nil' or
                get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 3) == 'nil'):
            print("Nepovolene porovnani typu instrukce LT", inst_list.get_arg1(), file=sys.stderr)
            exit(53)
        if get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                    tf_exists, lf_exists, 2) == 'int':
            try:
                if (int(get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF,
                                    inst_list, tf_exists, lf_exists, 2)) <
                        int(get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF,
                                        inst_list, tf_exists, lf_exists, 3))):
                    set_variable(inst_list, var_list, curr_LF, TF_var_list, 'bool', 'true', lf_exists, tf_exists)
                else:
                    set_variable(inst_list, var_list, curr_LF, TF_var_list, 'bool', 'false', lf_exists, tf_exists)
            except (ValueError, TypeError):
                print("Int aint int.", inst, file=sys.stderr)
                exit(53)
        else:
            if (get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                            tf_exists, lf_exists, 2) <
                    get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF,
                                inst_list, tf_exists, lf_exists, 3)):
                set_variable(inst_list, var_list, curr_LF, TF_var_list, 'bool', 'true', lf_exists, tf_exists)
            else:
                set_variable(inst_list, var_list, curr_LF, TF_var_list, 'bool', 'false', lf_exists, tf_exists)

    elif inst == 'GT':
        if (get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                     tf_exists, lf_exists, 2) !=
                get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 3) or
                get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 2) == 'nil' or
                get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 3) == 'nil'):
            print("Nepovolene porovnani typu instrukce GT", inst_list.get_arg1(), file=sys.stderr)
            exit(53)
        if get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                    tf_exists, lf_exists, 2) == 'int':
            try:
                if (int(get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF,
                                    inst_list, tf_exists, lf_exists, 2)) >
                        int(get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF,
                                        inst_list, tf_exists, lf_exists, 3))):
                    set_variable(inst_list, var_list, curr_LF, TF_var_list, 'bool', 'true', lf_exists, tf_exists)
                else:
                    set_variable(inst_list, var_list, curr_LF, TF_var_list, 'bool', 'false', lf_exists, tf_exists)
            except (ValueError, TypeError):
                print("Int aint int.", inst, file=sys.stderr)
                exit(53)
        else:
            if (get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                            tf_exists, lf_exists, 2) >
                    get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF,
                                inst_list, tf_exists, lf_exists, 3)):
                set_variable(inst_list, var_list, curr_LF, TF_var_list, 'bool', 'true', lf_exists, tf_exists)
            else:
                set_variable(inst_list, var_list, curr_LF, TF_var_list, 'bool', 'false', lf_exists, tf_exists)

    elif inst == 'EQ':
        if (get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                     tf_exists, lf_exists, 2) == 'nil' and
                get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 3) == 'nil'):
            set_variable(inst_list, var_list, curr_LF, TF_var_list, 'bool', 'true', lf_exists, tf_exists)
            # Inkrementace indexu aktualni instrukce
            inst_list.set_index(inst_list.get_index() + 1)
            i = inst_list.get_index()  # inkrementace iteratotu cyklu
            inst_count += 1
            continue
        elif (get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                       tf_exists, lf_exists, 2) == 'nil' or
              get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                       tf_exists, lf_exists, 3) == 'nil'):
            set_variable(inst_list, var_list, curr_LF, TF_var_list, 'bool', 'false', lf_exists, tf_exists)
            # Inkrementace indexu aktualni instrukce
            inst_list.set_index(inst_list.get_index() + 1)
            i = inst_list.get_index()  # inkrementace iteratotu cyklu
            inst_count += 1
            continue

        if (get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                     tf_exists, lf_exists, 2) !=
                get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 3)):
            print("Nepovolene porovnani typu instrukce EQ", inst_list.get_arg1(), file=sys.stderr)
            exit(53)
        if get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                    tf_exists, lf_exists, 2) == 'int':
            try:
                if (int(get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF,
                                    inst_list, tf_exists, lf_exists, 2)) ==
                        int(get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF,
                                        inst_list, tf_exists, lf_exists, 3))):
                    set_variable(inst_list, var_list, curr_LF, TF_var_list, 'bool', 'true', lf_exists, tf_exists)
                else:
                    set_variable(inst_list, var_list, curr_LF, TF_var_list, 'bool', 'false', lf_exists, tf_exists)
            except (ValueError, TypeError):
                print("Int aint int.", inst, file=sys.stderr)
                exit(53)
        else:
            if (get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                            tf_exists, lf_exists, 2) ==
                    get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF,
                                inst_list, tf_exists, lf_exists, 3)):
                set_variable(inst_list, var_list, curr_LF, TF_var_list, 'bool', 'true', lf_exists, tf_exists)
            else:
                set_variable(inst_list, var_list, curr_LF, TF_var_list, 'bool', 'false', lf_exists, tf_exists)

    elif inst == 'AND':
        if (get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                     tf_exists, lf_exists, 2) != 'bool' or
                get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 3) != 'bool'):
            print("Nepovoleny typ operandu instrukce AND.", file=sys.stderr)
            exit(53)
        a = False
        b = False
        if get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                       tf_exists, lf_exists, 2) == 'true':
            a = True
        if get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                       tf_exists, lf_exists, 3) == 'true':
            b = True
        result = 'false'
        if a and b:
            result = 'true'
        set_variable(inst_list, var_list, curr_LF, TF_var_list, 'bool', result, lf_exists, tf_exists)

    elif inst == 'OR':
        if (get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                     tf_exists, lf_exists, 2) != 'bool' or
                get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 3) != 'bool'):
            print("Nepovoleny typ operandu instrukce OR.", file=sys.stderr)
            exit(53)
        a = False
        b = False
        if get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                       tf_exists, lf_exists, 2) == 'true':
            a = True
        if get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                       tf_exists, lf_exists, 3) == 'true':
            b = True
        result = 'false'
        if a or b:
            result = 'true'
        set_variable(inst_list, var_list, curr_LF, TF_var_list, 'bool', result, lf_exists, tf_exists)

    elif inst == 'NOT':
        if get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                    tf_exists, lf_exists, 2) != 'bool':
            print("Nepovoleny typ operandu instrukce NOT.", file=sys.stderr)
            exit(53)
        if get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                       tf_exists, lf_exists, 2) == 'true':
            set_variable(inst_list, var_list, curr_LF, TF_var_list, 'bool', 'false', lf_exists, tf_exists)
        else:
            set_variable(inst_list, var_list, curr_LF, TF_var_list, 'bool', 'true', lf_exists, tf_exists)

    elif inst == 'INT2CHAR':
        if get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                    tf_exists, lf_exists, 2) != 'int':
            print("Nepovoleny typ operandu instrukce INT2CHAR.", file=sys.stderr)
            exit(53)
        try:
            set_variable(inst_list, var_list, curr_LF, TF_var_list, 'string',
                         chr(int(get_content(inst_list.get_arg2_type(), inst_list.get_arg2(),
                                             var_list, TF_var_list, curr_LF, inst_list, tf_exists, lf_exists, 2))),
                         lf_exists, tf_exists)
        except (ValueError, TypeError):
            print("Nepovoleny ord operandu instrukce INT2CHAR.", file=sys.stderr)
            exit(58)

    elif inst == 'STRI2INT':
        if get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF,
                    inst_list, tf_exists, lf_exists, 2) != 'string':
            print("Nepovoleny typ operandu instrukce STRI2INT.", file=sys.stderr)
            exit(53)
        stri = get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF,
                           inst_list, tf_exists, lf_exists, 2)

        if get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF,
                    inst_list, tf_exists, lf_exists, 3) != 'int':
            print("Nepovoleny typ operandu instrukce STRI2INT.", file=sys.stderr)
            exit(53)
        index = int(get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF,
                                inst_list, tf_exists, lf_exists, 3))
        if index < 0:
            print("Index STRI2INT mimo hranice stringu.", file=sys.stderr)
            exit(58)
        try:
            set_variable(inst_list, var_list, curr_LF, TF_var_list, 'int', ord(stri[index]), lf_exists, tf_exists)
        except IndexError:
            print("Index STRI2INT mimo hranice stringu.", file=sys.stderr)
            exit(58)

    elif inst == 'GETCHAR':
        if get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF,
                    inst_list, tf_exists, lf_exists, 2) != 'string':
            print("Nepovoleny typ operandu instrukce GETCHAR.", file=sys.stderr)
            exit(53)
        stri = get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF,
                           inst_list, tf_exists, lf_exists, 2)

        if get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF,
                    inst_list, tf_exists, lf_exists, 3) != 'int':
            print("Nepovoleny typ operandu instrukce GETCHAR.", file=sys.stderr)
            exit(53)
        index = int(get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF,
                                inst_list, tf_exists, lf_exists, 3))

        if index < 0:
            print("Index GETCHAR mimo hranice stringu.", file=sys.stderr)
            exit(58)
        try:
            set_variable(inst_list, var_list, curr_LF, TF_var_list, 'string', stri[index], lf_exists, tf_exists)
        except IndexError:
            print("Index GETCHAR mimo hranice stringu.", file=sys.stderr)
            exit(58)

    elif inst == 'SETCHAR':
        if get_type(inst_list.get_arg1_type(), inst_list.get_arg1(), var_list, TF_var_list, curr_LF,
                    inst_list, tf_exists, lf_exists, 1) != 'string':
            print("Nepovoleny typ operandu instrukce SETCHAR.", file=sys.stderr)
            exit(53)
        stri = list(get_content(inst_list.get_arg1_type(), inst_list.get_arg1(), var_list, TF_var_list, curr_LF,
                                inst_list, tf_exists, lf_exists, 1))

        if get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF,
                    inst_list, tf_exists, lf_exists, 2) != 'int':
            print("Nepovoleny typ operandu instrukce SETCHAR.", file=sys.stderr)
            exit(53)
        index = int(get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF,
                                inst_list, tf_exists, lf_exists, 2))

        if index < 0:
            print("Index SETCHAR mimo hranice stringu.", file=sys.stderr)
            exit(58)

        if get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF,
                    inst_list, tf_exists, lf_exists, 3) != 'string':
            print("Nepovoleny typ operandu instrukce SETCHAR.", file=sys.stderr)
            exit(53)
        new_str = get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF,
                              inst_list, tf_exists, lf_exists, 3)
        if new_str != "":
            new_str = new_str[0]
        else:
            print("Prazdny operand symb2 instrukce SETCHAR.", file=sys.stderr)
            exit(58)
        try:
            stri[index] = new_str
        except IndexError:
            print("Index SETCHAR mimo hranice stringu.", file=sys.stderr)
            exit(58)

        set_variable(inst_list, var_list, curr_LF, TF_var_list, 'string', "".join(stri), lf_exists, tf_exists)

    elif inst == 'CONCAT':
        if (get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF, inst_list,
                     tf_exists, lf_exists, 2) != 'string' or
                get_type(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF, inst_list,
                         tf_exists, lf_exists, 3) != 'string'):
            print("Nepovoleny typ operandu instrukce CONCAT.", file=sys.stderr)
            exit(53)
        set_variable(inst_list, var_list, curr_LF, TF_var_list, 'string',
                     (get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF,
                                  inst_list, tf_exists, lf_exists, 2) +
                      get_content(inst_list.get_arg3_type(), inst_list.get_arg3(), var_list, TF_var_list, curr_LF,
                                  inst_list, tf_exists, lf_exists, 3)), lf_exists, tf_exists)

    elif inst == 'STRLEN':
        if get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF,
                    inst_list, tf_exists, lf_exists, 2) != 'string':
            print("Nepovoleny typ operandu instrukce STRLEN.", file=sys.stderr)
            exit(53)
        set_variable(inst_list, var_list, curr_LF, TF_var_list, 'int',
                     len(get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF,
                                     inst_list, tf_exists, lf_exists, 2)), lf_exists, tf_exists)

    elif inst == 'TYPE':
        set_variable(inst_list, var_list, curr_LF, TF_var_list, 'string',
                     get_type_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF,
                                   inst_list, tf_exists, lf_exists), lf_exists, tf_exists)

    elif inst == 'MOVE':
        set_variable(inst_list, var_list, curr_LF, TF_var_list,
                     get_type(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF,
                              inst_list, tf_exists, lf_exists, 2),
                     get_content(inst_list.get_arg2_type(), inst_list.get_arg2(), var_list, TF_var_list, curr_LF,
                                 inst_list, tf_exists, lf_exists, 2), lf_exists, tf_exists)

    elif inst == 'WRITE':
        content = get_content(inst_list.get_arg1_type(), inst_list.get_arg1(),
                              var_list, TF_var_list, curr_LF, inst_list, tf_exists, lf_exists, 1)

        if get_type(inst_list.get_arg1_type(), inst_list.get_arg1(),
                    var_list, TF_var_list, curr_LF, inst_list, tf_exists, lf_exists, 1) == 'nil':
            print("", end='')
        else:
            for found in re.findall("\\\\[0-9][0-9][0-9]", str(content)):
                ascii_val = found.lstrip('\\')
                content = content.replace(found, chr(int(ascii_val)))

            print(content, end='')

    elif inst == 'READ':
        line = ""
        if input_file != 0:
            if len(content) != 0:
                line = content[0]
                content.__delitem__(0)
        else:
            line = input()

        arg_type = get_content(inst_list.get_arg2_type(), inst_list.get_arg2(),
                               var_list, TF_var_list, curr_LF, inst_list, tf_exists, lf_exists, 2)
        if line == "":
            arg_type = 'nil'
            line = 'nil'

        if arg_type == 'int':
            try:
                line = int(line)
            except (ValueError, TypeError):
                print("Int aint int.", inst, file=sys.stderr)
                exit(53)
        elif arg_type == 'bool':
            line = line.upper()
            if line == 'TRUE':
                line = 'true'
            else:
                line = 'false'

        set_variable(inst_list, var_list, curr_LF, TF_var_list, arg_type, line, lf_exists, tf_exists)

    elif inst == 'DPRINT':
        content = get_content(inst_list.get_arg1_type(), inst_list.get_arg1(),
                              var_list, TF_var_list, curr_LF, inst_list, tf_exists, lf_exists, 1)
        if content == 'nil':
            print("", end='', file=sys.stderr)
        else:
            for found in re.findall("\\\\[0-9][0-9][0-9]", str(content)):
                ascii_val = found.lstrip('\\')
                content = content.replace(found, chr(int(ascii_val)))

            print(content, end='', file=sys.stderr)

    elif inst == 'BREAK':
        print("-----------------------------------------", file=sys.stderr)
        print("Pozice instrukce v kodu (cislovano od nuly):", inst_list.get_index(), file=sys.stderr)
        print("Pocet vykonanych instrukci:", inst_count, file=sys.stderr)
        print("Obsah GF:", file=sys.stderr)
        for var in var_list:
            print(var.full_name, file=sys.stderr)
        if lf_exists:
            print("Obsah LF:", file=sys.stderr)
            for var in curr_LF:
                print(var.full_name, file=sys.stderr)
        if tf_exists:
            print("Obsah TF:", file=sys.stderr)
            for var in TF_var_list:
                print(var.full_name, file=sys.stderr)
        print("-----------------------------------------", file=sys.stderr)

    elif inst == 'EXIT':
        e_code = get_content(inst_list.get_arg1_type(), inst_list.get_arg1(),
                             var_list, TF_var_list, curr_LF, inst_list, tf_exists, lf_exists, 1)
        try:
            e_code = int(e_code)
        except (ValueError, TypeError):
            print("E-code EXIT musi byt celociselna hodnota v intervalu <0,49>.", file=sys.stderr)
            exit(57)
        if 0 <= e_code < 50:
            exit(e_code)
        else:
            print("E-code EXIT musi byt celociselna hodnota v intervalu <0,49>.", file=sys.stderr)
            exit(57)

    # Inkrementace indexu aktualni instrukce
    inst_list.set_index(inst_list.get_index() + 1)
    i = inst_list.get_index()  # inkrementace iteratotu cyklu
    inst_count += 1

###############################################################