Sie zeigen eine alte Version dieser Seite an. Zeigen Sie die aktuelle Version an.

Unterschiede anzeigen Seitenhistorie anzeigen

« Vorherige Version anzeigen Version 3 Aktuelle » 

Type sourceType = dom.getRootType();
Error error = new UserError("identifier", sourceType);
dom.getController().getErrorController().addError(myError);



  • Keine Stichwörter