コード例 #1
0
ファイル: special.py プロジェクト: charyorde/dao 
 def throwing_cont(value, solver): 
   yield unwind(stop_cont, value, tag, cont, solver), value
コード例 #2
0
ファイル: special.py プロジェクト: charyorde/dao 
 def unwind_cont(value, solver):
   yield unwind(cont0, form_value, tag, stop_cont, solver, next_cont), form_value
コード例 #3
0
ファイル: solve.py プロジェクト: charyorde/dao 
def done_lookup(cont, tag, stop_cont, solver): 
  @mycont(cont)
  def loopkup_fail_cont(value, solver):
    raise  DaoUncaughtThrow(tag)
  return unwind(stop_cont, None, tag, loopkup_fail_cont, solver)