The check assumes the current scope is the operation which must be a constructor. This does not work if the current scope is an activity acting as the method (subunit) of a constructor operation. The test should instead be checking if the specification of the current scope is a constructor. (Not that the check for super constructor invocation validity is implemented correctly in this way.)
seidewitz
commented
7 years ago
The check assumes the current scope is the operation which must be a constructor. This does not work if the current scope is an activity acting as the method (subunit) of a constructor operation. The test should instead be checking if the specification of the current scope is a constructor. (Not that the check for super constructor invocation validity is implemented correctly in this way.)