Click or drag to resize

GrShellTokenManagerSetDebugStream Method

Namespace:  de.unika.ipd.grGen.grShell
Assembly:  libGrShell (in libGrShell.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public void SetDebugStream(
	TextWriter ds
)

Parameters

ds
Type: System.IOTextWriter
See Also