 | EndExecutionHandler Delegate |
Represents a method called when execution of a pattern matching construct ends.
Namespace: de.unika.ipd.grGen.libGrAssembly: libGr (in libGr.dll) Version: GrGen.NET 7.1
Syntaxpublic delegate void EndExecutionHandler(
IPatternMatchingConstruct patternMatchingConstruct,
Object result
)
Parameters
- patternMatchingConstruct IPatternMatchingConstruct
- The pattern matching construct.
- result Object
- The result in case of a sequence expression, or null otherwise.
See Also