Python open_read Exemples

Exemple #1

Fichier : ivy_show.py Projet : bhavya901/learning-synthesis

def main():
    ivy_init.read_params()
    iu.set_parameters({'show_compiled':'true'})
    if len(sys.argv) != 2 or not sys.argv[1].endswith('ivy'):
        print "<bhavya> in ivy_show"
        usage()
    with im.Module():
        with utl.ErrorPrinter():
            ivy_init.source_file(sys.argv[1],ivy_init.open_read(sys.argv[1]),create_isolate=False)
            check_module()

Exemple #2

def main():
    ivy_init.read_params()
    if len(sys.argv) != 2 or not sys.argv[1].endswith('ivy'):
        usage()
    with im.Module():
        with utl.ErrorPrinter():
            ivy_init.source_file(sys.argv[1],
                                 ivy_init.open_read(sys.argv[1]),
                                 create_isolate=False)
            check_module()
    print "OK"

Exemple #3

Fichier : translate.py Projet : GLaDOS-Michigan/I4

def main():
    ivy_init.read_params()
    if not sys.argv[1].endswith('ivy'):
        usage()
    for i in range(2, len(sys.argv)):
        st = sys.argv[i].split('=')
        instance[st[0]] = eval(st[1])

    with im.Module():
        with utl.ErrorPrinter():
            with iu.SourceFile(sys.argv[1]):
                decls = read_module(ivy_init.open_read(sys.argv[1]))
                translate(decls)

Exemple #4

Fichier : ivy_check.py Projet : shubhambhattar/ivy

def main():
    import signal
    signal.signal(signal.SIGINT,signal.SIG_DFL)
    import ivy_alpha
    ivy_alpha.test_bottom = False # this prevents a useless SAT check
    ivy_init.read_params()
    if len(sys.argv) != 2 or not sys.argv[1].endswith('ivy'):
        usage()
    with im.Module():
        with utl.ErrorPrinter():
            ivy_init.source_file(sys.argv[1],ivy_init.open_read(sys.argv[1]),create_isolate=False)
            check_module()
    print "OK"