String Analysis.ResultFileName { get; }