GrGen.NET v7.1 API: the libGr class library (the type exact interface gets generated)
GrGen.NET v7.1 API: the libGr class library (the type exact interface gets generated)
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
ConstantParserTokenManager Class
ConstantParserTokenManager Methods
GetNextToken Method
mccFillToken Method
ReInit Method
SetDebugStream Method
SwitchTo Method
Constant
Parser
Token
Manager
Set
Debug
Stream Method
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
public
void
SetDebugStream
(
TextWriter
ds
)
Parameters
ds
TextWriter
See Also
Reference
ConstantParserTokenManager Class
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement