Lines Matching refs:deletion
710 /// single token insertion or deletion error recovery. If
714 /// To turn off single token insertion or deletion error
807 /// single token insertion and deletion, this will usually not
2019 /// to get single token insertion and deletion. Use this to turn off
2020 /// single token insertion and deletion. Override mismatchRecover
4633 // TODO do single token deletion like above for Token mismatch
4658 // can't recover with single token deletion, try insertion
