Difference between revisions of "Table of contents"

From Liberty Eiffel Wiki
Jump to: navigation, search
(restructure chapters)
Line 13: Line 13:
 
</div>
 
</div>
   
<div id="Lecture">
+
<div id="Tutorial">
 
'''2''' Build with LibertyEiffel
'''2''' Lecture on object-oriented programming and design by contract in Eiffel
 
   
 
<blockquote>
 
<blockquote>
'''2.1''' [[Dynamic dispatch]]
+
'''2.1''' [[Tutorial tour|Guided tour of the tutorial]]
 
</blockquote>
 
</blockquote>
   
 
<blockquote>
 
<blockquote>
'''2.2''' [[Comparison of objects|Comparison of objects]]
+
'''2.2''' [[Build your library]]
 
</blockquote>
 
</blockquote>
   
 
<blockquote>
 
<blockquote>
'''2.3''' [[Cloning objects]]
+
'''2.3''' [[sedb|Debug your programs]]
 
</blockquote>
  +
 
<blockquote>
 
'''2.4''' [[profile|Profile your programs]]
 
</blockquote>
 
</blockquote>
 
</div>
 
</div>
   
<div id="Library">
+
<div id="Lecture">
 
'''3''' Lecture on object-oriented programming and design by contract in Eiffel
'''3''' The LibertEiffel general purpose library
 
   
 
<blockquote>
 
<blockquote>
'''3.1''' [[Library interface|How to use the library]]
+
'''3.1''' [[Dynamic dispatch]]
 
</blockquote>
 
</blockquote>
   
 
<blockquote>
 
<blockquote>
'''3.2''' [[Library design|Design of the library]]
+
'''3.2''' [[Comparison of objects|Comparison of objects]]
 
</blockquote>
 
</blockquote>
   
 
<blockquote>
 
<blockquote>
  +
'''3.3''' [[Cloning objects]]
'''3.3''' [[Library Wrappers|How to use existing libraries in LibertyEiffel (wrappers)]]
 
 
</blockquote>
 
</blockquote>
 
</div>
 
</div>
   
<div id="Tutorial">
+
<div id="Library">
 
'''4''' The LibertEiffel general purpose library
'''4''' Build with LibertyEiffel
 
 
<blockquote>
 
'''4.1''' [[Tutorial tour|Guided tour of the tutorial]]
 
</blockquote>
 
   
 
<blockquote>
 
<blockquote>
'''4.2''' [[Build your library]]
+
'''4.1''' [[Library interface|How to use the library]]
 
</blockquote>
 
</blockquote>
   
 
<blockquote>
 
<blockquote>
'''4.3''' [[sedb|Debug your programs]]
+
'''4.2''' [[Library design|Design of the library]]
 
</blockquote>
 
</blockquote>
   
 
<blockquote>
 
<blockquote>
 
'''4.3''' [[Library Wrappers|How to use existing libraries in LibertyEiffel (wrappers)]]
'''4.4''' [[profile|Profile your programs]]
 
 
</blockquote>
 
</blockquote>
 
</div>
 
</div>

Revision as of 21:36, 16 February 2016

LibertyEiffel Wiki

1 History and goals of the LibertyEiffel project

1.1 Introduction

1.2 All LibertyEiffel versions

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

3.1 Dynamic dispatch

3.2 Comparison of objects

3.3 Cloning objects

6 The Eiffel language of LibertyEiffel

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 LibertyEiffel

6.15 ECMA - The ECMA standard andLiberty

7 The LibertyEiffel 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