public interface ProgramModelElement extends NamedModelElement
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getFullName()
Returns the maximal expanded name including all applicable
qualifiers.
|
getName
Copyright © 2003-2019 The KeY-Project.