Nachsatz extends Satz { public Nachsatz() { super("9999", 1); this.remove(Bezeichner.SATZNUMMER); this.setUpTeildatensatz(); this.setAnzahlSaetze(0); } Nachsatz(); void setAnzahlSaetze(final int n); int getAnzahlSaetze(); void increaseAnzahlSaetze(); void setVermittler(final String s); String getVermittler(); void setGesamtBeitrag(final double beitrag); Betrag getGesamtBeitrag(); void setGesamtBeitragBrutto(final double beitrag); BetragMitVorzeichen getGesamtBeitragBrutto(); void setVersicherungsLeistungen(final Double betrag); BetragMitVorzeichen getVersicherungsLeistungen(); void setSchadenbearbeitungsKosten(final double kosten); BetragMitVorzeichen getSchadenbearbeitungsKosten(); @Override Feld getFeld(final Enum feld);  }
@Test public void testNachsatz() { assertEquals(9999, nachsatz.getSatzart()); }