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 |