http://se.inf.ethz.ch/courses/2010b_fall/eprog/lectures/11_inherita...
... ++ * aufgeschoben ( deferred) + wirksam (effective) ++ redefiniert (redefined) * * * * ‹#› 20 Features im Beispiel ... TAXI feature [… Rest of class …] end deferred class TAXI inherit VEHICLE feature [… Rest of class ... ++ * aufgeschoben ( deferred) + wirksam (effective) ++ redefiniert (redefined) * * * * ‹#› 20 Features im Beispiel ... TAXI feature [… Rest of class …] end deferred class TAXI inherit VEHICLE feature [… Rest of class ...
Covariance
... TOUR_TRAM position* move* * aufgeschoben ( deferred) + wirksam (effective) ++ redefiniert (redefined ... Klasse …] end class PUBLIC_TRANSPORT inherit TRANSPORT feature [… Rest der Klasse …] end deferred class ... TOUR_TRAM position* move* * aufgeschoben ( deferred) + wirksam (effective) ++ redefiniert (redefined ... Klasse …] end class PUBLIC_TRANSPORT inherit TRANSPORT feature [… Rest der Klasse …] end deferred class ...
http://se.inf.ethz.ch/courses/2012b_fall/eprog/lectures/11_inherita...
... TAXI PUBLIC_TRANSPORT TOUR_TRAM position* move* * aufgeschoben ( deferred) + wirksam (effective ... Klasse …] end deferred class TRANSPORT inherit MOBILE feature [… Rest der Klasse…] end Alle Features von ... TAXI PUBLIC_TRANSPORT TOUR_TRAM position* move* * aufgeschoben ( deferred) + wirksam (effective ... Klasse …] end deferred class TRANSPORT inherit MOBILE feature [… Rest der Klasse…] end Alle Features von ...
http://se.inf.ethz.ch/courses/2013b_fall/eprog/lectures/11_inherita...
... TAXI PUBLIC_TRANSPORT TOUR_TRAM position* move* * aufgeschoben ( deferred) + wirksam (effective ... Klasse …] end deferred class TRANSPORT inherit MOBILE feature [… Rest der Klasse…] end Alle Features von ... TAXI PUBLIC_TRANSPORT TOUR_TRAM position* move* * aufgeschoben ( deferred) + wirksam (effective ... Klasse …] end deferred class TRANSPORT inherit MOBILE feature [… Rest der Klasse…] end Alle Features von ...
http://se.inf.ethz.ch/courses/2015b_fall/eprog/lectures/11_inherita...
... position* move* * aufgeschoben ( deferred) + wirksam (effective) ++ redefiniert (redefined) * * position ... der Klasse …] end deferred class TRANSPORT inherit MOBILE feature [… Rest der Klasse…] end Alle ... position* move* * aufgeschoben ( deferred) + wirksam (effective) ++ redefiniert (redefined) * * position ... der Klasse …] end deferred class TRANSPORT inherit MOBILE feature [… Rest der Klasse…] end Alle ...
Dienstverschiebungsgesuche Militär
... Download vertical_align_bottom D-BAUG Policy on Deferred Service (based on the new regulations in ... vertical_align_bottom D-BAUG Policy on Deferred Service (based on the new regulations in the ...
http://se.inf.ethz.ch/courses/2010b_fall/eprog/lectures/14_multiple...
... <, <=, >, >=, … +, –, *, / … (totale Ordnungs-beziehung) (kommutativer Ring) ‹#› 16 Wie schreiben wir die Klasse COMPARABLE? deferred ... class COMPARABLE [G ] feature end less alias "<" (x : COMPARABLE [G ]): BOOLEAN deferred end less_equal ... <, <=, >, >=, … +, –, *, / … (totale Ordnungs-beziehung) (kommutativer Ring) ‹#› 16 Wie schreiben wir die Klasse COMPARABLE? deferred ... class COMPARABLE [G ] feature end less alias "<" (x : COMPARABLE [G ]): BOOLEAN deferred end less_equal ...
Covariance
... ) deferred class COMMAND feature execute -- Befehl einmal ausführen. undo -- Frühere Ausführung rückgängig ... machen. end deferred : done end deferred end done: BOOLEAN -- Wurde dieser Befehl ausgeführt? ensure ... ) deferred class COMMAND feature execute -- Befehl einmal ausführen. undo -- Frühere Ausführung rückgängig ... machen. end deferred : done end deferred end done: BOOLEAN -- Wurde dieser Befehl ausgeführt? ensure ...
Covariance
... dieser Zeile! 10 Allgemeiner Begriff eines Befehls deferred class BEFEHL feature execute -- Eine ... deferred : done end deferred end done: BOOLEAN -- Wurde dieser Befehl ausgeführt? ensure already: done ... dieser Zeile! 10 Allgemeiner Begriff eines Befehls deferred class BEFEHL feature execute -- Eine ... deferred : done end deferred end done: BOOLEAN -- Wurde dieser Befehl ausgeführt? ensure already: done ...
http://se.inf.ethz.ch/courses/2012b_fall/eprog/lectures/18_undo.pptx
... Inhalt dieser Zeile! ‹#› 9 Allgemeiner Begriff eines Befehls deferred class BEFEHL feature execute ... end deferred : done end deferred end done: BOOLEAN -- Wurde dieser Befehl ausgeführt? ensure already ... Inhalt dieser Zeile! ‹#› 9 Allgemeiner Begriff eines Befehls deferred class BEFEHL feature execute ... end deferred : done end deferred end done: BOOLEAN -- Wurde dieser Befehl ausgeführt? ensure already ...
