| context Requirement { | |
| constraint IdIsUnique { | |
| check : Requirement.all.select(r|r.id = self.id).size() = 1 | |
| } | |
| } | |
| context TraceLink { | |
| constraint SuspectLink { | |
| check { | |
| var requirement = Requirement.all.selectOne(r|r.id = self.from.id); | |
| var test = Test.all.selectOne(t|t.id = self.to.id); | |
| return requirement.version = self.from.version | |
| and test.version = self.to.version; | |
| } | |
| message : "Link from " + self.from.id + " to " + self.to.id + " is suspect" | |
| } | |
| } |