SwiftDocCDiagnosticFormattingConsumerformattingOptionsInstance PropertyformattingOptionsOptions for how problems should be formatted if written to output.var formattingOptions: DiagnosticFormattingOptions { get set }