GrGen.NET v8.1 API: the libGr class library (the type exact interface gets generated)

GrGen.NET v8.1 API: the libGr class library (the type exact interface gets generated)

de.unika.ipd.grGen.grShell

GrShellMainHelper Class

GrShellMainHelper Methods

ConstructShell Method

ExecuteShell Method

HandleEofOrErrorIfNonConsoleShell Method

PrintVersion Method

ShowPromptAsNeeded Method

Click or drag to resize

GrShellMainHelperPrintVersion Method

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

Syntax

C#

public static void PrintVersion(
	string programName
)

Parameters

programName: Type: SystemString

See Also

Reference

GrShellMainHelper Class

de.unika.ipd.grGen.grShell Namespace

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