Ejemplo n.º 1
0
def enforce(input_file, output_file, interfaces, inside, **opts):
    if inside:
        tkn = 'inside'
    else:
        tkn = 'outside'
    return previrt(input_file, output_file, ['-Penforce-%s' % tkn] +
                   all_args('-Penforce-%s-input' % tkn, interfaces), **opts)
Ejemplo n.º 2
0
def enforce(input_file, output_file, interfaces, inside, **opts):
    if inside:
        tkn = 'inside'
    else:
        tkn = 'outside'
    return previrt(input_file, output_file,
                   ['-Penforce-%s' % tkn] +
                   all_args('-Penforce-%s-input' % tkn, interfaces), 
                   **opts)
Ejemplo n.º 3
0
def specialize(input_file, output_file, rewrite_file, interfaces, **opts):
    "inter module specialization, rewrite_file and output_file and the file names for the output files"
    args = ['-Pspecialize']
    if not (rewrite_file is None):
        args += ['-Pspecialize-output', rewrite_file]
    if output_file is None:
        output_file = '/dev/null'
    return previrt(input_file, output_file,
                   args + all_args('-Pspecialize-input', interfaces), **opts)
Ejemplo n.º 4
0
def specialize(input_file, output_file, rewrite_file, interfaces, **opts):
    "inter module specialization, rewrite_file and output_file and the file names for the output files"
    args = ['-Pspecialize']
    if not (rewrite_file is None):
        args += ['-Pspecialize-output', rewrite_file]
    if output_file is None:
        output_file = '/dev/null'
    return previrt(input_file, output_file,
                   args + all_args('-Pspecialize-input', interfaces), 
                   **opts)
Ejemplo n.º 5
0
def intern(input_file, output_file, interfaces, **opts):
    "strips unused symbols"
    return previrt_progress(input_file, output_file,
                            ['-Poccam'] + 
                            all_args('-Poccam-input', interfaces), 
                            **opts)
Ejemplo n.º 6
0
def rewrite(input_file, output_file, rewrites, debug=None, **opts):
    "inter module rewriting"
    return previrt_progress(input_file, output_file,
                            ['-Prewrite'] + 
                            all_args('-Prewrite-input', rewrites), 
                            **opts)
Ejemplo n.º 7
0
def interface(input_file, output_file, wrt, **opts):
    return previrt(input_file, '/dev/null',
                   ['-Pinterface2', '-Pinterface2-output', output_file] +
                   all_args('-Pinterface2-entry', wrt),
                   **opts)
Ejemplo n.º 8
0
def intern(input_file, output_file, interfaces, **opts):
    "strips unused symbols"
    return previrt_progress(input_file, output_file, ['-Poccam'] +
                            all_args('-Poccam-input', interfaces), **opts)
Ejemplo n.º 9
0
def rewrite(input_file, output_file, rewrites, debug=None, **opts):
    "inter module rewriting"
    return previrt_progress(input_file, output_file, ['-Prewrite'] +
                            all_args('-Prewrite-input', rewrites), **opts)
Ejemplo n.º 10
0
def interface(input_file, output_file, wrt, **opts):
    return previrt(input_file, '/dev/null',
                   ['-Pinterface2', '-Pinterface2-output', output_file] +
                   all_args('-Pinterface2-entry', wrt), **opts)