from json import load, dumps
from .utils import populate_ast


class TokenStream(object):
    def __init__(self, input_):
        self.input = input_
        self.current = None
        self.keywords = 'if then else true false'.split()
        self.datatypes = ['U0', 'U8', 'U16', 'U32', 'U64',
                          'I8', 'I16', 'I32', 'I64', 'F64']
        self.tokens = list()
        self.direct_trans = {
            'Print': 'printf',
            'U0': 'void',
            'U8': 'unsigned char',
            'U16': 'unsigned short',
            'U32': 'unsigned int',
            'U64': 'unsigned long',
            'I8': 'char',
            'I16': 'short',
            'I32': 'int',
            'I64': 'long',
            'F64': 'double'
        }

    def croak(self, message):
        return self.input.croak(message + f'{dumps(self.tokens, indent=2)}')

    def is_keyword(self, word):
        return word in self.keywords

    def is_datatype(self, word):
        return word in self.datatypes

    def is_digit(self, ch):
        try:
            int(ch)
            return True
        except (ValueError, TypeError):
            return False

    def is_id_start(self, ch):
        try:
            return ch.isalpha()
        except AttributeError:
            return False

    def is_id(self, ch):
        return self.is_id_start(ch) or ch in '?!-<>=0123456789'

    def is_op_char(self, ch):
        return ch in '+-*/%=&|<>!'

    def is_punc(self, ch):
        return ch in ',;(){}[]'

    def is_whitespace(self, ch):
        return ch in ' _\t_\n'.split('_')

    def is_being_declared(self):
        return self.tokens and self.tokens[-1].get('type') != 'datatype'

    def is_not_builtin(self, id_):
        return id_ not in self.direct_trans

    def read_while(self, predicate):
        string = str()
        while not self.input.eof() and predicate(self.input.peek()):
            string += self.input.next()
        return string

    def read_while_prev(self, predicate):
        string = str()
        line = self.input.line
        col = self.input.col
        while not self.input.bof() and predicate(self.input.peek_prev()):
            string += self.input.prev()
        self.input.line = line
        self.input.col = col
        return string[::-1]

    def read_number(self):
        has_dot = False
        def anon(ch, has_dot):
            if ch == '.':
                if (has_dot):
                    return False
                has_dot = True
                return True
            return self.is_digit(ch)
        number = self.read_while(lambda ch: anon(ch, has_dot))
        try:
            number = int(number)
        except ValueError:
            number = float(number)
        self.tokens.append({
            'type': 'num',
            'value': number
        })
        return self.tokens[-1]


    def read_function(self, name, prog, type_=['int']):
        coord = f'{self.input.filename}:{self.input.line}'
        return populate_ast(self, 'funcdef', **{
            'coord': coord,
            'body.coord': coord,
            'body.block_items': prog,
            'decl.name': name,
            'decl.coord': coord,
            'decl.type.coord': coord,
            'decl.type.type.coord': coord,
            'decl.type.type.declname': name,
            'decl.type.type.type.names': type_,
            'decl.type.type.type.coord': coord
        })


    def read_ident(self):
        coord = f'{self.input.filename}:{self.input.line}'
        id_ = self.read_while(self.is_id)
        type_ = str()
        # print(f'id: {id_}')
        if self.is_keyword(id_):
            type_ = 'kw'
        elif self.is_datatype(id_):
            type_ = 'datatype'
            self.direct_trans[f'{id_}*'] = f'{self.direct_trans[id_]}*'
            maybe_pointer = self.read_while(lambda ch: ch in [' ', '*'])\
                .replace(' ', str())
            if maybe_pointer:
                id_ += maybe_pointer
        elif self.is_being_declared() and self.is_not_builtin(id_):
            # print(f"creating var out of {id_}")
            return populate_ast(self, 'id', **{
                'name': id_,
                'coord': coord
            })
        else:
            # function definition
            if self.tokens and self.tokens[-1].get('type') == 'datatype' and\
               self.peek()['value'] == '(':
                return self.read_function(id_, list())
            # function call
            if self.peek()['value'] == '(':
                return populate_ast(self, 'funccall', **{
                    'coord': coord,
                    'name.name': self.direct_trans.get(id_, id_),
                    'name.coord': coord,
                    'args.coord': coord,
                    'args.exprs.coord': coord
                })
            # function/variable declaration
            return populate_ast(self, 'decl', **{
                'name': id_,
                'coord': coord,
                'type.declname': id_,
                'type.coord': coord,
                'type.type.names': list(),
                'type.type.coord': coord,
                'init.coord': coord
            })
        self.tokens.append({
            'type': type_,
            'value': self.direct_trans.get(id_, id_)
        })
        return self.tokens[-1]

    def read_escaped(self, end):
        escaped = False
        string = str()
        self.input.next()
        while not self.input.eof():
            ch = self.input.next()
            if ch == end:
                break
            string += ch
            # if escaped:
            #     string += ch
            #     escaped = False
            # elif ch == '\\':
            #     escaped = True
            # elif ch == end:
            #     break
            # else:
            #     string += ch
        return f'"{string}"'

    def read_string(self):
        self.tokens.append({
          "_nodetype": "Constant",
          "type": "string",
          "value": self.read_escaped('"'),
          "coord": "examples/math.c:3:16"
        })
        # print(f'found string: {self.tokens[-1]}')
        # self.tokens.append({
        #     'type': 'str',
        #     'value': self.read_escaped('"')
        # })
        return self.tokens[-1]

    def skip_comment(self):
        self.read_while(lambda ch: ch != "\n")
        self.input.next()

    def read_next(self):
        self.read_while(self.is_whitespace)
        if self.input.eof():
            return None
        ch = self.input.peek()
        if ch == "//":
            self.skip_comment()
            return self.read_next()
        if ch == '"':
            return self.read_string()
        if self.is_digit(ch):
            return self.read_number()
        if self.is_id_start(ch):
            return self.read_ident()
        if self.is_punc(ch):
            self.tokens.append({
                'type': 'punc',
                'value': self.input.next()
            })
            return self.tokens[-1]
        if self.is_op_char(ch):
            self.tokens.append({
                'type': 'op',
                'value': self.read_while(self.is_op_char)
            })
            return self.tokens[-1]
        self.input.croak(f'Can\'t handle character: {ch}')

    def read_prev(self):
        self.read_while_prev(self.is_whitespace)
        if self.input.bof():
            return None
        ch = self.input.peek()
        if ch == "//":
            self.skip_comment()
            return self.read_next()
        if ch == '"':
            return self.read_string()
        if self.is_digit(ch):
            return self.read_number()
        if self.is_id_start(ch):
            return self.read_ident()
        if self.is_punc(ch):
            self.tokens.append({
                'type': 'punc',
                'value': self.input.next()
            })
            return self.tokens
        if self.is_op_char(ch):
            self.tokens.append({
                'type': 'op',
                'value': self.read_while(self.is_op_char)
            })
            return self.tokens[-1]
        self.input.croak(f'Can\'t handle character: {ch}')

    def peek(self):
        if self.current:
            return self.current
        self.current = self.read_next()
        return self.current

    def next(self):
        tok = self.current
        self.current = None
        return tok or self.read_next()

    def prev(self):
        return self.read_prev()

    def eof(self):
        return self.peek() is None

