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