public String[] getAttributeNames()
  {
      String[] names = new String[0];
      names = definedAttributes.keySet().toArray(names);
      return names;
  }
Returns an array of all names of attributes managed by
this AttributeManager.
Ghidra/Framework/Generic/src/main/java/ghidra/util/graph/attributes/AttributeManager.java