def _read_string(self, chars):
try:
return string.read(chars.unpop())
except string.UnterminatedStringException, e:
raise UnexpectedEofException(e)
def _read_string(self, s):
return string.read(CharBuffer(s))
