Versionen im Vergleich

Schlüssel

  • Diese Zeile wurde hinzugefügt.
  • Diese Zeile wurde entfernt.
  • Formatierung wurde geändert.
Codeblock
themeEclipse
languagejava
linenumberstrue
Type sourceType = dom.getRootType();

...


Error error = new UserError("identifier", sourceType);

...


dom.getController().getErrorController().addError(myError);