Advanced Journey With Ada: A Flight In Progress (UNPUBLISHED)

Warning

This version of the website contains UNPUBLISHED contents. Please do not share it externally!

Unpublished Contents

• Resource Management
  • Memory Management
    • Maximum allocation size and alignment
      • Code example with scalar type
      • Code example with array type
    • Storage elements
    • Memory pools
    • Memory subpools
    • Secondary stack
  • Containers
    • Aggregate aspect
      • Basic syntax
      • Classification
      • Empty
      • Add_Named
      • Add_Unnamed
      • Assign_Indexed
      • Combining Add_Named and Assign_Indexed
    • User-Defined Iterator Types
  • Standard Containers
    • Linked lists
    • Trees
    • Queue containers
    • Indefinite containers
    • Holder container
  • Restrictions and Profiles
    • Pragmas
    • Language-Defined Restrictions and Profiles
• Abstraction-oriented programming
  • Strong typing
    • Type-based security
    • Example: Table access
      • Typical implementation
      • Using stronger typing
    • Example: Multiple indices
      • Typical implementation
      • Using stronger typing
    • Discriminants
  • Object-Oriented Programming
    • Primitives
    • Overriding indicators
    • Abstract types and subprograms
    • Interfaces
      • Null records vs. interfaces
    • Example: Extending Interfaces
      • Using new interfaces
      • Using null procedures
    • Calling inherited subprograms
    • Dynamic Polymorphism
    • Controlled types
    • Ada.Tags package
    • User-defined indexing
  • Generics
    • Mapping of Definite and Indefinite Subtypes
    • Formal incomplete types
    • Formal packages
      • Abstracting definitions into packages
      • Formal package parametrization
      • Abstracting procedures into packages
      • Abstracting the test application
      • Cascading generic packages
      • Signature Packages
    • Formal objects
      • Input-output formal objects
    • Formal definite and indefinite types
    • Formal incomplete type
    • Default subtype mark
    • Formal private and derived types
    • Formal interfaces
      • Generating subprogram specifications
      • Facilitating arrays of interfaces
      • Discussion: formal interfaces vs. other approaches
      • Formal synchronized interfaces
    • Formal numeric types
      • Formal floating-point types
      • Formal fixed-point types
    • Generic Renaming
• Design by contract
  • Contracts
    • Class-wide contracts
    • Default initial conditions
    • Entry index attribute
    • Global Aspect Definition
    • Predicate failure
    • Stable Properties of a Type
• Initialization
  • Freezing
    • Freezing rules
  • Package Elaboration
    • Preelaboration
    • Elaboration control
    • Pure program and library units
  • Elaboration Of Generics
    • Elaboration check
• Multithreading
  • Tasking
    • Statements
      • Select statements
      • Guard expressions
      • Requeue instruction
      • Abort statements
      • select...then statement
    • Task IDs and attributes
    • Task termination
    • Tasking and exceptions
    • Task and synchronized interfaces
    • Protected Subprograms and Protected Actions
• Interfacing with the external world
  • File I/O
    • Efficient Stream I/O for Array Types
    • Container streaming
  • Interfacing with C and C++
    • Interfacing with C
      • Using unconstrained types
    • Interfacing with C++
      • C++ symbol mangling
      • C++ classes
      • C++ constructors
• Appendices
  • Legacy features
    • Nested packages
      • Visibility
    • separate compilation