Author Archives: admin

XTypeS is superseded by Xsemantics

XSemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext … Continue reading

Posted in Uncategorized | Leave a comment

Release 1.2.3

This is just a release which updates XTypeS to Xtext 2.1.

Posted in Releases | Leave a comment

Release 1.2.2

The new release 1.2.2 is available from the update site! The new features in this release are: generated classes use Google injection fixed feature accesses in the validator types from different emf packages are not comparable generation of features named … Continue reading

Posted in Releases | Leave a comment

XTypeS ported to Xtext 2

Since release 1.2.0 XTypeS has been ported to Xtext 2

Posted in Releases | Tagged | Leave a comment

Release 1.2.0

With this release, XTypeS migrated to Xtext 2!

Posted in Releases | Tagged | Leave a comment

Porting to Xtext 2 under development

I started to port XTypeS to Xtext 2 (Eclipse Indigo). The porting is not immediate, but, luckily, the Xtext developers provide lots of information for migration to Xtext 2.

Posted in Uncategorized | Tagged , | Leave a comment

Release 1.1.0

The new release includes also FJ (Featherweight Java) as an example of use of XTypeS. The previous implementation of FJ in Xtext (http://fj-eclipse.sourceforge.net/) is still available (in that implementation the type system was implemented manually in Java). XTypeS also ships … Continue reading

Posted in Releases | Tagged , | Leave a comment