Python ui_main_loop Examples

Example #1

def display_cex(msg, ag):
    if diagnose.get():
        import tk_ui as ui
        iu.set_parameters({'mode': 'induction'})
        ui.ui_main_loop(ag)
        exit(1)
    raise iu.IvyError(None, msg)

Example #2

File: ivy_check.py Project: jamella/ivy

def display_cex(msg,ag):
    print msg
    if diagnose.get():
        ui.ui_main_loop(ag)
    exit(1)

Example #3

File: ivy.py Project: csci5535-s20/project-verifiedepc

def main():
    import signal
    signal.signal(signal.SIGINT, signal.SIG_DFL)
    with ivy_module.Module():
        ui_main_loop(ivy_init())

Example #4

def main():
    with ivy_module.Module():
        ui_main_loop(ivy_init())

Example #5

File: ivy.py Project: odedp/ivy

def main():
    with ivy_module.Module():
        ui_main_loop(ivy_init())

Example #6

def display_cex(msg, ag):
    if diagnose.get():
        ui.ui_main_loop(ag)
        exit(1)
    raise iu.IvyError(None, msg)

Example #7

File: ivy.py Project: pbnj-io/ivy

    files = [(fn,open_read(fn)) for fn in sys.argv[1:]]

    if files[0][0].endswith('.a2g'):
        fn,f = files.pop(0)
        ag = pickle.load(f)
        im.module = ag.domain
        il.sig = ag.domain.sig
        f.close()
    else:
        ag = None

    if files:
        fn,f = files.pop(0)
        if not fn.endswith('.ivy') and not fn.endswith('.dfy'):
            usage()
        source_file(fn,f)

        if ag:
            ag.update_module()
        else: 
            ag = ivy_new()

    return ag

if __name__ == "__main__":
    with ivy_module.Module():
        ui_main_loop(ivy_init())

Example #8

File: ivy_check.py Project: xornand/ivy

def display_cex(msg, ag):
    print msg
    if diagnose.get():
        ui.ui_main_loop(ag)
    exit(1)

Example #9

File: ivy_check.py Project: odedp/ivy

def display_cex(msg,ag):
    if diagnose.get():
        ui.ui_main_loop(ag)
        exit(1)
    raise iu.IvyError(None,msg)