I have a concept named clause. There can be 0..1 TriggerStatements. The TriggerStatement contains exactly 1 Trigger. The Trigger concept is abstract. My only Trigger is a ClauseTrigger which references exactly 1 clause. When I add a new clause with a TriggerStatement and the trigger is the new clause itself there should be a error. I already tried but it seems that it is not working.
My clause concept
my triggerstatement concept. Trigger is an abstract concept here
and my clauseTrigger which extends the abstract concept trigger
I want something like this, but this does not act like i want it to do right now and i dont know what i am missing