Topics

• Files and I/O streams
• Assertion
• Linked lists
• Structs
• Compilation
• Formatted Input/Output
• Getting started with ada
• Attribute Image
• Enumeration
• Packages
• Task
• Unions
• Implementing the producer-consumer pattern
• package Ada.Text_IO
• Files and I/O streams

Examples

• Precondition and Postcondition
• Print out float using the Image attribute
• Print out integer using the Image attribute
• Print out enumeration using the Image attribute
• Hello World
• Print out Enumeration using attribute Image
• Print out Integer using attribute Image
• Print out Float using attribute Image
• Iterating literals
• Using package Enumeration_IO
• First character upper case rest lower case literals
• More on Packages
• One simple task
• One simple task and one loop
• One simple task and two loops
• Two simple task and two loops
• Producer-Consumer with a sampling consumer
• Put_Line
• Create and write to file
• A task that increment a number after entry