public interface STypedElement
SaltUtil.SALT_NAMESPACE and the
name SaltUtil.FEAT_TYPE.| Modifier and Type | Method and Description |
|---|---|
String |
getType()
Returns the type of this element
|
void |
setType(String name)
Sets the type of this element.
|
Copyright © 2009–2019 Humboldt-Universität zu Berlin, INRIA. All rights reserved.