# SQL code generation

import operator

import sql

import strings

import util

##### SQL code objects

class Code(strings.DebugPrintable):

    def to_str(self, db): raise NotImplemented()

class CustomCode(Code):

    def __init__(self, str_): self.str_ = str_

    def to_str(self, db): return self.str_

class Literal(Code):

    def __init__(self, value): self.value = value

    def to_str(self, db): return db.esc_value(self.value)

def is_null(value): return isinstance(value, Literal) and value.value == None

class Table(Code):

    def __init__(self, name, schema=None):

        '''

        @param schema str|None (for no schema)

        '''

        self.name = name

        self.schema = schema

    def to_str(self, db): return sql.qual_name(db, self.schema, self.name)

def as_Table(table):

    if table == None or isinstance(table, Code): return table

    else: return Table(table)

class Col(Code):

    def __init__(self, name, table=None):

        '''

        @param table Table|None (for no table)

        '''

        if util.is_str(table): table = Table(table)

        assert table == None or isinstance(table, Table)

        self.name = name

        self.table = table

    def to_str(self, db):

        str_ = ''

        if self.table != None: str_ += self.table.to_str(db)+'.'

        str_ += sql.esc_name(db, self.name)

        return str_

    def to_Col(self): return self

def as_Col(col, table=None):

    assert col != None

    if isinstance(col, Code): return col

    else: return Col(col, table)

class NamedCol(Col):

    def __init__(self, name, code):

        Col.__init__(self, name)

        if not isinstance(code, Code): code = Literal(code)

        self.code = code

    def to_str(self, db):

        return self.code.to_str(db)+' AS '+Col.to_str(self, db)

    def to_Col(self): return Col(self.name)

##### Parameterized SQL code objects

class ValueCond:

    def __init__(self, value):

        if not isinstance(value, Code): value = Literal(value)

        if isinstance(value, NamedCol): value = value.code

        self.value = value

    def to_str(self, db, left_value):

        '''

        @param left_value The Code object that the condition is being applied on

        '''

        raise NotImplemented()

    def __str__(self): return str(self.__dict__)

class CompareCond(ValueCond):

    def __init__(self, value, operator='='):

        '''

        @param operator By default, compares NULL values literally. Use '~=' or

            '~!=' to pass NULLs through.

        '''

        ValueCond.__init__(self, value)

        self.operator = operator

    def to_str(self, db, left_value):

        if not isinstance(left_value, Code): left_value = Col(left_value)

        right_value = self.value

        left = left_value.to_str(db)

        right = right_value.to_str(db)

        # Parse operator

        operator = self.operator

        passthru_null_ref = [False]

        operator = strings.remove_prefix('~', operator, passthru_null_ref)

        neg_ref = [False]

        operator = strings.remove_prefix('!', operator, neg_ref)

        equals = operator.endswith('=')

        if equals and is_null(self.value): operator = 'IS'

        # Create str

        str_ = left+' '+operator+' '+right

        if equals and not passthru_null_ref[0] and isinstance(right_value, Col):

            str_ += ' OR ('+left+' IS NULL AND '+right+' IS NULL)'

        if neg_ref[0]: str_ = 'NOT ('+str_+')'

        return str_

# Tells as_ValueCond() to assume a non-ValueCond is a literal value

assume_literal = object()

def as_ValueCond(value, default_table=assume_literal):

    if not isinstance(value, ValueCond):

        if default_table is not assume_literal:

            value = as_Col(value, default_table)

        return CompareCond(value)

    else: return value

join_using = object() # tells Join to join the column with USING

filter_out = object() # tells Join to filter out rows that match the join

class Join(Code):

    def __init__(self, table, mapping, type_=None):

        '''

        @param mapping dict(right_table_col=left_table_col, ...)

            * if left_table_col is join_using: left_table_col = right_table_col

        @param type_ None (for plain join)|str (e.g. 'LEFT')|filter_out

            * filter_out: equivalent to 'LEFT' with the query filtered by

              `table_pkey IS NULL` (indicating no match)

        '''

        if util.is_str(table): table = Table(table)

        assert type_ == None or util.is_str(type_) or type_ is filter_out

        self.table = table

        self.mapping = mapping

        self.type_ = type_

    def to_str(self, db, left_table):

        def join(entry):

            '''Parses non-USING joins'''

            right_table_col, left_table_col = entry

            # Note that right_table_col is on the left in the comparison

            # Parse special values

            if left_table_col is join_using: left_table_col = right_table_col

            cond = as_ValueCond(left_table_col, left_table)

            return cond.to_str(db, as_Col(right_table_col, self.table))

        # Create join condition

        type_ = self.type_

        joins = self.mapping

        if type_ is not filter_out and reduce(operator.and_,

            (v is join_using for v in joins.itervalues())):

            # all cols w/ USING, so can use simpler USING syntax

            cols = (as_Col(v).to_str(db) for v in joins.iterkeys())

            join_cond = 'USING ('+(', '.join(cols))+')'

        else: join_cond = 'ON '+(' AND '.join(map(join, joins.iteritems())))

        # Create join

        if type_ is filter_out: type_ = 'LEFT'

        str_ = ''

        if type_ != None: str_ += type_+' '

        str_ += 'JOIN '+self.table.to_str(db)+' '+join_cond

        return str_