public RawDiagnosticFormatter(Options options){
  super(null,new SimpleConfiguration(options,EnumSet.of(DiagnosticPart.SUMMARY,DiagnosticPart.DETAILS,DiagnosticPart.SUBDIAGNOSTICS)));
}

public RawDiagnosticFormatter ( Options options ) { super ( null , new SimpleConfiguration ( options , EnumSet . of ( DiagnosticPart . SUMMARY , DiagnosticPart . DETAILS , DiagnosticPart . SUBDIAGNOSTICS ) ) ) ; }
create a formatter based on the supplied options .
