S.01.05
A responsible OPERATOR must be declared for each STOP PLACE(Can be defaulted from frame)
Notes
The operator of the STOP PLACE should be indicated Can be declared on frame and inherited.
Details
- Result: Warning
- Scope: area: Stop, aspect: Stop Place, applies_to: All usages
- Mechanism: code