lhartl

Fix Structural Coverage

2

Structural coverage does not work as expected. There are many concepts missing, which are covered by the Tests

EnumLiterals typesystem does not recalculate types

1

Functioncalls are used in the inferenceRule of EnumLiterals. Therefore types are not recalculated when changing the EnumType. Introducing a dependency (there is some statement in the typesystem for this) should...

A concept for the Java generation of `Contracts` is needed in KernelF. Tests are failing. e.g.: iets3.os; branch feature/kernelf-tests http://127.0.0.1:63320/node?ref=r%3Aa2594bdc-f128-474d-863a-401664a7ab8e%28test.in.expr.os.todo%40tests%29%2F7981304192356751148&project=org.iets3.opensource and http://127.0.0.1:63320/node?ref=r%3Aa2594bdc-f128-474d-863a-401664a7ab8e%28test.in.expr.os.todo%40tests%29%2F867786408878183513&project=org.iets3.opensource

Java generation for `FunCompose` and `FunRef` does not work. E.g.: iets3.os; branch: feature/kernelf-tests http://127.0.0.1:63320/node?ref=r%3Aa2594bdc-f128-474d-863a-401664a7ab8e%28test.in.expr.os.todo%40tests%29%2F6850639405181396366&project=org.iets3.opensource

Java generation for Errors does not work properly. E.g.: iets3.os; branch: feature/kernelf-tests http://127.0.0.1:63320/node?ref=r%3Aa2594bdc-f128-474d-863a-401664a7ab8e%28test.in.expr.os.todo%40tests%29%2F7981304192367069878&project=org.iets3.opensource

Currently, option types in KernelF are generated to normal Java types (omitting) the optional stuff. None is represented as null. This leads to some Problems. E.g.: iets3.os; branch: feature/kernelf-tests http://127.0.0.1:63320/node?ref=r%3Aa2594bdc-f128-474d-863a-401664a7ab8e%28test.in.expr.os.todo%40tests%29%2F7981304192378130961&project=org.iets3.opensource

The following tescase succeeds for the interpreter but fails for the generator. In Java `e2path.size` is 2. I guess that the interpreter considers the `none` to be nothing while Java...

Tests that can not be generated: iets3.os; branch: feature/kernelf-tests http://127.0.0.1:63320/node?ref=r%3Aa2594bdc-f128-474d-863a-401664a7ab8e%28test.in.expr.os.todo%40tests%29%2F7740953487931216087&project=org.iets3.opensource

Test that fails: iets3.os; branch: feature/kernelf-tests http://127.0.0.1:63320/node?ref=r%3Aa2594bdc-f128-474d-863a-401664a7ab8e%28test.in.expr.os.todo%40tests%29%2F2222228766295549392&project=org.iets3.opensource