publicvoid validateThird() {
JViewport viewport = this.pane.getViewport();
JScrollBar scroller = this.pane.getHorizontalScrollBar(); if (!scroller.getComponentOrientation().equals(ComponentOrientation.RIGHT_TO_LEFT)) { thrownew Error("unexpected component orientation");
} int value = scroller.getValue(); if (value != 0) { thrownew Error("unexpected scroll value");
} int extent = viewport.getExtentSize().width; if (extent != scroller.getVisibleAmount()) { thrownew Error("unexpected visible amount");
} int size = viewport.getViewSize().width; if (size != scroller.getMaximum()) { thrownew Error("unexpected maximum");
} int pos = size - extent - value; if (pos != viewport.getViewPosition().x) { thrownew Error("unexpected position");
}
}
}
Messung V0.5 in Prozent
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.0Bemerkung:
(vorverarbeitet am 2026-06-10)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.