from json import load, dumps
from .utils import populate_ast


class TokenStream(object):
    def __init__(self, input_):
        self.input = input_
        self.current = None
        self.keywords = 'if then else true false'.split()
        self.datatypes = ['U0', 'U8', 'U16', 'U32', 'U64',
                          'I8', 'I16', 'I32', 'I64', 'F64']
        self.tokens = list()
        self.direct_trans = {
            'Print': 'printf',
            'U0': 'void',
            'U8': 'unsigned char',
            'U16': 'unsigned short',
            'U32': 'unsigned int',
            'U64': 'unsigned long',
            'I8': 'char',
            'I16': 'short',
            'I32': 'int',
            'I64': 'long',
            'F64': 'double'
        }

    def croak(self, message):
        return self.input.croak(message + f'{dumps(self.tokens, indent=2)}')

    def is_keyword(self, word):
        return word in self.keywords

    def is_datatype(self, word):
        return word in self.datatypes

    def is_digit(self, ch):
        try:
            int(ch)
            return True
        except (ValueError, TypeError):
            return False

    def is_id_start(self, ch):
        try:
            return ch.isalpha()
        except AttributeError:
            return False

    def is_id(self, ch):
        return self.is_id_start(ch) or ch in '?!-<>=0123456789'

    def is_op_char(self, ch):
        return ch in '+-*/%=&|<>!'

    def is_punc(self, ch):
        return ch in ',;(){}[]'

    def is_whitespace(self, ch):
        return ch in ' _\t_\n'.split('_')

    def is_being_declared(self):
        return self.tokens and self.tokens[-1].get('type') != 'datatype'

    def is_not_builtin(self, id_):
        return id_ not in self.direct_trans

    def read_while(self, predicate):
        string = str()
        while not self.input.eof() and predicate(self.input.peek()):
            string += self.input.next()
        return string

    def read_while_prev(self, predicate):
        string = str()
        line = self.input.line
        col = self.input.col
        while not self.input.bof() and predicate(self.input.peek_prev()):
            string += self.input.prev()
        self.input.line = line
        self.input.col = col
        return string[::-1]

    def read_number(self):
        has_dot = False
        def anon(ch, has_dot):
            if ch == '.':
                if (has_dot):
                    return False
                has_dot = True
                return True
            return self.is_digit(ch)
        number = self.read_while(lambda ch: anon(ch, has_dot))
        try:
            number = int(number)
        except ValueError:
            number = float(number)
        self.tokens.append({
            'type': 'num',
            'value': number
        })
        return self.tokens[-1]


    def read_function(self, name, prog, type_=['int']):
        coord = f'{self.input.filename}:{self.input.line}'
        return populate_ast(self, 'funcdef', **{
            'coord': coord,
            'body.coord': coord,
            'body.block_items': prog,
            'decl.name': name,
            'decl.coord': coord,
            'decl.type.coord': coord,
            'decl.type.type.coord': coord,
            'decl.type.type.declname': name,
            'decl.type.type.type.names': type_,
            'decl.type.type.type.coord': coord
        })


    def read_ident(self):
        coord = f'{self.input.filename}:{self.input.line}'
        id_ = self.read_while(self.is_id)
        type_ = str()
        # print(f'id: {id_}')
        if self.is_keyword(id_):
            type_ = 'kw'
        elif self.is_datatype(id_):
            type_ = 'datatype'
            self.direct_trans[f'{id_}*'] = f'{self.direct_trans[id_]}*'
            maybe_pointer = self.read_while(lambda ch: ch in [' ', '*'])\
                .replace(' ', str())
            if maybe_pointer:
                id_ += maybe_pointer
        elif self.is_being_declared() and self.is_not_builtin(id_):
            # print(f"creating var out of {id_}")
            return populate_ast(self, 'id', **{
                'name': id_,
                'coord': coord
            })
        else:
            # function definition
            if self.tokens and self.tokens[-1].get('type') == 'datatype' and\
               self.peek()['value'] == '(':
                return self.read_function(id_, list())
            # function call
            if self.peek()['value'] == '(':
                return populate_ast(self, 'funccall', **{
                    'coord': coord,
                    'name.name': self.direct_trans.get(id_, id_),
                    'name.coord': coord,
                    'args.coord': coord,
                    'args.exprs.coord': coord
                })
            # function/variable declaration
            return populate_ast(self, 'decl', **{
                'name': id_,
                'coord': coord,
                'type.declname': id_,
                'type.coord': coord,
                'type.type.names': list(),
                'type.type.coord': coord,
                'init.coord': coord
            })
        self.tokens.append({
            'type': type_,
            'value': self.direct_trans.get(id_, id_)
        })
        return self.tokens[-1]

    def read_escaped(self, end):
        escaped = False
        string = str()
        self.input.next()
        while not self.input.eof():
            ch = self.input.next()
            if ch == end:
                break
            string += ch
            # if escaped:
            #     string += ch
            #     escaped = False
            # elif ch == '\\':
            #     escaped = True
            # elif ch == end:
            #     break
            # else:
            #     string += ch
        return f'"{string}"'

    def read_string(self):
        self.tokens.append({
          "_nodetype": "Constant",
          "type": "string",
          "value": self.read_escaped('"'),
          "coord": "examples/math.c:3:16"
        })
        # print(f'found string: {self.tokens[-1]}')
        # self.tokens.append({
        #     'type': 'str',
        #     'value': self.read_escaped('"')
        # })
        return self.tokens[-1]

    def skip_comment(self):
        self.read_while(lambda ch: ch != "\n")
        self.input.next()

    def read_next(self):
        self.read_while(self.is_whitespace)
        if self.input.eof():
            return None
        ch = self.input.peek()
        if ch == "//":
            self.skip_comment()
            return self.read_next()
        if ch == '"':
            return self.read_string()
        if self.is_digit(ch):
            return self.read_number()
        if self.is_id_start(ch):
            return self.read_ident()
        if self.is_punc(ch):
            self.tokens.append({
                'type': 'punc',
                'value': self.input.next()
            })
            return self.tokens[-1]
        if self.is_op_char(ch):
            self.tokens.append({
                'type': 'op',
                'value': self.read_while(self.is_op_char)
            })
            return self.tokens[-1]
        self.input.croak(f'Can\'t handle character: {ch}')

    def read_prev(self):
        self.read_while_prev(self.is_whitespace)
        if self.input.bof():
            return None
        ch = self.input.peek()
        if ch == "//":
            self.skip_comment()
            return self.read_next()
        if ch == '"':
            return self.read_string()
        if self.is_digit(ch):
            return self.read_number()
        if self.is_id_start(ch):
            return self.read_ident()
        if self.is_punc(ch):
            self.tokens.append({
                'type': 'punc',
                'value': self.input.next()
            })
            return self.tokens
        if self.is_op_char(ch):
            self.tokens.append({
                'type': 'op',
                'value': self.read_while(self.is_op_char)
            })
            return self.tokens[-1]
        self.input.croak(f'Can\'t handle character: {ch}')

    def peek(self):
        if self.current:
            return self.current
        self.current = self.read_next()
        return self.current

    def next(self):
        tok = self.current
        self.current = None
        return tok or self.read_next()

    def prev(self):
        return self.read_prev()

    def eof(self):
        return self.peek() is None

# print(f'id: {id_}') # print(f"creating var out of {id_}") # function definition # function call # function/variable declaration # if escaped: #     string += ch #     escaped = False # elif ch == '\\': #     escaped = True # elif ch == end: #     break # else: #     string += ch # print(f'found string: {self.tokens[-1]}') # self.tokens.append({ #     'type': 'str', #     'value': self.read_escaped('"') # })