public interface InternalDBNamedElement extends IDBNamedElement, InternalDBElement
Modifier and Type | Method and Description |
---|---|
void |
dump() |
void |
dump(Writer writer) |
String |
dumpToString() |
void |
setName(String name) |
getName
getProperties
addListener, getListeners, hasListeners, removeListener
void setName(String name)
String dumpToString()
void dump()
void dump(Writer writer) throws IOException
IOException
Copyright (c) 2011-2015 Eike Stepper (Berlin, Germany) and others.