GrGen.NET v8.0 API: the libGr class library (the type exact interface gets generated)
GrGen.NET v8.0 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
ShowPromptAsNeeded Method
GrShellMainHelper
ShowPromptAsNeeded Method
Namespace:
de.unika.ipd.grGen.grShell
Assembly:
libGrShell (in libGrShell.dll) Version: GrGen.NET 8.0
Syntax
C#
Copy
public
static
void
ShowPromptAsNeeded
(
bool
showPrompt
)
Parameters
showPrompt
Type:
System
Boolean
See Also
Reference
GrShellMainHelper Class
de.unika.ipd.grGen.grShell Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement