GrShellMainHelper Class |
Namespace: de.unika.ipd.grGen.grShell
public class GrShellMainHelper
The GrShellMainHelper type exposes the following members.
| Name | Description | |
|---|---|---|
| GrShellMainHelper | Initializes a new instance of the GrShellMainHelper class |
| Name | Description | |
|---|---|---|
| ConstructShell | ||
| ExecuteShell | ||
| HandleEofOrErrorIfNonConsoleShell | ||
| PrintVersion | ||
| ShowPromptAsNeeded |