Guest User

Untitled

a guest
Jan 21st, 2019
69
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.46 KB | None | 0 0
  1. var parser = new UnmanagedJsonParser(state);
  2. while(true)
  3. {
  4. if(parser.Read() == false)
  5. {
  6. var read = stream.Read(buffer, 0, buffer.Length);
  7. if (read == 0)
  8. throw new EndOfStreamException();
  9. parser.SetBuffer(buffer, 0, read);
  10. continue;
  11. }
  12. if(state.CurrentTokenType != JsonParserToken.String)
  13. throw new InvalidStateException();
  14.  
  15. // do something with the string
  16. }
Add Comment
Please, Sign In to add comment