1. Probeklausur: Aufgabe 7

livingst0n
Neuling
Neuling
Beiträge: 10
Registriert: 14. Okt 2011 10:17

1. Probeklausur: Aufgabe 7

Beitrag von livingst0n »

Hallo zusammen,

ich arbeite gerade die erste Probeklausur durch und habe eine Frage zu Aufgabe 7b. Dort sollen wir pruefen in wie Weit die angegebenen Implementierungen zu dem JML Contract passen. Aus dem Bauch heraus wuerde ich sagen keine, denn x und y sind nicht sichtbar. Es fehlt:

Bild

Oder sehe ich das falsch?

Gruss,
Chris

Boddlnagg
Mausschubser
Mausschubser
Beiträge: 54
Registriert: 10. Dez 2012 12:07

Re: 1. Probeklausur: Aufgabe 7

Beitrag von Boddlnagg »

Ohne jetzt irgendetwas weiteres zu der Aufgabe zu sagen: spec_public ändert bei Elementen, die sowieso public sind, überhaupt nichts. Mit spec_public kann man aber beispielsweise eine private Eigenschaft für Kontrakte trotzdem sichtbar machen.

livingst0n
Neuling
Neuling
Beiträge: 10
Registriert: 14. Okt 2011 10:17

Re: 1. Probeklausur: Aufgabe 7

Beitrag von livingst0n »

Ahh stimmt, da haette ich doch nochmal drueber nachdenken sollen :roll:

Danke! ;-)

Antworten

Zurück zu „Archiv“