public string getSBMLFileName() { string ret = libsbmlPINVOKE.SBMLExternalValidator_getSBMLFileName(swigCPtr); return ret; }