Project

General

Profile

1
# Database import/export
2

    
3
import copy
4
import csv
5
import operator
6
import warnings
7

    
8
import csvs
9
import exc
10
import dicts
11
import sql
12
import sql_gen
13
import strings
14
import util
15

    
16
##### Exceptions
17

    
18
# Can't use built-in SyntaxError because it stringifies to only the first line
19
class SyntaxError(Exception): pass
20

    
21
##### Data cleanup
22

    
23
null_strs = ['', '-', r'\N', 'NULL', 'UNKNOWN', 'nulo']
24

    
25
def cleanup_table(db, table):
26
    table = sql_gen.as_Table(table)
27
    cols = filter(lambda c: sql_gen.is_text_col(db, c),
28
        sql.table_cols(db, table))
29
    try: pkey_col = sql.table_pkey_col(db, table)
30
    except sql.DoesNotExistException: pass
31
    else:
32
        try: cols.remove(pkey_col)
33
        except ValueError: pass
34
    if not cols: return
35
    
36
    db.log_debug('Cleaning up table', level=1.5)
37
    
38
    expr = 'trim(both from %s)'
39
    for null in null_strs: expr = 'nullif('+expr+', '+db.esc_value(null)+')'
40
    changes = [(v, sql_gen.CustomCode(expr % v.to_str(db))) for v in cols]
41
    
42
    while True:
43
        try:
44
            sql.update(db, table, changes, in_place=True, recover=True)
45
            break # successful
46
        except sql.NullValueException, e:
47
            db.log_debug('Caught exception: '+exc.str_(e))
48
            col, = e.cols
49
            sql.drop_not_null(db, col)
50
    
51
    db.log_debug('Vacuuming and reanalyzing table', level=1.5)
52
    sql.vacuum(db, table)
53

    
54
##### Error tracking
55

    
56
def track_data_error(db, errors_table, cols, value, error_code, error):
57
    '''
58
    @param errors_table If None, does nothing.
59
    '''
60
    if errors_table == None or cols == (): return
61
    
62
    for col in cols:
63
        try:
64
            sql.insert(db, errors_table, dict(column=col.name, value=value,
65
                error_code=error_code, error=error), recover=True,
66
                cacheable=True, log_level=4)
67
        except sql.DuplicateKeyException: pass
68

    
69
class ExcToErrorsTable(sql_gen.ExcToWarning):
70
    '''Handles an exception by saving it or converting it to a warning.'''
71
    def __init__(self, return_, srcs, errors_table, value=None):
72
        '''
73
        @param return_ See sql_gen.ExcToWarning
74
        @param srcs The column names for the errors table
75
        @param errors_table None|sql_gen.Table
76
        @param value The value (or an expression for it) that caused the error
77
        @pre The invalid value must be in a local variable "value" of type text.
78
        '''
79
        sql_gen.ExcToWarning.__init__(self, return_)
80
        
81
        value = sql_gen.as_Code(value)
82
        
83
        self.srcs = srcs
84
        self.errors_table = errors_table
85
        self.value = value
86
    
87
    def to_str(self, db):
88
        if not self.srcs or self.errors_table == None:
89
            return sql_gen.ExcToWarning.to_str(self, db)
90
        
91
        errors_table_cols = map(sql_gen.Col,
92
            ['column', 'value', 'error_code', 'error'])
93
        col_names_query = sql.mk_select(db, sql_gen.NamedValues('c', None,
94
            [[c.name] for c in self.srcs]), order_by=None)
95
        insert_query = sql.mk_insert_select(db, self.errors_table,
96
            errors_table_cols,
97
            sql_gen.Values(errors_table_cols).to_str(db))+';\n'
98
        return '''\
99
-- Save error in errors table.
100
DECLARE
101
    error_code text := SQLSTATE;
102
    error text := SQLERRM;
103
    value text := '''+self.value.to_str(db)+''';
104
    "column" text;
105
BEGIN
106
    -- Insert the value and error for *each* source column.
107
'''+strings.indent(sql_gen.RowExcIgnore(None, col_names_query, insert_query,
108
    row_var=errors_table_cols[0]).to_str(db))+'''
109
END;
110

    
111
'''+self.return_.to_str(db)
112

    
113
def data_exception_handler(*args, **kw_args):
114
    '''Handles a data_exception by saving it or converting it to a warning.
115
    For params, see ExcToErrorsTable().
116
    '''
