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.grShell

GrShellTokenManager Class

GrShellTokenManager Methods

GetNextToken Method

mccFillToken Method

SetDebugStream Method

SwitchTo Method

Click or drag to resize

GrShellTokenManagerSetDebugStream Method

Namespace: de.unika.ipd.grGen.grShell
Assembly: libGrShell (in libGrShell.dll) Version: GrGen.NET 7.1

Syntax

C#

public void SetDebugStream(
	TextWriter ds
)

Parameters

ds TextWriter

See Also

Reference

GrShellTokenManager Class

de.unika.ipd.grGen.grShell Namespace

German legal requirement: Impressum / Imprint and Datenschutzerklärung / Privacy Statement