Click or drag to resize

EndExecutionHandler Delegate

Represents a method called when execution of a pattern matching construct ends.

Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.1
Syntax
C#
public 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