117
    return sql_gen.data_exception_handler(ExcToErrorsTable(*args, **kw_args))
118

    
119
def cast(db, type_, col, errors_table=None):
120
    '''Casts an (unrenamed) column or value.
121
    If errors_table set and col has srcs, saves errors in errors_table (using
122
    col's srcs attr as source columns). Otherwise, converts errors to warnings.
123
    @param col str|sql_gen.Col|sql_gen.Literal
124
    @param errors_table None|sql_gen.Table|str
125
    '''
126
    col = sql_gen.as_Col(col)
127
    
128
    # Don't convert exceptions to warnings for user-supplied constants
129
    if isinstance(col, sql_gen.Literal): return sql_gen.Cast(type_, col)
130
    
131
    assert not isinstance(col, sql_gen.NamedCol)
132
    
133
    function_name = strings.first_word(type_)
134
    srcs = col.srcs
135
    save_errors = errors_table != None and srcs
136
    if save_errors: # function will be unique for the given srcs
137
        function_name = strings.ustr(sql_gen.FunctionCall(function_name,
138
            *map(sql_gen.to_name_only_col, srcs)))
139
    function = db.TempFunction(function_name)
140
    
141
    # Create function definition
142
    modifiers = 'STRICT'
143
    if not save_errors: modifiers = 'IMMUTABLE '+modifiers
144
    value_param = sql_gen.FunctionParam('value', 'text')
145
    handler = data_exception_handler('RETURN NULL;\n', srcs, errors_table,
146
        value_param.name)
147
    body = sql_gen.CustomCode(handler.to_str(db, '''\
148
/* The explicit cast to the return type is needed to make the cast happen
149
inside the try block. (Implicit casts to the return type happen at the end
150
of the function, outside any block.) */
151
RETURN value::'''+type_+''';
152
'''))
153
    body.lang='plpgsql'
154
    sql.define_func(db, sql_gen.FunctionDef(function, type_, body,
155
        [value_param], modifiers))
156
    
157
    return sql_gen.FunctionCall(function, col)
158

    
159
def func_wrapper_exception_handler(db, return_, args, errors_table):
160
    '''Handles a function call's data_exceptions.
161
    Supports PL/Python functions.
162
    @param return_ See data_exception_handler()
163
    @param args [arg...] Function call's args
164
    @param errors_table See data_exception_handler()
165
    '''
166
    args = filter(sql_gen.has_srcs, args)
167
    
168
    srcs = sql_gen.cross_join_srcs(args)
169
    value = sql_gen.merge_not_null(db, ',', args)
170
    return sql_gen.NestedExcHandler(
171
        data_exception_handler(return_, srcs, errors_table, value)
172
        , sql_gen.plpythonu_error_handler
173
        )
174

    
175
def cast_temp_col(db, type_, col, errors_table=None):
176
    '''Like cast(), but creates a new column with the cast values if the input
177
    is a column.
178
    @return The new column or cast value
179
    '''
180
    def cast_(col): return cast(db, type_, col, errors_table)
181
    
182
    try: col = sql_gen.underlying_col(col)
183
    except sql_gen.NoUnderlyingTableException: return sql_gen.wrap(cast_, col)
184
    
185
    table = col.table
186
    new_col = sql_gen.suffixed_col(col, '::'+strings.first_word(type_))
187
    expr = cast_(col)
188
    
189
    # Add column
190
    new_typed_col = sql_gen.TypedCol(new_col.name, type_)
191
    sql.add_col(db, table, new_typed_col, comment=strings.urepr(col)+'::'+type_)
192
    new_col.name = new_typed_col.name # propagate any renaming
193
    
194
    sql.update(db, table, [(new_col, expr)], in_place=True, recover=True)
195
    
196
    return new_col
197

    
198
def errors_table(db, table, if_exists=True):
199
    '''
200
    @param if_exists If set, returns None if the errors table doesn't exist
201
    @return None|sql_gen.Table
202
    '''
203
    table = sql_gen.as_Table(table)
204
    if table.srcs != (): table = table.srcs[0]
205
    
206
    errors_table = sql_gen.suffixed_table(table, '.errors')
207
    if if_exists and not sql.table_exists(db, errors_table): return None
208
    return errors_table
209

    
210
def mk_errors_table(db, table):
211
    errors_table_ = errors_table(db, table, if_exists=False)
