Translating messages with unnamed GateReferences fails
For example:
Package Data {
Import all from Standard
Configuration tc {
ct sut as SUT,
ct tester as Tester,
connect sut=sut::g to tester=tester::g
}
Message Gate gt accepts String
Component ct {
gate gt g
}
Test Description td uses tc {
tester sends "test" {String} to sut
}
}
Works fine when the GateReferences are explicitly named, but it does not when they are implicitly named:
Package Data {
Import all from Standard
Configuration tc {
ct sut as SUT,
ct tester as Tester,
connect sut::g to tester::g
}
Message Gate gt accepts String
Component ct {
gate gt g
}
Test Description td uses tc {
tester::g sends "test" {String} to sut::g
}
}