Calling Integer on enumeration type result in C compilation errors

[Per Östlund]

The following model:

type E = enumeration(one, two, three);

function fun
  input E e;
  output Boolean b;
algorithm
  if Integer(E) == 1 then
    b := true;
  else
    b := false;
  end if;
end fun;

model m
  Boolean b = fun(E.two);
end m;

gives the error message:

fun.c:28:13: error: invalid operands to binary == (have 'integer_array' and 'long int')

while instantiating the model.

It's not clear to me if Integer(E) is actually valid Modelica or not, see Modelica issue ​m:#551. If it's not valid the Integer call in fun should simply be rejected, otherwise better type checking is required.

[Martin Sjölund]

E may only be used in ranges

[Martin Sjölund]

But there exists an efficient implementation: E may not be a composite expression, so create a separate function called by reduction elaboration and in loops.