public interface Diagram extends DiagramElement
DiagramElement.Extension
Modifier and Type | Method and Description |
---|---|
String |
getDocumentation() |
String |
getName() |
Double |
getResolution() |
void |
setDocumentation(String value) |
void |
setName(String value) |
void |
setResolution(Double value) |
getExtension, getId, getSharedStyle, getStyle, setExtension, setId, setSharedStyle, setStyle
addChildren, getAdditionalAttributes, getChildren, getIdentifierString, getLocation, getNamespaceURI, getNsContext, getParent, getParentDRDElement, getPrefixForNamespaceURI, getURIFEEL, setAdditionalAttributes, setLocation, setParent
Copyright © 2001–2018 JBoss by Red Hat. All rights reserved.