212
    if sql.table_exists(db, errors_table_, cacheable=False): return
213
    
214
    typed_cols = [
215
        sql_gen.TypedCol('column', 'text', nullable=False),
216
        sql_gen.TypedCol('value', 'text'),
217
        sql_gen.TypedCol('error_code', 'character varying(5)', nullable=False),
218
        sql_gen.TypedCol('error', 'text', nullable=False),
219
        ]
220
    sql.create_table(db, errors_table_, typed_cols, has_pkey=False)
221
    index_cols = ['column', 'value', 'error_code', 'error']
222
    sql.add_index(db, index_cols, errors_table_, unique=True)
223

    
224
##### Import
225

    
226
row_num_col_def = copy.copy(sql.row_num_col_def)
227
row_num_col_def.name = 'row_num'
228
row_num_col_def.type = 'integer'
229

    
230
def append_csv(db, table, stream_info, stream, use_copy_from=True):
231
    assert sql.table_col_names(db, table) == stream_info.header
232
    
233
    def log(msg, level=1): db.log_debug(msg, level)
234
    
235
    dialect = stream_info.dialect
236
    if use_copy_from:
237
        log('Using COPY FROM')
238
        
239
        # Wrap in standardizing stream
240
        cols_ct = len(stream_info.header)
241
        stream = csvs.InputRewriter(csvs.ColCtFilter(csvs.make_reader(stream,
242
            dialect), cols_ct))
243
        dialect = stream.dialect # use default dialect
244
        
245
        # Create COPY FROM statement
246
        copy_from = ('COPY '+table.to_str(db)+' FROM STDIN DELIMITER '
247
            +db.esc_value(dialect.delimiter)+' NULL '+db.esc_value(''))
248
        assert not csvs.is_tsv(dialect)
249
        copy_from += ' CSV'
250
        if dialect.quoting != csv.QUOTE_NONE:
251
            quote_str = db.esc_value(dialect.quotechar)
252
            copy_from += ' QUOTE '+quote_str
253
            if dialect.doublequote: copy_from += ' ESCAPE '+quote_str
254
        copy_from += ';\n'
255
        
256
        log(copy_from, level=2)
257
        try: db.db.cursor().copy_expert(copy_from, stream)
258
        except Exception, e: sql.parse_exception(db, e, recover=True)
259
    else:
260
        log('Using INSERT')
261
        cols_ct = len(stream_info.header)
262
        row_ct = 0
263
        inserted_row_ct = 0
264
        for row in csvs.make_reader(stream, dialect):
265
            row_ct += 1
266
            row = map(strings.to_unicode, row)
267
            util.list_set_length(row, cols_ct) # truncate extra cols
268
            if sql.insert(db, table, row, ignore=True, cacheable=False,
269
                log_level=5) != None:
270
                inserted_row_ct += 1
271
        log('Inserted '+str(inserted_row_ct)+' of '+str(row_ct)+' rows')
272

    
273
def import_csv(db, table, stream, use_copy_from=True):
274
    def log(msg, level=1): db.log_debug(msg, level)
275
    
276
    # Get format info
277
    info = csvs.stream_info(stream, parse_header=True)
278
    col_names = map(strings.to_unicode, info.header)
279
    for i, col in enumerate(col_names): # replace empty column names
280
        if col == '': col_names[i] = 'column_'+str(i)
281
    
282
    # Select schema and escape names
283
    def esc_name(name): return db.esc_name(name)
284
    
285
    typed_cols = [sql_gen.TypedCol(v, 'text') for v in col_names]
286
    
287
    log('Creating table')
288
    # Note that this is not rolled back if the import fails. Instead, it is
289
    # cached, and will not be re-run if the import is retried.
290
    sql.create_table(db, table, typed_cols, has_pkey=False, col_indexes=False)
291
    
292
    # Free memory used by deleted (rolled back) rows from any failed import.
293
    # This MUST be run so that the rows will be stored in inserted order, and
294
    # the row_num added after import will match up with the CSV's row order.
295
    sql.truncate(db, table)
296
    
297
    # Load the data
298
    def load(): append_csv(db, table, info, stream, use_copy_from)
299
    if use_copy_from: sql.with_savepoint(db, load)
300
    else: load()
301
    
302
    cleanup_table(db, table)
