/**
* Renders an IRI as a full IRI rather than as an IRI that represents an entity in the signature
* of the imports closure of the active ontology.
*
* @param page The page that the IRI should be rendered into.
* @param iri The IRI to be rendered.
* @return A list of paragraphs that represent the rendering of the annotation value.
*/
private List<Paragraph> renderExternalIRI(Page page, IRI iri) {
Paragraph paragraph;
if (isLinkableAddress(iri)) {
paragraph = page.addParagraph(iri.toString(), new HTTPLink(iri.toURI()));
} else {
paragraph = page.addParagraph(iri.toString());
}
return Arrays.asList(paragraph);
}
/**
* Renders the annotation property into a paragraph in the page.
*
* @param page The page to insert the paragraph into.
* @param annotation The annotation containing the property to be rendered.
* @param defaultForeground The default foreground color.
* @param defaultBackground The default background color.
* @param isSelected Specifies whether the associated cell is selected or not.
*/
private Paragraph renderAnnotationProperty(
Page page,
OWLAnnotation annotation,
Color defaultForeground,
Color defaultBackground,
boolean isSelected) {
OWLAnnotationProperty property = annotation.getProperty();
String rendering = editorKit.getOWLModelManager().getRendering(property);
Paragraph paragraph = page.addParagraph(rendering);
Color foreground = getAnnotationPropertyForeground(defaultForeground, isSelected);
paragraph.setForeground(foreground);
// if (isReferenceOntologyActive()) {
// paragraph.setBold(true);
// }
if (annotation.getValue() instanceof OWLLiteral) {
OWLLiteral literalValue = (OWLLiteral) annotation.getValue();
paragraph.append(" ", foreground);
appendTag(paragraph, literalValue, foreground, isSelected);
}
switch (annotationRenderingStyle) {
case COMFORTABLE:
paragraph.setMarginBottom(4);
break;
case COSY:
paragraph.setMarginBottom(2);
break;
case COMPACT:
paragraph.setMarginBottom(1);
break;
}
return paragraph;
}
/**
* Renders an annotation value that is an anonymous individual.
*
* @param page The page that the individual should be rendered into.
* @param individual The individual.
* @return A list of paragraphs that represent the rendering of the individual.
*/
private List<Paragraph> renderAnonymousIndividual(Page page, OWLAnonymousIndividual individual) {
String rendering = editorKit.getOWLModelManager().getRendering(individual);
Paragraph paragraph = page.addParagraph(rendering);
paragraph.setIcon(getIcon(individual));
return Arrays.asList(paragraph);
}
