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 Constructor

GrShellTokenManager(SimpleCharStream) Constructor

GrShellTokenManager(SimpleCharStream, Int32) Constructor

Click or drag to resize

GrShellTokenManager(SimpleCharStream) Constructor

Initializes a new instance of the GrShellTokenManager class

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

Syntax

C#

public GrShellTokenManager(
	SimpleCharStream stream
)

Parameters

stream SimpleCharStream

See Also

Reference

GrShellTokenManager Class

GrShellTokenManager Overload

de.unika.ipd.grGen.grShell Namespace

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