{
if (allMembers == null) {
Vector members = new Vector();
// first collect value members of our base value
Value base = getBaseValue();
if (base != null) {
TypeSystemNode[] baseMembers = base.getAllMembers();
for (int i = 0; i < baseMembers.length; i++)
members.addElement(baseMembers[i]);
}