 | IGrShellImplForDriver Interface |
Namespace: de.unika.ipd.grGen.grShell
Assembly: libGrShell (in libGrShell.dll) Version: GrGen.NET 7.2
SyntaxC#
public interface IGrShellImplForDriver
The IGrShellImplForDriver type exposes the following members.
Properties| Name | Description | |
|---|---|---|
 | nonDebugNonGuiExitOnError |
Methods| Name | Description | |
|---|---|---|
 | Cleanup | |
| Evaluate | |
| QuitDebugMode |
See Also