Community
Participate
Working Groups
Executing a countedUnit with count < -1 currently results in no Rule being applied, but the execution returns true nonetheless. Compare this with specifying too large a count, where no Rule will be applied and the execution returns false. Therefore, executing countedUnits with count < -1 should always return false. (Count can not be set via a Parameter, so specifying negative values clearly is a user error, i.e. returning false and applying no Rules makes sense.)
A count < -1 is not valid. Proper values are N+ and "-1" (as long as possible). Executing a counted unit with -1 should always return true, because the subunit was executed "as long as possible" no matter how often this was. A proper value of N+ or -1 should be ensured by model constraints for correct Henshin diagrams or the different editors.
ocl constraint added
