private void parseAssertionPropertyAnnotations(MID mid) throws ParseException {
DataLayerInterface net = mainNet.getModel();
AnnotationNote[] annotationNotes = net.getLabels();
for (AnnotationNote annotation : annotationNotes) {
String text = annotation.getText();
if (text.startsWith(XMIDProcessor.ASSERTION_KEYWORD)) {
String assertionString = text.substring(XMIDProcessor.ASSERTION_KEYWORD.length());
if (!assertionString.trim().equals("")) {
try {
AssertionProperty assertion = MIDParser.parseAssertionPropertyString(assertionString);
mid.addAssertionProperty(assertion);
} catch (ParseException e) {
throw new ParseException(text + ". " + e.toString());
}
}
}
}
}
