#### Definitions

class FunctionDef(Code):

        Code.__init__(self)

        body = as_Code(body)

        self.function = function

        self.return_type = return_type

        self.body = body

    def to_str(self, db):

        str_ = '''\

CREATE FUNCTION '''+self.function.to_str(db)+'''()

RETURNS SETOF '''+self.return_type+'''

AS $$

'''+self.body.to_str(db)+'''

$$;

    return_type = 'unknown'

    if returning != None: return_type = returning.to_str(db)+'%TYPE'

    if ignore:

        # Always return something to set the correct rowcount

        if returning == None: returning = sql_gen.NamedCol('NULL', None)

        embeddable = True # must use function

        if cols == None:

            row = [sql_gen.Col(sql_gen.all_cols, 'row')]

        else:

            row_vars = row = [sql_gen.Col(c.name, 'row') for c in cols]

DECLARE

    row '''+table.to_str(db)+'''%ROWTYPE;

BEGIN

        END;

    END LOOP;

END;\

    else: query = mk_insert(select_query)

    if embeddable:

        while True:

            try:

                function = db.TempFunction(function_name)

                run_query(db, def_.to_str(db), recover=True, cacheable=True,

                    log_ignore_excs=(DuplicateException,))