public string getOutputFileName() { string ret = libsbmlPINVOKE.SBMLExternalValidator_getOutputFileName(swigCPtr); return ret; }