public static Ice.DispatchStatus getDatabaseFileName___(KP obj__, IceInternal.Incoming inS__, Ice.Current current__) { checkMode__(Ice.OperationMode.Normal, current__.mode); inS__.istr().skipEmptyEncaps(); IceInternal.BasicStream os__ = inS__.ostr(); string ret__ = obj__.getDatabaseFileName(current__); os__.writeString(ret__); return Ice.DispatchStatus.DispatchOK; }