• Angelegt von Unbekannter Benutzer (admin), zuletzt geändert am Aug 25, 2011

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

Unterschiede anzeigen Seitenhistorie anzeigen

« Vorherige Version anzeigen Version 2 Nächste Version anzeigen »


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

  • Keine Stichwörter