}
typeCheckLinks(project.getVdmLinkFile(), model.getLinks(),
model.getContract());
DeMetadataChecker checker = new DeMetadataChecker(project,
model.getLinks());
checker.checkLinks();
if (checker.hasErrors())
{
for (LinkError error : checker.getErrors())
{
addError(project.getVdmLinkFile(), error.getLine() + 1,
error.getReason());
}
model.setOk(false);