mita
mita copied to clipboard
mita
# Introduction Functions typically return a single value. However multiple return values from a single Function can help structure code and avoid repetition. Further, in recent years multiple return has...
# Introduction In many languages, functions can be passed to functions. In some, this is even easy. Eclipse Mita should be one of those :) # Current Situation No support...
# Current Situation Generated types support type parameters, no support for built-in types. # Proposal Allow type parameters for structs and sum types. A separate proposal should be made for...
Using `// XPECT noCompileErrors` on an overloaded function (see below) yields an exception/error, subsequently failing the test. ## Example ``` fn overloadingTest(x : int8) : int16 { return x as...
Example: Following can be used in application.mita: > var c : LedColor = LedColor.Yellow; But this gives the following error in application.c: 
When the stdlib can't be loaded correctly that leads to all kind of funky behavior in the test suite. To make debugging the tests easier, we should try and parse/load...
We need a project `org.eclipse.mita.library.stdlib.tests` with basically two kind of tests: 1. Parse all .x and .platform files and check if they are valid => #7 2. Test Generators that...
At the moment users cannot access configuration items (e.g. the sensor range of an accelerometer) in their code. We should allow fully-qualified, read-only access to configuration items, similar to VCI....
As a programmer I expect some basic functions over lists: * `min(x : array) : optional` where T is `int32`, `uint32`, `float` finds the minimum of a list of numbers...
**Current behavior:** Hi, I'm trying to connect to MQTTS and I get the following error: INFO | XDK IOT: [INFO, C:/Users/Mauricio/XDK-Workspace/MQTTSOracle/src-gen/base/ConnectivityMQTTIOTBroker.c:195] MQTT_Enable : Getting time successful. Current time is 2023-09-20T17:07:00Z...