Leco

Follow New posts New posts and comments

Here's the error reported by the model checker.Attachment(s):error.png

1. Community
2. MPS
3. Tutorial for MPS 1.5 ?

• 0 votes

I am now able to generate the block statement of the try-catch. Once I go to "Generate Text" from the sanbox, it outputs the Java code correctly.However, it is still not possible to generate the la...

1. Community
2. MPS
3. Tutorial for MPS 1.5 ?

• 0 votes

If we ignore such line, the try-catch block statement appears as blank. In addition, MPS does report the mentioned error at the line that was shown on the previous picture.

1. Community
2. MPS
3. Tutorial for MPS 1.5 ?

• 0 votes

I have the same problem. The interesting thing is that if you take a look at thepicture in the tutorial, the mentioned line also appears in red.I've attached a picture that shows the error.Attachme...

1. Community
2. MPS
3. Tutorial for MPS 1.5 ?

• 0 votes