303

    
304
def put(db, table, row, pkey_=None, row_ct_ref=None):
305
    '''Recovers from errors.
306
    Only works under PostgreSQL (uses INSERT RETURNING).
307
    '''
308
    return put_table(db, table, [], row, row_ct_ref)
309

    
310
def get(db, table, row, pkey, row_ct_ref=None, create=False):
311
    '''Recovers from errors'''
312
    try:
313
        return sql.value(sql.select(db, table, [pkey], row, limit=1,
314
            recover=True))
315
    except StopIteration:
316
        if not create: raise
317
        return put(db, table, row, pkey, row_ct_ref) # insert new row
318

    
319
def is_func_result(col):
320
    return col.table.name.find('(') >= 0 and col.name == 'result'
321

    
322
def into_table_name(out_table, in_tables0, mapping, is_func):
323
    def in_col_str(in_col):
324
        in_col = sql_gen.remove_col_rename(in_col)
325
        if isinstance(in_col, sql_gen.Col):
326
            table = in_col.table
327
            if table == in_tables0:
328
                in_col = sql_gen.to_name_only_col(in_col)
329
            elif is_func_result(in_col): in_col = table # omit col name
330
        return strings.ustr(in_col)
331
    
332
    str_ = strings.ustr(out_table)
333
    if is_func:
334
        str_ += '('
335
        
336
        try: value_in_col = mapping['value']
337
        except KeyError:
338
            str_ += ', '.join((strings.ustr(k)+'='+in_col_str(v)
339
                for k, v in mapping.iteritems()))
340
        else: str_ += in_col_str(value_in_col)
341
        
342
        str_ += ')'
343
    else:
344
        out_col = 'rank'
345
        try: in_col = mapping[out_col]
346
        except KeyError: str_ += '_pkeys'
347
        else: # has a rank column, so hierarchical
348
            str_ += '['+strings.ustr(out_col)+'='+in_col_str(in_col)+']'
349
    return str_
350

    
351
def put_table(db, out_table, in_tables, mapping, row_ct_ref=None, default=None,
352
    col_defaults={}, on_error=exc.reraise):
353
    '''Recovers from errors.
354
    Only works under PostgreSQL (uses INSERT RETURNING).
355
    IMPORTANT: Must be run at the *beginning* of a transaction.
356
    @param in_tables The main input table to select from, followed by a list of
357
        tables to join with it using the main input table's pkey
358
    @param mapping dict(out_table_col=in_table_col, ...)
359
        * out_table_col: str (*not* sql_gen.Col)
360
        * in_table_col: sql_gen.Col|literal-value
361
    @param default The *output* column to use as the pkey for missing rows.
362
        If this output column does not exist in the mapping, uses None.
363
    @param col_defaults Default values for required columns.
364
    @return sql_gen.Col Where the output pkeys are made available
365
    '''
366
    import psycopg2.extensions
367
    
368
    out_table = sql_gen.as_Table(out_table)
369
    
370
    def log_debug(msg): db.log_debug(msg, level=1.5)
371
    def col_ustr(str_):
372
        return strings.repr_no_u(sql_gen.remove_col_rename(str_))
373
    
374
    log_debug('********** New iteration **********')
375
    log_debug('Inserting these input columns into '+strings.as_tt(
376
        out_table.to_str(db))+':\n'+strings.as_table(mapping, ustr=col_ustr))
377
    
378
    is_function = sql.function_exists(db, out_table)
379
    
380
    if is_function: row_ct_ref = None # only track inserted rows
381
    
382
    # Warn if inserting empty table rows
383
    if not mapping and not is_function: # functions with no args OK
384
        warnings.warn(UserWarning('Inserting empty table row(s)'))
385
    
386
    if is_function: out_pkey = 'result'
387
    else: out_pkey = sql.pkey_name(db, out_table, recover=True)
388
    out_pkey_col = sql_gen.as_Col(out_pkey, out_table)
389
    
390
    in_tables_ = copy.copy(in_tables) # don't modify input!
391
    try: in_tables0 = in_tables_.pop(0) # first table is separate
392
    except IndexError: in_tables0 = None
393
    else:
394
        in_pkey = sql.pkey_name(db, in_tables0, recover=True)
395
        in_pkey_col = sql_gen.as_Col(in_pkey, in_tables0)
396
    
397
    # Determine if can use optimization for only literal values
