calculated determines type

[kbak]

component CYGSEM_HAL_VIRTUAL_VECTOR_SUPPORT{
  display "Enable use of virtual vector calling interface"
  active_if [CYGINT_HAL_VIRTUAL_VECTOR_SUPPORT ]
  calculated [1 ]

is translated to

CYGSEM_HAL_VIRTUAL_VECTOR_SUPPORT
        display = "Enable use of virtual vector calling interface"
        -- ifActive
        [CYGINT_HAL_VIRTUAL_VECTOR_SUPPORT]
        calculated: [this = 
        1]

but
CYGSEM_HAL_VIRTUAL_VECTOR_SUPPORT should be CYGSEM_HAL_VIRTUAL_VECTOR_SUPPORT -> int

[ghost]

CYGSEM_HAL_VIRTUAL_VECTOR_SUPPORT is of a Boolean Flavor. Calculated 1 should represent true in boolean flavor (correct me if I am wrong)

[kbak]

ok, so if boolean, then model is optional clafer

[ghost]

Ok, so there should be "?" at the end, and nothing else should be changed? There should be "?" actually, this is a bug I will check it

[ghost]

This is important question. When is Clafer optional? For now, I am putting ONLY CDL Options as optional? I will check the documentation once more, but I would appreciate a feedback from other people as well.

[kbak]

I think there might be more cases, but I'm not sure. We worked that out when I showed the initial translation.