Should be able to include util/integer in Xtext path without using an open statement in the model

SpriMoon / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse

0 stars 0 forks source link

Should be able to include util/integer in Xtext path without using an open statement in the model #105

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

A4 includes by default util/integer in the models.

In A4E, we currently generate automatically a 

open util/integer

statement at the beginning of the model to update A4E path.

This is just a workaround, since the user can easily remove that statement. We 
need to find a proper way to do it with Xtext.

Original issue reported on code.google.com by daniel.l...@gmail.com on 2 Jun 2011 at 6:42

GoogleCodeExporter commented 9 years ago

Fixed in revision r1028.

Original comment by kapusta....@gmail.com on 2 Jun 2011 at 7:44

GoogleCodeExporter commented 9 years ago

Verified. Thanks!

Original comment by daniel.l...@gmail.com on 2 Jun 2011 at 7:53

Changed state: Verified