Resource Management

• Access Types
  • Access types: Terminology
    • Access type, designated subtype and profile
    • Access object and designated object
    • Access value and designated value
  • Access types: Allocation
    • Pool-specific access types
    • Multiple allocation
  • Discriminants as Access Values
    • Unconstrained type as designated subtype
    • Whole object assignments
  • Parameters as Access Values
    • Changing the referenced object
    • Replace the access value
    • Side-effects on designated objects
  • Self-reference
  • Mutually dependent types using access types
  • Dereferencing
    • Implicit Dereferencing
  • Ragged arrays
    • Uniform multidimensional arrays
    • Non-uniform multidimensional array
  • Aliasing
    • Aliased objects
    • Aliased components
    • Aliased parameters
  • Accessibility Levels and Rules: An Introduction
    • Lifetime of objects
    • Accessibility Levels
    • Accessibility Rules
    • Accessibility rules on parameters
    • Dangling References
  • Unchecked Access
  • Unchecked Deallocation
    • Unchecked Deallocation and Dangling References
    • Dereferencing dangling references
    • Restrictions for Ada.Unchecked_Deallocation
  • Null & Not Null Access
  • Design strategies for access types
    • Abstract data type for access types
    • Controlled type for access types
  • Access to subprograms
    • Static vs. dynamic calls
    • Access to subprogram declaration
    • Objects of access-to-subprogram type
    • Components of access-to-subprogram type
    • Access-to-subprogram as discriminant types
    • Access-to-subprograms as formal parameters
    • Selecting subprograms
    • Null exclusion
    • Access to protected subprograms
  • Accessibility Rules and Access-To-Subprograms
    • Unchecked Access
  • Access and Address
    • Address and access conversion
• Anonymous Access Types
  • Named and Anonymous Access Types
    • Relation to named types
    • Benefits of anonymous access types
  • Anonymous Access-To-Object Types
    • Not Null Anonymous Access-To-Object Types
    • Drawbacks of Anonymous Access-To-Object Types
  • Access discriminants
    • Default Value of Access Discriminants
    • Benefits of Access Discriminants
    • Preventing dangling pointers
  • Self-reference
  • Mutually dependent types using anonymous access types
  • Access parameters
    • Interfacing To Other Languages
    • Inherited Primitive Operations For Tagged Types
  • User-Defined References
    • Dereferencing of tagged types
    • Simple container
  • Anonymous Access Types and Accessibility Rules
    • Conversions between Anonymous and Named Access Types
    • Accessibility rules on access parameters
  • Anonymous Access-To-Subprograms
    • Examples of anonymous access-to-subprogram usage
    • Application of anonymous access-to-subprogram types
    • Readability
  • Accessibility Rules and Anonymous Access-To-Subprograms
    • Named vs. anonymous access-to-subprograms
    • Named vs. anonymous access-to-subprograms as parameters
    • Iterator
• Limited Types
  • Assignment and equality
    • Assignments
    • Equality
  • Limited private types
    • Non-Record Limited Types
    • Partial and full view of limited types
    • Limited and nonlimited in full view
    • Limited private component
    • Tagged limited private types
  • Explicitly limited types
  • Subtypes of Limited Types
  • Deriving from limited types
    • Deriving from limited private types
    • Deriving from non-explicitly limited private types
  • Immutably Limited Types
    • Non immutably limited types
  • Limited Types with Discriminants
    • Default Expressions
    • Limited private type with unknown discriminants
  • Record components of limited type
  • Limited types and aggregates
    • Full coverage rules for limited types
  • Constructor functions for limited types
  • Return objects
    • Extended return statements for limited types
    • Initialization and function return
  • Building objects from constructors
  • Limited types as parameter
• Controlled Types
  • Overview
    • Lifetime of objects
    • Initialization of objects
    • Controlled objects
    • Adjustment of controlled objects
    • Limited controlled types
    • Simple Example with ID
  • Initialization
    • Subcomponents
    • Components with access discriminants
    • Task activation
  • Assignment
    • Assignment using anonymous object
    • Adjustment of subcomponents
  • Finalization
    • Normal and abnormal completion
    • Finalization via unchecked deallocation
    • Subcomponents
    • Components with access discriminants
  • Controlled Types and Exception Handling
    • Exception raising in Initialize
    • Bounded errors of controlled types
    • Memory allocation and exceptions
  • Applications of Controlled Types
    • Encapsulating access type handling
    • Encapsulating file handling