Table of contents

Liberty Eiffel Wiki

1 History and goals of the Liberty Eiffel project

1.1 Introduction

1.2 All Liberty Eiffel versions

2 Build with Liberty Eiffel

2.1 Setup Liberty Eiffel on your computer

2.2 Guided tour of the tutorial

2.3 Build your library

2.4 Debug your programs

2.5 Profile your programs

3 Lecture on object-oriented programming and design by contract in Eiffel

3.1 Inheritance

3.2 Dynamic dispatch

3.3 Comparison of objects

3.4 Cloning objects

4 The LibertEiffel general purpose library

4.1 How to use the library

4.2 Design of the library

4.3 How to use existing libraries in Liberty Eiffel (wrappers)

4.4 How to create a wrapper for existing libraries

5 Liberty Eiffel's tools documentation

6 The Eiffel language of Liberty Eiffel

6.1 System defintion of Eiffel

6.2 Syntax diagrams of Eiffel

6.3 Expanded object or reference object

6.4 Validity of assignments and feature redefinitions

6.5 What you need to know about Current

6.6 A definition of Void

6.7 Once

6.8 Tuples

6.9 Agents

6.10 Precursor

6.11 Manifest storage notation

6.12 Dynamic type testing

6.13 Type of integer constants

6.14 SCOOP - Concurrency in Liberty Eiffel

6.15 ECMA - The ECMA standard andLiberty

7 The Liberty Eiffel FAQ

8 Glossary

9 Papers

10 License

11 Appendices

11.1 Author guidelines for this wiki

11.2 Why there are no threads

11.3 The output of the -gc_info option.

12 Bibliography

13 Index