Some references in FQ matrix don't show targets when unique

[ross2jd]

The feature quality matrix does not always show the targets of the references. I have attached a file where that replicates the bug.
bug_example.txt
Just look at WinController in the matrix and the target will be missing.

However there are cases where it does work. The following example does work:

abstract Function
    deployedTo -> DeviceNode

abstract DeviceNode
    cost -> integer

funcA : Function
   [deployedTo in (deviceA, deviceB)]
funcB : Function
   [deployedTo in (deviceA, deviceB)]

deviceA : DeviceNode ?
   [cost = 10]
deviceB : DeviceNode ?
   [cost = 10]

[mantkiew]

This probably comes back to the feature that if all instances have a given feature selected or unselected, then there's no point showing the symbols in the table, so it's just grayed out to remove clutter. I am not sure this is useful, since you still need to know whether all instances have or have not the given feature. Same as for references, despite the value being the same for all instances, you still want to know what it is.

There are two ways to deal with it:

1. have a toggle button "Show/Hide Unique" similar to "Distinct" that will show or gray out the values identical across all instances, OR
2. keep hiding them but show the values or selection status on the mouse hoover - that way, you keep reducing the clutter in the table and yet give the user ability to see the value/feature selection when needed.

Jordan, is 2 enough or we need 1?

[ross2jd]

Actually its graying them out when they should not be. I know for a fact that they deployments vary on the instances that are generated by that model I attached and they are not shown for some reason.

I do agree that there are cases where it is not showing the value when it is common and I do think there should be a button that toggles to show what the value of those references are even when they are not unique.

[ross2jd]

So I was playing around with the Visualizer again today and I figured out concretely what the problem is.

It turns out that when you have inheritance, the children on the super Clafer are not shown. For example if I have the following model

abstract A
   someRef -> C

abstract B : A
  anotherRef -> D

abstract C
abstract D

c1 : C
c2 : C
d1 : D

b1 : B
  [someRef = c1]
  [anotherRef = d1]
b2 : B
  [someRef = c2]
  [anotherRef = d1]

Then in the FQ Matrix, anotherRef would be visible but grayed out but someRef would not be shown nested under b1 or b2

[ross2jd]

Another example the exhibits this issue can be found here: http://t3-necsis.cs.uwaterloo.ca:8093/?claferFileURL=http://t3-necsis.cs.uwaterloo.ca:8091/clafer/ADAS-FT_model-faa-reconfig.cfr

[mantkiew]

@El-Khalilov , could you please look into it? It's quite important.