Property def constraint has orphan resultVariable

[eclipse-ocl-bot]

| --- | --- | | Bugzilla Link | 251303 | | Status | CLOSED FIXED | | Importance | P3 normal | | Reported | Oct 18, 2008 08:42 EDT | | Modified | May 27, 2011 02:48 EDT | | Reporter | Ed Willink |

Description

AbstractOCLAnalyzer ignores OperationCS.typeCS and so fails to generate any diagnostic if the return type is inappropriate.

[eclipse-ocl-bot]

By Ed Willink on Oct 18, 2008 08:57

Fix will form part of patch for Bug 242236.

[eclipse-ocl-bot]

By Ed Willink on Oct 18, 2008 17:08

The property branch of the defCS in AnstractOCLAnalyzer creates a variable from the defExpr.getVariableCS() but fails to place it in any container.

OCL is hardly clear as to how an ExpressionInOCL maps from CS to AS, but presumably this orphan is the 'result' and so should have been assigned to the resultVariable.

Fix will accompany Bug 242236.

[eclipse-ocl-bot]

By Christian Damus on Nov 02, 2008 08:53

Hi, Ed,

Thanks for working on this! I'll assign it to you, then.\ Sorry for the slow response -- I'm still catching up from vacation. :-(

[eclipse-ocl-bot]

By Ed Willink on Aug 16, 2009 13:57

Fixed by fixed to bug 242236

[eclipse-ocl-bot]

By Ed Willink on May 27, 2011 02:48

Closing after over 18 months in resolved state.