Please also see the forum.

The Laboratory is in Prism on Monday March 23 4-6pm. So office hours will be in the Lab!

The main purpose of the Lab is to make sure that you are comfortable with all aspects of the EiffelStudio tool including:

• Browsing clusters, classes and features. Targeting and retargeting. Text view, contract view, flat view, interface view.
• Using the debugger. Set a breakpoint, execute one step at a time, examine the heap etc.
• Writing tests with ESpec
• Generating proper formatted documentation (html-style and rtf style)
• Deriving BON class diagrams showing client-supplier and inheritance relations.
• Understand all aspects of bank_account3 (see SVN) and slides.

Follow the Tutorial and use bank_account3 in the SVN to check out the features.

We will not be answering any questions having to do with the solution to assignment 1.

The ECF file for Assignment 1 has changed to

 <library name="espec" location="$ESPEC\library\espec.ecf"/>

instead of

 <library name="espec" location="$ESPEC\espec.ecf"/>

This is so that we can use the same ECF file whether we run on Windows or Linux. The environmental variable in both cases is set to point to the espec_simple folder.

 Prism: $ESPEC=/cs/home/sel/espec_simple
 e.g. on Windows: $ESPEC=c:\espec_simple

Note: Make sure to clear the cache when obtaining a new zip file from the SVN, e.g. on Firefox do: Tools → Clean Private Data.

Assignment 1 has been released.

Please familiarize yourself with the EiffelStudio IDE before the next class on Monday.

• Getting Started
• Read Eiffel Essentials PDF at Resources.
• Please join the forum ASAP. New information will be posted there.
• Try out the IDE on class ACCOUNT – done in class on the first day. Slides are available (click the SVN link on the sidebar to the left). The BigEiffel pdf has some slides on the bank account and specifying classes via Design by Contract.