ENHANCEMENT-POINT enh_id SPOTS spot1 spot2 ...
[STATIC]
[INCLUDE BOUND].
Defines an area of a source code as enhancement option of the identification enh_id for a source code enhancement via source code plugins and assigns it to simple enhancement spots spot1, spot2, ... .
: Defines a source code enhancement as an enhancement spot element definition with the ID enh_id, and assigns simple enhancement spots spot1, spot2, ... to it.