ModelDriven / Alf-Reference-Implementation

Open-source implementation of the Action Language for fUML (Alf) specification.
30 stars 2 forks source link

Some sequence function implementations incorrectly check the bounds of the index argument #56

Closed seidewitz closed 6 years ago

seidewitz commented 6 years ago

The Java implementations of the sequence functions ExcludeAt, IncludeAllAt and IncludeAt incorrectly check that their index argument is less than or equal to the size of their sequence argument plus 1, rather than just being less than the size of the sequence. This results in an IndexOutOfBoundsException if the index is exactly one more than the size of the sequence argument.

seidewitz commented 6 years ago

Resolved in v1.1.0b.