![]() | GrShellConfigurationAndControlState Class |
Namespace: de.unika.ipd.grGen.grShell
public class GrShellConfigurationAndControlState
The GrShellConfigurationAndControlState type exposes the following members.
Name | Description | |
---|---|---|
![]() | GrShellConfigurationAndControlState | Initializes a new instance of the GrShellConfigurationAndControlState class |
Name | Description | |
---|---|---|
![]() | command | |
![]() | nonDebugNonGuiExitOnError | |
![]() | readFromConsole | |
![]() | scriptFilenames | |
![]() | showIncludes | |
![]() | showPrompt | |
![]() | showUsage |