Object-Oriented Software Construction

Transcription

1 1 Object-Oriented Software Construction Bertrand Meyer

2 2 Lecture 2: EiffelStudio and project presentation

3 Agenda for today 3 EiffelStudio: The ISE Eiffel environment Project presentation

4 Agenda for today 4 EiffelStudio: The ISE Eiffel environment Project presentation

5 EiffelStudio 5 Introduction to the IDE The Diagram Tool Documentation generation Debugging Demo

6 Material available online 6 Guided tour: ion.pdf

7 EiffelStudio 7 Introduction to the IDE The Diagram Tool Documentation generation Debugging Demo

8 Introduction to the IDE 8 One development window divided into four panels: Editor Context tool Clusters pane Features pane + Search and Favorites Toolbar customization Pick-and-drop mechanism

9 The editor 9 Syntax highlighting Syntax completion (CTRL+Space) Class name completion (SHIFT+CTRL+Space) Smart indenting Block indent or exdent Block commenting or uncommenting Infinite level of Undo/Redo (reset after a save) Quick search features (F3 and SHIFT+F3)

10 The compiler 10 Fast Produces efficient code Supports.NET Project Settings Tool

11 EiffelStudio 11 Introduction to the IDE The Diagram Tool Documentation generation Debugging Demo

12 A quick run through BON 12 Class types: * DEFERRED + EFFECTIVE PERSISTENT INTERFACED REUSED ROOT_CLASS Cluster: ROOT_CLUSTER INTERFACED

13 A quick run through BON (cont d) 13 Inheritance link: * DEFERRED Client links: + EFFECTIVE ROOT_CLASS f REUSED ROOT_CLASS expanded_f REUSED

14 The Diagram tool 14 Provides Real time roundtrip reverse engineering Synchronized at each compilation Allows for different views

15 EiffelStudio 15 Introduction to the IDE The Diagram Tool Documentation generation Debugging Demo

16 Documentation generation 16 Multiple predefined formats Extendible formats Extremely powerful HTML generation with clickable diagrams

17 Metrics 17 Hundreds of different metrics available Can be publicized on web sites for future comparison

18 EiffelStudio 18 Introduction to the IDE The Diagram Tool Documentation generation Debugging Demo

19 Getting started with the debugger 19 The system must be melted/frozen (finalized systems cannot be debugged) Use the Project Settings Tool to specify command line arguments Click the launch button

20 Setting breakpoints 20 Use the flat formats to add breakpoints Tip: An efficient way of adding breakpoints consists in dropping a feature in the context tool Click in the margin to enable/disable single breakpoints Use the toolbar debug buttons to enable or disable all breakpoints globally

21 Running the application 21 New display of the Development Window to include debugging information about: The current object (Object Tool) The arguments to the function being debugged (local variables) Possibility to control the number of elements the debugger displays for special objects (Arrays, Strings) Once on a breakpoint: possibility to step over / into / out next statement Possibility to interrupt the application at anytime (Pause Application button or SHIFT+CTRL+F5)

22 EiffelStudio 22 Introduction to the IDE The Diagram Tool Documentation generation Debugging Demo

23 Agenda for today 23 EiffelStudio: The ISE Eiffel environment Project presentation

24 The project 24 Project To Be Announced Documentation User guide: how to use the tool Developer guide: description of the architecture, main classes, limitations, how to extend the tool Test suite Thorough set of test cases

25 Grading criteria 25 Design (30 points) Soundness (5 points) Extendibility (5 points) Ease of use (5 points) Minimal requirements (15 points) Quality of contracts (20 points) Documentation (20 points) User guide (10 points) Developer guide (10 points) Test (10 points) Quality of test suite (5 points) Correctness of the tool (5 points) Quality of code (10 points) Style guidelines (5 points) Quality of code (5 points) Effort devoted to the project (10 points)

26 26 End of lecture 2