def Hold(a, e1):
b = None
def pull():
return b.cell.get()
def push(a):
b.cell.set(a)
b = FBehavior(pull, types.FBehaviorType(e1.type))
b.cell = util.FRef()
b.cell.set(a)
e1.add_listener(FListener(push=push))
return b
def LoopPre(c, ef1, c_type=None):
ef = None
def prepare():
ef1.prepare()
for l in ef.listeners.itervalues():
l.prepare()
def push(x):
ef1.push((x, ef.cell.get()))
def push2((y1, y2)):
ef.cell.set(y2)
for l in ef.listeners.itervalues():
l.push(y1)
def finish():
ef1.finish()
for l in ef.listeners.itervalues():
l.finish()
def terminate():
ef1.terminate()
for l in ef.listeners.itervalues():
l.terminate()
def type_fun(a):
if a is None or c_type is None:
return None
eftype = ef1.type_fun(types.FType((a.type, c_type.type)))
if eftype is None:
return None
(b, c) = eftype.type
if not types.is_of_type(c_type, types.FType(c)):
raise types.FTypeException("%s is not of type %s" % (c, c_type))
return types.FType(b)
ef = FEventFun(prepare=prepare,
push=push,
finish=finish,
terminate=terminate,
type_fun=type_fun)
ef.cell = util.FRef()
ef.cell.set(c)
ef1.add_listener(FListener(push=push2))
return ef
def mk_subevent(e, outer_prepare, outer_push):
sube_cell = util.FRef()
def mk():
sube = FEvent()
sube.last_cell = util.FRef()
return sube
def subprepare():
sube = sube_cell.get()
sube.fresh = False
for l in sube.listeners.itervalues():
l.prepare()
def subpush(x):
sube = sube_cell.get()
last = sube.last_cell.get()
if not (last is None) and not (feq(last, x)):
# terminate / create new subevent
sube_old = sube
sube = mk()
subterminate()
sube_cell.set(sube)
subprepare()
outer_prepare()
outer_push(sube)
for l in sube.listeners.itervalues():
l.push(x)
sube.last_cell.set(x)
def subfinish():
sube = sube_cell.get()
for l in sube.listeners.itervalues():
l.finish()
sube.fresh = True
def subterminate():
sube = sube_cell.get()
for l in sube.listeners.itervalues():
l.terminate()
sube = mk()
sube_cell.set(sube)
e.add_listener(FListener(subprepare, subpush, subfinish, subterminate))
return sube
def First(ef1):
ef = None
def prepare():
ef1.prepare()
for l in ef.listeners.itervalues():
l.prepare()
def push((x1, x2)):
ef.cell.set(x2)
ef1.push(x1)
def push2(y1):
y2 = ef.cell.get()
for l in ef.listeners.itervalues():
l.push((y1, y2))
def finish():
ef1.finish()
for l in ef.listeners.itervalues():
l.finish()
def terminate():
ef1.terminate()
for l in ef.listeners.itervalues():
l.terminate()
def type_fun(in_type):
if in_type is None:
return None
try:
(a, c) = in_type.type
except ValueError:
raise types.FTypeException("%s not of type (a * c)" % in_type)
return types.FType((ef1.type_fun(types.FType(a)).type, c))
ef = FEventFun(prepare=prepare,
push=push,
finish=finish,
terminate=terminate,
type_fun=type_fun)
ef.cell = util.FRef()
ef1.add_listener(FListener(push=push2))
return ef
def mk():
sube = FEvent()
sube.last_cell = util.FRef()
return sube
def Merge(e1, e2):
e = None
def prepare():
e.fresh = False
for l in e.listeners.itervalues():
l.prepare()
def push1(x1):
if e2.fresh or e2.cell.get() != None:
x2 = e2.cell.get()
for l in e.listeners.itervalues():
l.push((x1, x2))
e2.cell.set(None)
else:
e1.cell.set(x1)
def push2(x2):
if e1.fresh or e1.cell.get() != None:
x1 = e1.cell.get()
for l in e.listeners.itervalues():
l.push((x1, x2))
e1.cell.set(None)
else:
e2.cell.set(x2)
def finish():
x1 = e1.cell.get()
x2 = e2.cell.get()
e1.cell.set(None)
e2.cell.set(None)
if x2 != None:
for l in e.listeners.itervalues():
l.push((None, x2))
if x1 != None:
for l in e.listeners.itervalues():
l.push((x1, None))
for l in e.listeners.itervalues():
l.finish()
e.fresh = True
def terminate1():
e.term1 = True
if e.term2:
for l in e.listeners.itervalues():
l.terminate()
def terminate2():
e.term2 = True
if e.term1:
for l in e.listeners.itervalues():
l.terminate()
e1.add_listener(FListener(prepare, push1, finish, terminate1))
e2.add_listener(FListener(prepare, push2, finish, terminate2))
if e1.type is None or e2.type is None:
out_type = None
else:
# TODO(astory): option
out_type = types.FType((e1.type.type, e2.type.type))
e = FEvent(type=out_type)
e.term1 = False
e.term2 = False
e1.cell = util.FRef()
e2.cell = util.FRef()
return e