public interface INamedElement
| Modifier and Type | Method and Description |
|---|---|
String |
getName()
Get name of the element.
|
void |
rename(String newName)
Change name of the element to newName.
|
String getName()
void rename(String newName) throws InvalidNameException, CycleException, DuplicateNameException
newName - New name of the element.InvalidNameException - Passed name is not valid Yaposh name.CycleException - Renaming causes cycle.DuplicateNameException - Such name is already used in the plan.Copyright © 2018 AMIS research group, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. All rights reserved.