398
    is_literals = not reduce(operator.or_, map(sql_gen.is_table_col,
399
        mapping.values()), False)
400
    is_literals_or_function = is_literals or is_function
401
    
402
    if in_tables0 == None: errors_table_ = None
403
    else: errors_table_ = errors_table(db, in_tables0)
404
    
405
    # Create input joins from list of input tables
406
    input_joins = [in_tables0]+[sql_gen.Join(v,
407
        {in_pkey: sql_gen.join_same_not_null}) for v in in_tables_]
408
    
409
    orig_mapping = mapping.copy()
410
    if mapping == {} and not is_function: # need >= one column for INSERT SELECT
411
        mapping = {out_pkey: None} # ColDict will replace with default value
412
    
413
    if not is_literals:
414
        into = sql_gen.as_Table(into_table_name(out_table, in_tables0, mapping,
415
            is_function))
416
        # Ensure into's out_pkey is different from in_pkey by prepending "out."
417
        if is_function: into_out_pkey = out_pkey
418
        else: into_out_pkey = 'out.'+out_pkey
419
        
420
        # Set column sources
421
        in_cols = filter(sql_gen.is_table_col, mapping.values())
422
        for col in in_cols:
423
            if col.table == in_tables0: col.set_srcs(sql_gen.src_self)
424
        
425
        log_debug('Joining together input tables into temp table')
426
        # Place in new table so don't modify input and for speed
427
        in_table = sql_gen.Table('in')
428
        mapping = dicts.join(mapping, sql.flatten(db, in_table, input_joins,
429
            in_cols, preserve=[in_pkey_col]))
430
        input_joins = [in_table]
431
        db.log_debug('Temp table: '+strings.as_tt(in_table.to_str(db)), level=2)
432
    
433
    # Wrap mapping in a sql_gen.ColDict.
434
    # sql_gen.ColDict sanitizes both keys and values passed into it.
435
    # Do after applying dicts.join() because that returns a plain dict.
436
    mapping = sql_gen.ColDict(db, out_table, mapping)
437
    
438
    # Save all rows since in_table may have rows deleted
439
    if is_literals: pass
440
    elif is_function: full_in_table = in_table
441
    else:
442
        full_in_table = sql_gen.suffixed_table(in_table, '_full')
443
        sql.copy_table(db, in_table, full_in_table)
444
    
445
    pkeys_table_exists_ref = [False]
446
    def insert_into_pkeys(query, **kw_args):
447
        if pkeys_table_exists_ref[0]:
448
            sql.insert_select(db, into, [in_pkey, into_out_pkey], query,
449
                **kw_args)
450
        else:
451
            sql.run_query_into(db, query, into=into, add_pkey_=True, **kw_args)
452
            pkeys_table_exists_ref[0] = True
453
    
454
    def mk_main_select(joins, cols): return sql.mk_select(db, joins, cols)
455
    
456
    if is_literals: insert_in_table = None
457
    else:
458
        insert_in_table = in_table
459
        insert_in_tables = [insert_in_table]
460
    join_cols = sql_gen.ColDict(db, out_table)
461
    
462
    exc_strs = set()
463
    def log_exc(e):
464
        e_str = exc.str_(e, first_line_only=True)
465
        log_debug('Caught exception: '+e_str)
466
        if e_str in exc_strs: # avoid infinite loops
467
            log_debug('Exception already seen, handler broken')
468
            on_error(e)
469
            remove_all_rows()
470
        else: exc_strs.add(e_str)
471
    
472
    ignore_all_ref = [False]
473
    def remove_all_rows():
474
        log_debug('Ignoring all rows')
475
        ignore_all_ref[0] = True # just return the default value column
476
    
477
    def ensure_cond(cond, e, passed=False, failed=False):
478
        if is_literals: # we know the constraint was applied exactly once
479
            if passed: pass
480
            elif failed: remove_all_rows()
481
            else: raise NotImplementedError()
482
        else:
483
            out_table_cols = sql_gen.ColDict(db, out_table)
484
            out_table_cols.update(util.dict_subset_right_join({},
485
                sql.table_col_names(db, out_table)))
486
            
487
            in_cols = []
488
            cond = sql_gen.map_expr(db, cond, mapping, in_cols)
489
            cond = sql_gen.map_expr(db, cond, out_table_cols)
490
            
491
            not_cond = sql_gen.NotCond(sql_gen.CustomCode(cond))
