Interface DiagnosticContext