示例#1
0
文件： terminal.py 项目： charyorde/dao 
def not_follow_string(solver, cont, string):
  string = string.deref(solver.env)
  if left_(solver.parse_state).startswith(string.name): return
  solver.value = True
示例#2
0
文件： terminal.py 项目： charyorde/dao 
def follow_string(solver, cont, strArgument):
  strArgument = strArgument.deref(solver.env)
  assert isinstance(strArgument, String)
  if not left_(solver.parse_state).startswith(strArgument.name): raise UnifyFail
  solver.value = True