492
            log_debug('Ignoring rows that do not satisfy '+strings.as_tt(cond))
493
            cur = None
494
            if cond == sql_gen.false_expr:
495
                assert failed
496
                remove_all_rows()
497
            elif cond == sql_gen.true_expr: assert passed
498
            else: cur = sql.delete(db, insert_in_table, not_cond)
499
            
500
            if failed or cur.rowcount > 0: # only if any rows failed cond
501
                track_data_error(db, errors_table_,
502
                    sql_gen.cross_join_srcs(in_cols), None, e.cause.pgcode,
503
                    strings.ensure_newl(e.cause.pgerror)+'condition: '+cond)
504
    
505
    not_null_cols = set()
506
    def ignore(in_col, value, e):
507
        if sql_gen.is_table_col(in_col):
508
            in_col = sql_gen.with_table(in_col, insert_in_table)
509
            
510
            track_data_error(db, errors_table_, in_col.srcs, value,
511
                e.cause.pgcode, e.cause.pgerror)
512
            
513
            sql.add_index(db, in_col, insert_in_table) # enable fast filtering
514
            if value != None and in_col not in not_null_cols:
515
                log_debug('Replacing invalid value '
516
                    +strings.as_tt(strings.urepr(value))+' with NULL in column '
517
                    +strings.as_tt(in_col.to_str(db)))
518
                sql.update(db, insert_in_table, [(in_col, None)],
519
                    sql_gen.ColValueCond(in_col, value))
520
            else:
521
                log_debug('Ignoring rows with '+strings.as_tt(in_col.to_str(db))
522
                    +' = '+strings.as_tt(strings.urepr(value)))
523
                sql.delete(db, insert_in_table,
524
                    sql_gen.ColValueCond(in_col, value))
525
                if value == None: not_null_cols.add(in_col)
526
        else:
527
            assert isinstance(in_col, sql_gen.NamedCol)
528
            in_value = sql_gen.remove_col_rename(in_col)
529
            assert sql_gen.is_literal(in_value)
530
            if value == in_value.value:
531
                if value != None:
532
                    log_debug('Replacing invalid literal '
533
                        +strings.as_tt(in_col.to_str(db))+' with NULL')
534
                    mapping[in_col.name] = None
535
                else:
536
                    remove_all_rows()
537
            # otherwise, all columns were being ignore()d because the specific
538
            # column couldn't be identified, and this was not the invalid column
539
    
540
    if not is_literals:
541
        def insert_pkeys_table(which):
542
            return sql_gen.Table(sql_gen.concat(in_table.name,
543
                '_insert_'+which+'_pkeys'))
544
        insert_out_pkeys = insert_pkeys_table('out')
545
        insert_in_pkeys = insert_pkeys_table('in')
546
    
547
    def mk_func_call():
548
        args = dict(((k.name, v) for k, v in mapping.iteritems()))
549
        return sql_gen.FunctionCall(out_table, **args), args
550
        
551
    if is_function and not is_literals:
552
        log_debug('Defining wrapper function')
553
        
554
        func_call, args = mk_func_call()
555
        func_call = sql_gen.NamedCol(into_out_pkey, func_call)
556
        
557
        # Create empty pkeys table so its row type can be used
558
        insert_into_pkeys(sql.mk_select(db, input_joins,
559
            [in_pkey_col, func_call], limit=0), recover=True)
560
        result_type = db.col_info(sql_gen.Col(into_out_pkey, into)).type
561
        
562
        ## Create error handling wrapper function
563
        
564
        wrapper = db.TempFunction(sql_gen.concat(into.name, '_wrap'))
565
        
566
        select_cols = [in_pkey_col]+args.values()
567
        row_var = copy.copy(sql_gen.row_var)
568
        row_var.set_srcs([in_table])
569
        in_pkey_var = sql_gen.Col(in_pkey, row_var)
570
        
571
        args = dict(((k, sql_gen.with_table(v, row_var))
572
            for k, v in args.iteritems()))
573
        func_call = sql_gen.FunctionCall(out_table, **args)
574
        
575
        def mk_return(result):
576
            return sql_gen.ReturnQuery(sql.mk_select(db,
577
                fields=[in_pkey_var, result], explain=False))
578
        exc_handler = func_wrapper_exception_handler(db,
579
            mk_return(sql_gen.Cast(result_type, None)), args.values(),
580
            errors_table_)
