Click or drag to resize

ISubactionAndOutputAdditionEnvironmentEmitWriterDebug Property

The writer used by emitdebug statements. This is ConsoleUI.outWriter (normally forwarded to Console.Out), and can't be redirected to a file in contrast to the EmitWriter.

Namespace:  de.unika.ipd.grGen.libGr
Assembly:  libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
TextWriter EmitWriterDebug { get; }

Property Value

Type: TextWriter
See Also