I will change it to enforce[IDENTIFIER], which seems fine to me. I was previously waiting to hear what you thought about the separate attribute name before changing it. Anyone using this seriously will macro it to something shorter and more autocompleteable anyway.

I'll change this to use __attribute__((annotate("oclint:enforce[must call super in overridden method]"))) and then open an issue saying we should improve this.