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