17INLINE InternalNameCollection::
18~InternalNameCollection() {
34operator + (
const InternalNameCollection &other)
const {
35 InternalNameCollection a(*
this);
void add_names_from(const InternalNameCollection &other)
Adds all the InternalNames indicated in the other collection to this name.
void operator+=(const InternalNameCollection &other)
Appends the other list onto the end of this one.
InternalNameCollection operator+(const InternalNameCollection &other) const
Returns a InternalNameCollection representing the concatenation of the two lists.