KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — validateMultiplicityRangeBoundResultTypes constraint is too strong

Open Closed All
  • Key: KERML-199
  • Status: open  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    The validateMultiplicityRangeBoundResultTypes constraint requires "The results of the bound Expression(s) of a MultiplicityRange must be typed by ScalarValues::Natural from the Kernel Data Types Library." However, multiplicity bounds are often given by literals, and the result type of LiteralInteger is actually Integer, which does not conform to Natural.
  • Reported: KerML 1.0b1 — Fri, 20 Oct 2023 13:38 GMT
  • Updated: Mon, 8 Apr 2024 21:42 GMT