In smartmeter we have simple calculations (additions) Currently we don't support this

In our case they are very simple as there are number literals which are added:

int[1+ 2] x

Details see here:
https://www.assembla.com/spaces/mbeddr/wiki/Header_--_Import_Specification

GCC doesn't compile with this struct name

this was created from

typedef struct
{
int32_t v2;
int32_t v3;
} goertzel_state_t;

and resulted in

struct __com_itemis_smartmeter_parse__emeter-structs___struct_1 {
int32_t v2;
int32_t v3;
};

typedef __com_itemis_smartmeter_parse__emeter-structs___struct_1 as goertzel_state_t;

Exported variables must remain in the .c file, however there needs to be a corresponding extern-declaration in the .h file

Otherwise the linker may find symbols multiple times

It should be possible to init a struct using the C syntax

TODO copy the example from smartMeter

I have something like this
phase->metrology.V_history[phase]

now I want to add a -> after the phase in the array access

the result is
phase[]->

Create a document that contains information on our development process:

• How do we run tests?
• When do we run them?
• Tips and pitfalls that appear when using MPS
• ...

x & y != 0 leads to

x & (y != 0 )

instead of

(x & y) != 0

When I create a Default Type Size Configuration, the floating points types have two entries each. They should have only one.

From the Header Import Spec we have to hand down the #defines to the CDT Parser. The CDT Parser seems to be able to accept these defines, but they have to be handed down.

we need to add the same editor logic as for BinExpr

In our current implementation all dependencies are wired statically in the code.

In order to improve the testability and the design of the debugger architecture, we plan to decouple classes and interfaces with the Google Guice dependency injection framework.

Scenario:

