[Eiffel] some clients have access to routine, but not to feature used in precondition

[quote='_Linuxhippy','http://www.informatik-forum.at/testing/forum/…7995#post657995']Hi,

1. Wisst ihr wie man in Eiffel in einer Kind-Klasse die redefinierte Methode der SuperKlasse aufrufen kann, ähnlich wie in java mit super:

void overridden() {
super. overridden();
}

Das Schlüsselwort hierfür ist Precursor().

2. Ich bin grad am Eiffel-Lernen und würde gern meine Klassenvariablen "private" machen, sowie getter/setter methoden dafür implementieren:

feature {NONE}
        names : LINKED_LIST[String]


    feature {BANK}
        addKunde (kunde : PERSON)
        require
            name_not_null: names.count > 0
        do
            kunden.put_front (kunde)
        end

Private gibt es in Eiffel nicht wirklich. Die Sprache lässt kein direktes Schreiben( wie in public) zu. Für Getter, Setter musst du dir Features anlegen.
Es besteht also eigentlich kein Grund die names nach NONE zu exportieren, weil von draußen onehin nur lesend zugegriffen werden könnte.

Aber wenn ich das kompiliere, meckert der Eiffel-Kompiler:

some clients have access to routine, but not to feature used in precondition

Ich verstehe das Problem hier nicht ganz, ich stehe addName/removeName methoden zur verfügung - und möchte eigentlich nicht dass jemand der addKunde aufrufen kann auch zugriff auf die Liste hat. Habt ihr hier eine Idee?

Das Problem ist leicht erklärt: Eiffel verwendet das klassische Server-Client Prinzip.
Dabei garantiert ein Client die Precondition und kann sich dann auf den Server verlassen der die Invarianten und Postconditions einhält.
Dein Client kann allerdings die Precondition nicht garantieren, weil du darin die names abfragst, die zu NONE exportiert sind worauf er also keinen Zugriff hat.

Falls dich solche Objektorientierten Konzepte interessieren(wie z.B. auch die Kovarianz in Eiffel von Typparametern) kann ich dir übrigends nur Fortgeschrittene Objektorientierte Programmierung bei Professor Puntigam ans Herz legen. Da programmiert man unter anderem auch in Eiffel und Smalltalk.

Zitat von LordNecro

Das Problem ist leicht erklärt: Eiffel verwendet das klassische Server-Client Prinzip.
Dabei garantiert ein Client die Precondition und kann sich dann auf den Server verlassen der die Invarianten und Postconditions einhält.
Dein Client kann allerdings die Precondition nicht garantieren, weil du darin die names abfragst, die zu NONE exportiert sind worauf er also keinen Zugriff hat.

Soweit ich ihn verstehe, ist ihm das (= das Problem) klar, nicht aber die Lösung. Ohne Eiffel zu kennen: Ich denk mal, mit einer für alle sichtbaren Methode "number_of_names" (oder was auch immer) sollte es vielleicht gehen. Wenn die Precondition über so eine Methode formuliert ist, kann ja der Benutzer der Klasse eben selber prüfen, ob sie erfüllt ist.

Zitat von Plantschkuh!

Soweit ich ihn verstehe, ist ihm das (= das Problem) klar, nicht aber die Lösung. Ohne Eiffel zu kennen: Ich denk mal, mit einer für alle sichtbaren Methode "number_of_names" (oder was auch immer) sollte es vielleicht gehen. Wenn die Precondition über so eine Methode formuliert ist, kann ja der Benutzer der Klasse eben selber prüfen, ob sie erfüllt ist.

Naja das Problem liegt eigentlich schon daran, dass das vom Design her keine Precondition sein sollte.
Eine Precondition bedeutet in Worten: "Ich als Aufrufer garantiere dir das mein Aufruf alle Kriterien erfüllt". Wenn der Client keinen Zugriff auf die Liste hat kann er das auch nicht garantieren. Man kann den Mechanismus natürlich wie du beschreibst aushebeln, allerdings wenn man schon so rumbasteln muss ist das schon ein deutliches Indiz, dass das kein Fall für ne Precondition sondern für ein simples IF ist.