Powerpoint Presentation of the exercise session.

Some examples I showed in class.

9 exercises about invariants. Note: The last 3 are not in "EProg-official-style" since you shouldn't use text in invariants/Postconditions. However they are good to understand the concept.

Solutions to the exercises above.

Basic task with classes.

Projects to the exercise above ("Tierheim"). - With solutions and JUnit test file.

Basic task with classes.

Projects to the exercise above ("Roboter"). - With JUnit test. Without solutions (will be uploaded next week).

Some Code snipplets about invariants and recursion. Recursion example from the lesson - with code and comments!

More on Arrays and Introduction to Objects and their usage. Arrays class, Objects as Parameters and Return type.

Classes and their Constructors, Methods, Visibility of Attributes, Static vs. Non-Static and Class Coding conventions.