GrGen.NET v7.2 API: the libGr class library (the type exact interface gets generated)
GrGen.NET v7.2 API: the libGr class library (the type exact interface gets generated)
de.unika.ipd.grGen.grShell
IGrShellImplForSequenceApplierAndDebugger Interface
IGrShellImplForSequenceApplierAndDebugger Methods
ActionsExists Method
GetClassObjectByName Method
GetElemByName Method
GetGraphElementType Method
GetGrShellImpl Method
HandleSequenceParserException Method
ShowGraphWith Method
IGrShellImplForSequenceApplierAndDebugger
HandleSequenceParserException Method
Namespace:
de.unika.ipd.grGen.grShell
Assembly:
libGrShell (in libGrShell.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
void
HandleSequenceParserException
(
SequenceParserException
ex
)
Parameters
ex
Type:
de.unika.ipd.grGen.libGr
SequenceParserException
See Also
Reference
IGrShellImplForSequenceApplierAndDebugger Interface
de.unika.ipd.grGen.grShell Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement