empty vector as first argument to change

[Lennart Ochel]

model test
  Boolean b[0];
  anyChange ac(vec = b);
  Integer d(start = 0, fixed = true);
equation
  when ac.anychange then
      d = pre(d) + 1;
  end when;
end test;

block anyChange "does any entry of a boolean vector change its value?"
  input Boolean vec[:];
  output Boolean anychange;
algorithm
  anychange:=false;
  for i in 1:size(vec, 1) loop
    anychange:=anychange or change(vec[i]);
  end for;
end anyChange;

Error Message:

"[<interactive>:8:7-8:45:writable] Error: First argument to change in component ac must be a variable.
Error: Error occurred while flattening model test
"

[Lennart Ochel]

This can be used as test case:

model Test
  Boolean b[0];
  Boolean anychange;

algorithm
  anychange := false;
  for i in (1:size(b, 1)) loop
    anychange := anychange or change(b[i]);
  end for;
end Test;

[Martin Sjölund]

It is a problem with trying to determine if it is discrete or not by looking at the elaborated expression and lookupVar. Which will fail to detect variables that become discrete due to when-sections. It should probably be possible to relax these checks and instead do them in the backend...

[Martin Sjölund]

Fixed in r16481. Add the testcase and close the ticket :)