The AlwaysGeneratesEvent ReferenceTypeis a concrete ReferenceTypeand can be used directly. It is a subtype of GeneratesEvent.

The semantic of this ReferenceTypeis to identify the types of Events Methodshave to generate on each Methodcall.

The SourceNodeof Referencesof this type shall be a Method InstanceDeclaration.

The TargetNodeof this ReferenceTypeshall be an ObjectTyperepresenting EventTypes, that is, the BaseEventTypeor one of its subtypes.