 | SimpleCharStreamReInit Method (TextReader, Int32, Int32, Int32) |
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.2
Syntaxpublic void ReInit(
TextReader dstream,
int startline,
int startcolumn,
int buffersize
)
Parameters
- dstream
- Type: System.IOTextReader
- startline
- Type: SystemInt32
- startcolumn
- Type: SystemInt32
- buffersize
- Type: SystemInt32
See Also