...
The ENTITY_EXTENSION – END_ENTITY_EXTENSION as earlier agreed, plus the same extensions for attribute declarations as for ENTITY.
ENTITY_ EXTENSION ‘entity_extension_name’ FOR ‘expressEntityName’; <body> END_ENTITY_EXTENSION;
ENTITY_ EXTENSION ‘entity_extension_name’ FOR SUBTYPES ‘expressEntityName’; <body> END_ENTITY_EXTENSION;
Additional rules:
- EESR #22: A name of an ENTITY_ EXTENSION declaration must only be unique in the collection of all ENTITY_EXTENSION declarations in the actual extension schema. (22)
- Technically there is no problem to allow an ENTITY_EXTENSION name to have the same name as other declarations (ENTITY, TYPE, FUNCTION …etc), but for “readability” we may not permit it.
...