public void TestDuplicateStatesAndJump()
{
var test = @"
namespace Foo {
public event e;
machine M {
start state S1 { }
state S2 {
on e do { jump(S1); }
}
state S2 {
on e do { jump(S1); }
}
}
}";
var exception_hit = false;
try
{
LanguageTestUtilities.RunRewriter(test);
}
catch (RewritingException ex)
{
exception_hit = true;
Assert.Equal(ex.Message.Replace(Environment.NewLine, string.Empty),
"Multiple declarations of the state 'S2'" +
"File: Program.psharp" +
"Lines: 5 and 8");
}
Assert.True(exception_hit, "expected exception was not hit");
}