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) 2014 Eike Stepper (Berlin, Germany) and others.
All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at http://www.eclipse.org/legal/epl-v10.html