public string getPrefixedName(int index) { string ret = libsbmlPINVOKE.XMLAttributes_getPrefixedName(swigCPtr, index); return ret; }