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)
def display_cex(msg,ag):
print msg
if diagnose.get():
ui.ui_main_loop(ag)
exit(1)
def main():
import signal
signal.signal(signal.SIGINT, signal.SIG_DFL)
with ivy_module.Module():
ui_main_loop(ivy_init())
def main():
with ivy_module.Module():
ui_main_loop(ivy_init())
def display_cex(msg, ag):
if diagnose.get():
ui.ui_main_loop(ag)
exit(1)
raise iu.IvyError(None, msg)
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())
def display_cex(msg, ag):
print msg
if diagnose.get():
ui.ui_main_loop(ag)
exit(1)
def display_cex(msg,ag):
if diagnose.get():
ui.ui_main_loop(ag)
exit(1)
raise iu.IvyError(None,msg)