Variability from FM: legoFeatureModel
Rendering Mode: product line
module MainWithComp from Lego imports {Debug} , {Production} {

instance configuration ComponentConfig extends nothing {
instances:
{Production}
instance EcRobotImpl robotImpl
{Debug}
instance EcRobotDebugImpl robotDebugImpl
connectors:
<< ... >>
adapter:
{Debug}
adapt robotDebugImpl.robot as robot ------------------------->
{Production}
adapt robotImpl.robot as robot ----------------------------------->
}

extern void ecrobot_device_initialize() {
robot.displayText("Hello Robot"); -----------------------------------> I want to call displayText here on the adapter, depending on which adapter is available

} ecrobot_device_initialize (function)

This should work I think as we are (or should) not using labels in the generator, shouldn't it? How can we solve the issue?

external module extModule:
void xxy(char* someText);

module aModule imports extModule

void aFct(){
xxy("Hello World"); -----> Here I am getting the message "Type string is not a subtype of int8_t*"
}

In the type size config however a char is mapped to an int8_t. So this should be possible

Currently it is not possible to remove an empty comment attribute

NuSMV Eq Expression is currently allowed in the StatementList of a Transition. This should not be the case.

adapt client -> config: deprecated: client.d

i need to explicitly create a AdaperInstancePortRef

it is not possible to type on the right side of the > of a hex literal

But it should be

If I am typing
++phase->metrology.dot_prod.sample_count

left to right

the result should be
++(phase->metrology.dot_prod.sample_count)

This is nto the case

Probably as well for unions

We need to add a check

int [SIZE_A][SIZE_B] x;

typeof(x) == int [SIZE_A][SIZE_B] --> OK

typeof(x[1]) == int [SIZE_A] --> WRONG, should be int[SIZE_B]

typeof(x[1][1]) == type not calculated

If an IModuleCOntent is exported, then all other module contents referenced from it (in the same module!) must be exported as well. Write constraint using allReferencedModuleCOntents() built for the sorting algo.

allReferencedModuleCOntents().where( it.parent == this.module ) ...

I want to write
x[0][a+b]

when adding the + after a the result is x[0][a]+

Add a comment to a struct member which is very long. It should be displayed in multiple lines

Currently people have to create

• a model
• an impl module
• a type size config
• and a build config to get started.

Can we create a shortcut/intention/wizard to simplify this to one step?

It would be good to get rid of the "var" for global vars. Instead if I type a Type a var should be created. If I type a "(" it should be transformed into a function

currently the initializer looks like this:

{a
,
b
,
c
}

However, it should look like this:

{
a,
b,
c
}

If a #define defines an "unparseable expressions" such as

2 * 0x32u

or

(SOMEDEFINE + 2 * SOMEOTHERDEFINE)

we have the problem that we don't know the type of the thing. Currently it is parsed into a String, and the type is a String.

Instead, the following thing should happen:

• an instance of OpaqueExprWithType must be created (this concept already exists in the core.lefacy language)
• its expr property contains the "unparseable" expression as a string, for example
• its type property remains empty.

This way we get an error in the imported header file and the user is prompted to fill in the type manually. This is better than erroneously making it a string.

Currently you cannot easily remove unnecessary parens (e.g. around if ( (x>10) ) )
A Delete Action, e.g. on the leading parens, should be supported.

Compared to Windows or Linux, the debugger starts slowly on Macs.

This problem is also discussed on the Eclipse bug tracker, but already solved:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=294538

Updating our CDT codebase should fix the problem.

I just created a variable inside a function which I marked as const. In the intention menu there were two toggle const intentions visible

Comments in Header Files should be imported, if possible (don't know if they are visible through CDT?)

string x;

if (sizeof(x) <0 ) ....

This should work. However I am getting: sizeof can only be used for arrays

struct aStruct {
union xy {
....
} a_xy

}

should be possible

Currently imported files are prefixed with the folder they are contained in. It would be good to use virtual folders as well

int32_t robot_displayText(string text) ⬅ op robot.displayText {
counter++;
report(0) debugMessages.displayText(text) on/if;
}

This should lead to an error as nothing is returned. This is however not the case

The instances and adapters are placed somewhere entirely out of context. See below

instance configuration ComponentConfig extends nothing {
instances:
{Production}
{Debug}
connectors:
<< ... >>
adapter:
{Debug}
{Production}
}

----> the next line should be under Production/Debug
instance EcRobotImpl robotImpl instance EcRobotDebugImpl robotDebugImpl adapt robotDebugImpl.robot as robot adapt robotImpl.robot as robot

int8_t/C/ temp2 = ⟦20 F ⇾ C⟧ + 10 C; in Some Module is broken

It is not allowed to add the two expressions

We need to add some kind of null check in this case

Esp. */ breaks the the code generation if they are still contained in the text

Currently units are not supported within Statemachines

an error occurred while applying rule to node NumberLiteral
java.lang.NullPointerException
at com.mbeddr.core.expressions.typesystem.typeof_NumberLiteral_InferenceRule.applyRule(typeof_NumberLiteral_InferenceRule.java:21)
at jetbrains.mps.newTypesystem.operation.ApplyRuleOperation.execute(ApplyRuleOperation.java:44)
at jetbrains.mps.newTypesystem.state.State.executeOperation(State.java:320)
at jetbrains.mps.newTypesystem.state.State.applyRuleToNode(State.java:150)
at jetbrains.mps.newTypesystem.TypeSystemComponent.applyRulesToNode(TypeSystemComponent.java:436)
at jetbrains.mps.newTypesystem.TypeSystemComponent.computeTypesForNode(TypeSystemComponent.java:337)
at jetbrains.mps.newTypesystem.TypeSystemComponent.computeTypes(TypeSystemComponent.java:228)
at jetbrains.mps.newTypesystem.TypeSystemComponent.computeTypes(TypeSystemComponent.java:418)
at jetbrains.mps.newTypesystem.NodeTypesComponent.computeTypes(NodeTypesComponent.java:178)
at jetbrains.mps.newTypesystem.TypeCheckingContextNew.checkRoot(TypeCheckingContextNew.java:86)
at jetbrains.mps.newTypesystem.TypeCheckingContextNew.checkRoot(TypeCheckingContextNew.java:70)
at jetbrains.mps.newTypesystem.TypeCheckingContextNew.checkIfNotChecked(TypeCheckingContextNew.java:497)
at jetbrains.mps.typesystem.checking.TypesEditorChecker$1.run(TypesEditorChecker.java:67)
at jetbrains.mps.newTypesystem.TypeCheckingContextNew.runTypeCheckingAction(TypeCheckingContextNew.java:460)
at jetbrains.mps.typesystem.checking.TypesEditorChecker.createMessages(TypesEditorChecker.java:60)
at jetbrains.mps.nodeEditor.checking.BaseEditorChecker$1.run(BaseEditorChecker.java:36)
at jetbrains.mps.nodeEditor.checking.BaseEditorChecker.performUninterruptableAction(BaseEditorChecker.java:116)
at jetbrains.mps.nodeEditor.checking.BaseEditorChecker.createMessagesProtected(BaseEditorChecker.java:34)
at jetbrains.mps.nodeEditor.Highlighter$11.compute(Highlighter.java:497)
at jetbrains.mps.nodeEditor.Highlighter$11.compute(Highlighter.java:480)
at jetbrains.mps.nodeEditor.Highlighter$13.compute(Highlighter.java:561)
at jetbrains.mps.ide.smodel.WorkbenchModelAccess$3.compute(WorkbenchModelAccess.java:135)
at com.intellij.openapi.application.impl.ApplicationImpl$10.run(ApplicationImpl.java:798)
at com.intellij.openapi.application.impl.ApplicationImpl.runReadAction(ApplicationImpl.java:770)
at com.intellij.openapi.application.impl.ApplicationImpl.runReadAction(ApplicationImpl.java:796)
at jetbrains.mps.ide.smodel.WorkbenchModelAccess.runReadAction(WorkbenchModelAccess.java:131)
at jetbrains.mps.nodeEditor.Highlighter.runLoPrioRead(Highlighter.java:557)
at jetbrains.mps.nodeEditor.Highlighter.updateEditor(Highlighter.java:480)
at jetbrains.mps.nodeEditor.Highlighter.access$1000(Highlighter.java:55)
at jetbrains.mps.nodeEditor.Highlighter$9.compute(Highlighter.java:438)
at jetbrains.mps.nodeEditor.Highlighter$9.compute(Highlighter.java:401)
at jetbrains.mps.nodeEditor.Highlighter.runUpdateMessagesAction(Highlighter.java:396)
at jetbrains.mps.nodeEditor.Highlighter.updateEditorComponent(Highlighter.java:401)
at jetbrains.mps.nodeEditor.Highlighter.doUpdate(Highlighter.java:327)
at jetbrains.mps.nodeEditor.Highlighter$HighlighterThread.run(Highlighter.java:603)

When running the import from the Import Header Spec, the importer must only add external modules for those header that do not yet have an external module. This way, we can reimport a header by just deleting this single one external module.

&aStruct.anotherStruct . <--- starting here we get everything in the code completion twice s.chan[ch]

When running the rebuildLanguagesAfterCheckout.sh script under Mac, the following error message appears:

client-0x15:languages domenik$ ./rebuildLanguagesAfterCheckout.sh
Buildfile: /Users/domenik/mbeddr.core/code/languages/com.mbeddr.mpsutil/build.xml
[taskdef] Could not load definitions from resource jetbrains/mps/build/ant/antlib.xml. It could not be found.

BUILD FAILED
/Users/domenik/mbeddr.core/code/languages/com.mbeddr.mpsutil/build.xml:11: Problem: failed to create task or type jvmargs
Cause: The name is undefined.
Action: Check the spelling.
Action: Check that any custom tasks/types have been declared.
Action: Check that any / declarations have taken place.

Total time: 0 seconds
Buildfile: /Users/domenik/mbeddr.core/code/languages/com.mbeddr.core/build.xml
[taskdef] Could not load definitions from resource jetbrains/mps/build/ant/antlib.xml. It could not be found.

BUILD FAILED
/Users/domenik/mbeddr.core/code/languages/com.mbeddr.core/build.xml:15: Problem: failed to create task or type jvmargs
Cause: The name is undefined.
Action: Check the spelling.
Action: Check that any custom tasks/types have been declared.
Action: Check that any / declarations have taken place.

Total time: 0 seconds
Buildfile: /Users/domenik/mbeddr.core/code/languages/com.mbeddr.cc/build.xml
[taskdef] Could not load definitions from resource jetbrains/mps/build/ant/antlib.xml. It could not be found.

BUILD FAILED
/Users/domenik/mbeddr.core/code/languages/com.mbeddr.cc/build.xml:15: Problem: failed to create task or type jvmargs
Cause: The name is undefined.
Action: Check the spelling.
Action: Check that any custom tasks/types have been declared.
Action: Check that any / declarations have taken place.

Total time: 0 seconds
Buildfile: /Users/domenik/mbeddr.core/code/languages/com.mbeddr.ext/build.xml
[taskdef] Could not load definitions from resource jetbrains/mps/build/ant/antlib.xml. It could not be found.

BUILD FAILED
/Users/domenik/mbeddr.core/code/languages/com.mbeddr.ext/build.xml:17: Problem: failed to create task or type jvmargs
Cause: The name is undefined.
Action: Check the spelling.
Action: Check that any custom tasks/types have been declared.
Action: Check that any / declarations have taken place.

Total time: 0 seconds

When I try to rebuild languages from the master branch, the ext.components and ext.statemachines languages do not build, because mpsutils.outline is missing.
I'll try to use the one from the builder branch, but this probably needs a more structural fix.

Result:

/* [JComponent javax.swing.JLabel[,51,145,499x96,alignmentX=0.0,alignmentY=0.0,border=,flags=8388736,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,horizontalAlignment=LEADING,horizontalTextPosition=TRAILING,iconTextGap=4,labelFor=,text=! This switch enables the sending of the current readings, through a UART port,
for use in cooperative calibration with other meters.
! This switch selects single phase mode. If SINGLE_PHASE is not set the
software will be built for 3-phase operation.
! This switch enables mains frequency measurement. This may be used as a
meter feature. It may be a requirement, if non-linear CT sensors are used.,verticalAlignment=CENTER,verticalTextPosition=CENTER] ] */

If I try to enter
if (! x>10)
the prios are broken. It is built as (!x) > (10) and it should be !(x>10)

At this point, ! has no prio level. Is that correct?

Always using ( ) after the ! makes no sense for simple cases like !b.
So we have to fix the prios.