581
        
582
        sql.define_func(db, sql_gen.FunctionDef(wrapper, sql_gen.SetOf(into),
583
            sql_gen.RowExcIgnore(sql_gen.RowType(in_table),
584
                sql.mk_select(db, input_joins), mk_return(func_call),
585
                exc_handler=exc_handler)
586
            ))
587
        wrapper_table = sql_gen.FunctionCall(wrapper)
588
    
589
    missing_msg = None
590
    
591
    # Do inserts and selects
592
    while True:
593
        has_joins = join_cols != {}
594
        
595
        if ignore_all_ref[0]: break # unrecoverable error, so don't do main case
596
        
597
        # Prepare to insert new rows
598
        if is_function:
599
            log_debug('Calling function on input rows')
600
            if is_literals: func_call, args = mk_func_call()
601
        else:
602
            log_debug('Trying to insert new rows')
603
            insert_args = dict(recover=True, cacheable=False)
604
            if has_joins:
605
                insert_args.update(dict(ignore=True))
606
            else:
607
                insert_args.update(dict(returning=out_pkey))
608
                if not is_literals:
609
                    insert_args.update(dict(into=insert_out_pkeys))
610
            main_select = mk_main_select([insert_in_table], [sql_gen.with_table(
611
                c, insert_in_table) for c in mapping.values()])
612
        
613
        try:
614
            cur = None
615
            if is_function:
616
                if is_literals:
617
                    cur = sql.select(db, fields=[func_call], recover=True,
618
                        cacheable=True)
619
                else:
620
                    insert_into_pkeys(sql.mk_select(db, wrapper_table,
621
                        order_by=None), recover=True)
622
            else:
623
                cur = sql.insert_select(db, out_table, mapping.keys(),
624
                    main_select, **insert_args)
625
            break # insert successful
626
        except sql.MissingCastException, e:
627
            log_exc(e)
628
            
629
            type_ = e.type
630
            if e.col == None: out_cols = mapping.keys()
631
            else: out_cols = [e.col]
632
            
633
            for out_col in out_cols:
634
                log_debug('Casting '+strings.as_tt(strings.repr_no_u(out_col))
635
                    +' input to '+strings.as_tt(type_))
636
                in_col = mapping[out_col]
637
                while True:
638
                    try:
639
                        mapping[out_col] = cast_temp_col(db, type_, in_col,
640
                            errors_table_)
641
                        break # cast successful
642
                    except sql.InvalidValueException, e:
643
                        log_exc(e)
644
                        
645
                        ignore(in_col, e.value, e)
646
        except sql.DuplicateKeyException, e:
647
            log_exc(e)
648
            
649
            # Different rows violating different unique constraints not
650
            # supported
651
            assert not join_cols
652
            
653
            if e.cond != None: ensure_cond(e.cond, e, passed=True)
654
            
655
            join_cols.update(util.dict_subset_right_join(mapping, e.cols))
656
            log_debug('Ignoring existing rows, comparing on these columns:\n'
657
                +strings.as_inline_table(join_cols, ustr=col_ustr))
658
            
659
            if is_literals:
660
                return sql.value(sql.select(db, out_table, [out_pkey_col],
661
                    join_cols, order_by=None))
662
            
663
            # Uniquify input table to avoid internal duplicate keys
664
            insert_in_table = sql.distinct_table(db, insert_in_table,
665
                join_cols.values())
666
            insert_in_tables.append(insert_in_table)
667
        except sql.NullValueException, e:
668
            log_exc(e)
669
            
670
            out_col, = e.cols
671
            try: in_col = mapping[out_col]
672
            except KeyError, e:
673
                try: in_col = mapping[out_col] = col_defaults[out_col]
674
                except KeyError:
675
                    missing_msg = 'Missing mapping for NOT NULL column '+out_col
676
                    log_debug(missing_msg)
677
                    remove_all_rows()
678
            else: ignore(in_col, None, e)
679
        except sql.CheckException, e:
680
            log_exc(e)
681
            
682
            ensure_cond(e.cond, e, failed=True)
683
        except sql.InvalidValueException, e:
684
            log_exc(e)
685
            
686
            for in_col in mapping.values(): ignore(in_col, e.value, e)
687
        except psycopg2.extensions.TransactionRollbackError, e:
688
            log_exc(e)
689
            # retry
