Click or drag to resize

GrShellTokenManagerReInit Method (SimpleCharStream)

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

Parameters

stream
Type: de.unika.ipd.grGen.grShellSimpleCharStream
See Also