Version 0.6.1 adds a new testing language for language definition testing. You can use it by creating a Spoofax project, and then creating a .spt file. Then hit control-space to get a basic test file. As an example, you can write:

test Correct entity definition [[
module FooBar
entity Foo {
b : Bar
}

entity Bar {}
]]

as a test case for the entities language, testing that both the syntax and semantics of the tested fragment is correct.

Negative tests cases use conditions such as:

test Correct entity definition
module FooBar
entity Foo {
b : Baz
}
1 error

specifying that 1 semantic error is expected. Full documentation is forthcoming.

Submitted by Lennart Kats on 29 April 2011 at 17:04