690
        except sql.DatabaseErrors, e:
691
            log_exc(e)
692
            
693
            log_debug('No handler for exception')
694
            on_error(e)
695
            remove_all_rows()
696
        # after exception handled, rerun loop with additional constraints
697
    
698
    # Resolve default value column
699
    if default != None:
700
        if ignore_all_ref[0]: mapping.update(orig_mapping) # use input cols
701
        try: default = mapping[default]
702
        except KeyError:
703
            db.log_debug('Default value column '
704
                +strings.as_tt(strings.repr_no_u(default))
705
                +' does not exist in mapping, falling back to None', level=2.1)
706
            default = None
707
        else: default = sql_gen.remove_col_rename(default)
708
    
709
    if missing_msg != None and default == None:
710
        warnings.warn(UserWarning(missing_msg))
711
        # not an error because sometimes the mappings include
712
        # extra tables which aren't used by the dataset
713
    
714
    # Handle unrecoverable errors
715
    if ignore_all_ref[0]:
716
        log_debug('Returning default: '+strings.as_tt(strings.urepr(default)))
717
        return default
718
    
719
    if cur != None and row_ct_ref != None and cur.rowcount >= 0:
720
        row_ct_ref[0] += cur.rowcount
721
    
722
    if is_literals: return sql.value(cur)
723
    
724
    if is_function: pass # pkeys table already created
725
    elif has_joins:
726
        select_joins = input_joins+[sql_gen.Join(out_table, join_cols)]
727
        log_debug('Getting output table pkeys of existing/inserted rows')
728
        insert_into_pkeys(sql.mk_select(db, select_joins, [in_pkey_col,
729
            sql_gen.NamedCol(into_out_pkey, out_pkey_col)], order_by=None))
730
    else:
731
        sql.add_row_num(db, insert_out_pkeys) # for joining with input pkeys
732
        
733
        log_debug('Getting input table pkeys of inserted rows')
734
        # Note that mk_main_select() does not use ORDER BY. Instead, assume that
735
        # since the SELECT query is identical to the one used in INSERT SELECT,
736
        # its rows will be retrieved in the same order.
737
        sql.run_query_into(db, mk_main_select(input_joins, [in_pkey]),
738
            into=insert_in_pkeys)
739
        sql.add_row_num(db, insert_in_pkeys) # for joining with output pkeys
740
        
741
        assert sql.table_row_count(db, insert_out_pkeys) == sql.table_row_count(
742
            db, insert_in_pkeys)
743
        
744
        log_debug('Combining output and input pkeys in inserted order')
745
        pkey_joins = [insert_in_pkeys, sql_gen.Join(insert_out_pkeys,
746
            {sql.row_num_col: sql_gen.join_same_not_null})]
747
        in_col = sql_gen.Col(in_pkey, insert_in_pkeys)
748
        out_col = sql_gen.NamedCol(into_out_pkey,
749
            sql_gen.Col(out_pkey, insert_out_pkeys))
750
        insert_into_pkeys(sql.mk_select(db, pkey_joins, [in_col, out_col],
751
            order_by=None))
752
        
753
        sql.empty_temp(db, [insert_out_pkeys, insert_in_pkeys])
754
    
755
    if not is_function: # is_function doesn't leave holes
756
        log_debug('Setting pkeys of missing rows to '
757
            +strings.as_tt(strings.urepr(default)))
758
        if sql_gen.is_table_col(default):
759
            default = sql_gen.with_table(default, full_in_table)
760
        missing_rows_joins = [full_in_table, sql_gen.Join(into,
761
            {in_pkey: sql_gen.join_same_not_null}, sql_gen.filter_out)]
762
            # must use join_same_not_null or query will take forever
763
        insert_into_pkeys(sql.mk_select(db, missing_rows_joins,
764
            [sql_gen.Col(in_pkey, full_in_table),
765
            sql_gen.NamedCol(into_out_pkey, default)], order_by=None))
766
    # otherwise, there is already an entry for every row
767
    
768
    assert (sql.table_row_count(db, into)
769
        == sql.table_row_count(db, full_in_table))
770
    
771
    sql.empty_temp(db, insert_in_tables+[full_in_table])
772
    
773
    srcs = []
774
    if is_function: srcs = sql_gen.cols_srcs(in_cols)
775
    return sql_gen.Col(into_out_pkey, into, srcs)
(30-30/42)