public interface NamedModelElement extends ModelElement
java.lang.String
getName()
java.lang.String getName()
Copyright © 2003-2019 The KeY-Project.