public interface NewOldPair extends Term
Modifier and Type | Method and Description |
---|---|
ListTerm<Name> |
getName()
Returns the Name elements.
|
Name |
getNewName() |
Name |
getOldName() |
ZName |
getZDeclName()
This is a convenience method.
|
ZName |
getZRefName()
This is a convenience method.
|
void |
setNewName(Name name) |
void |
setOldName(Name name) |
ListTerm<Name> getName()
Returns the Name elements.
To add or remove elements, use the methods provided by the List interface (that's why there is no need for a setter method).
Name getNewName()
void setNewName(Name name)
Name getOldName()
void setOldName(Name name)
ZName getZDeclName()
ZName getZRefName()
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.