OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — OCL 2.2 Allow optional let type

Open Closed All
  • Key: OCL25-28
  • Legacy Issue Number: 15712
  • Status: open  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • Summary:

    9.3.36 states "A variable declaration inside a let must have a declared type and an initial value."

    In the case of a Tuple literal assigned to a let variable, this requires that the tuple signature be entered twice.

    Suggest relaxing the requirement on a type to allow deduction from the initial value.
  • Reported: OCL 2.1 — Mon, 11 Oct 2010 04:00 GMT
  • Updated: Thu, 8 Oct 2015 14:11 GMT