Beispiel: Keller
Wir wollen nochmals die Erhaltung von Datenstruktur-invarianten durch Einkapselung zeigen. Dazu implementieren wir einen Keller als Feld mit Pegel.
{ protected static final int SIZE = 100 ; // Klassenkonstante
protected int top_pt ; // Pegel
protected int [] stack ; // Kellerinhalt
// Datenstrukturinvariante: Relevant ist stack[0] ... stack[top_pt-1]