examples/org.eclipse.epsilon.examples.mddtif/livereport/ValidateReport.evl

context Report!Report {
	
	constraint RefersToValidText {
		
		check : trace.matches.exists(m|m.matching and m.right = self)
		
		message : "Report " + self.name + " refers to an undefined text"
		
	}
	
}