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

GrShellTokenManagerSwitchTo Method

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

Syntax

C#

public void SwitchTo(
	int lexState
)

Parameters

lexState Int32

See Also

Reference

GrShellTokenManager Class

de.unika.ipd.grGen.grShell Namespace

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