Simon Wegendt

Improve XDK110 Platform

1

- [ ] Analyze what's missing, sensors, connectivity, ... - [ ] Fix it - [x] basics - [x] I2C - [x] SD Card - [x] GPIO - [x] Magnetometer...

Native checked functions without arguments

3

Currently only checked native functions with at least one argument can be imported, for example ```c Retcode_T foo(void* unused) {} ``` We should enable importing checked functions without any arguments,...

I ran [FindBugs](http://findbugs.sourceforge.net/), a free static code analysis tool, on our code and it found a few errors we should address. You will find the generated reports attached. In general...

# Introduction In embedded devices memory is hard. This is reflected in the way embedded C programs are designed: memory allocation is static or on the stack. This makes it...

Unify backend for enums/sum types

2

We support enums in Mita. Since enums can be implemented with sum types, this is redundant. Since some people might prefer enums, I propose keeping them in the language, but...

RFC: Use correct command processor function type

2

# Introduction Our event execution model right now is as follows: when an event occurs a handler function is enqueued. The command processor calls this handler when it deems it...

Platform components that aren't setup explicitly can't validate

1

A platform component that isn't setup explicitly won't validate. Some components don't need a setup, but might still want to issue warnings to the user - for example a sensor...

`OptionalsTest.mita.xt` doesn't test: - some - none with explicit typing - some with explicit typing Further, it isn't validated that none has a valid type (only a warning).

RFC: add switch case to language

2

@andreasmuelder: for implementing a statemachine in the program DSL it is much more readable to have a switch case instead of if else if blocks. We should add a switch...