Lines Matching defs:marker
61 /// <returns>Return a marker that can be passed to
64 /// <see cref="IIntStream.Index"/>, or some other marker.</returns>
76 /// <see cref="IIntStream.Index"/> would return marker.
79 /// The marker will usually be <see cref="IIntStream.Index"/> but
80 /// it doesn't have to be. It's just a marker to indicate what
83 /// If there are other markers created after the specified marker,
85 /// stream was in when this marker was created.
87 void Rewind(int marker);
90 /// Rewind to the input position of the last marker.
95 /// of the decision. Do not "pop" the marker off the state. Mark(i)
97 /// Rewind(last marker) but it should not "pop" the marker off.
98 /// It's like Seek(last marker's input position).
104 /// stream to keep bookkeeping objects around for a marker that is
110 /// This must throw away resources for all markers back to the marker
114 void Release(int marker);