示例#1
0
文件: terminal.py 项目: charyorde/dao
def not_lead_string(solver, cont, string):
  string = string.deref(solver.env)
  if parsed_(solver.parse_state).endwith(string): return
  solver.value = True  
示例#2
0
文件: terminal.py 项目: charyorde/dao
def lead_string(solver, cont, string):
  strArgument = deref(strArgument, solver.env)
  assert isinstance(strArgument, str)
  if not parsed_(solver.parse_state).endwith(strArgument):return
  yield cont,  True