Questions about OCL Script for System element in medini analyze

medini_1027657760

Hi, I'm Shinhun in Hancom MDS which is distributor in Korea.

I would like to ask a question about OCL scipt.

I just have made the OCL script on SysMLPart in sysml package in medini analyze by using profiling in Project settings.

First, below script is well done.

let
Condition : Boolean = true
in
Condition

'true' is returned in medini analyze.

But I try to insert the below sentence. It returns result of boolean types.

(((self.mediniGetOpposites('element')->select(e|e.oclIsKindOf(dc::DCComponentEntry))).oclAsType(dc::DCComponentEntry)).safetyRelated).oclIsKindOf(Boolean)

That is,

let
Condition : Boolean = (((self.mediniGetOpposites('element')->select(e|e.oclIsKindOf(dc::DCComponentEntry))).oclAsType(dc::DCComponentEntry)).safetyRelated).oclIsKindOf(Boolean)
in
Condition

But medini analyze returns that ' Can not evaluate script'.

Could you explain what is wrong?

Thank you.

Shinhun, Jeong

medini_1004298271

Hi Shinhun,

I could reproduce this issue and I have no fix for it yet or an explanation. Anyway, is this part of a bigger script?

What I mean is, is there a need for let/in statement or could you just use:

self.oclAsType(sysml::SysMLElement).mediniGetOpposites('element')->select(e|e.oclIsKindOf(dc::DCComponentEntry)).oclAsType(dc::DCComponentEntry).safetyRelated

I am just asking, because this way it works as expected.

Jan