The AlwaysGeneratesEvent ReferenceType is a concrete ReferenceType and can be used directly. It is a subtype of GeneratesEvent.

The semantic of this ReferenceType is to identify the types of Events Methods have to generate on each Method call.

The SourceNode of References of this type shall be a Method InstanceDeclaration.

The TargetNode of this ReferenceType shall be an ObjectType representing EventTypes, that is, the BaseEventType or one of its subtypes.