OverviewIntroductionOverall structure in briefAbstractionPrograms and Libraries
Introduction
Overall structure in brief
Abstraction
Programs and Libraries
Core LanguageLexical StyleScalar TypesControl StructuresArrays and RecordsExpressions StructuresSubprogramsAccess Types
Lexical Style
Scalar Types
Control Structures
Arrays and Records
Expressions Structures
Subprograms
Access Types
Packages and Private TypesPackagesPrivate TypesPrimitive operations and derived typesEqualityLimited typeResource management
Packages
Private Types
Primitive operations and derived types
Equality
Limited type
Resource management
Overall StructureLibrary UnitsSubUnitsChild Library UnitsPrivate child unitsMutually dependent unitsScope, visibility and accessibilityRenamingProgram, partitions and elaboration
Library Units
SubUnits
Child Library Units
Private child units
Mutually dependent units
Scope, visibility and accessibility
Renaming
Program, partitions and elaboration
Object Oriented Programming and TechniquesType ExtensionPolymorphismAbstract types and interfacesViews and redispatchingPrivate types and extensionsControlled typesMultiple InheritanceMultiple implementation
Type Extension
Polymorphism
Abstract types and interfaces
Views and redispatching
Private types and extensions
Controlled types
Multiple Inheritance
Multiple implementation
ExceptionsHandling exceptionsDeclaring and raising exceptionsChecking and exceptionsException occurrencesException pragmasScope of exceptions
Handling exceptions
Declaring and raising exceptions
Checking and exceptions
Exception occurrences
Exception pragmas
Scope of exceptions
Numeric  TypesSigned integer typesModular typesReal typesFloating point typesFixed point typesDecimal types
Signed integer types
Modular types
Real types
Floating point types
Fixed point types
Decimal types
Parameterized TypesDiscriminated record typesDefault discriminantsVariant partsDiscriminants and derived typesAccess types and discriminantsPrivate types and discriminantsAccess discriminants
Discriminated record types
Default discriminants
Variant parts
Discriminants and derived types
Access types and discriminants
Private types and discriminants
Access discriminants
GenericsDeclarations and instantiationsType paramtersSubprogram parametersPackage parametersGeneric library units
Declarations and instantiations
Type paramters
Subprogram parameters
Package parameters
Generic library units
TaskingParallelismTiming and schedulingProtected objectsSimple select statementsTimed and Conditional callsConcurrent types and activationTermination, exceptions and ATCSignaling and schedulingSummary of structure
Parallelism
Timing and scheduling
Protected objects
Simple select statements
Timed and Conditional calls
Concurrent types and activation
Termination, exceptions and ATC
Signaling and scheduling
Summary of structure
Object Oriented TechniquesExtension and compositionUsing interfacesMixin inheritanceLinked structuresIteratorsObject factoriesControlling abstraction
Extension and composition
Using interfaces
Mixin inheritance
Linked structures
Iterators
Object factories
Controlling abstraction
Tasking TechniquesDynamic TasksMultiprocessorsSynchronized InterfacesDiscriminantsTask terminationClocks and timers
Dynamic Tasks
Multiprocessors
Synchronized Interfaces
Discriminants
Task termination
Clocks and timers
PredefinedStandard packageAda packageCharacters and stringsNumericsInput and OutputText input and outputStreamsEnvironment Commands
Standard package
Ada package
Characters and strings
Numerics
Input and Output
Text input and output
Streams
Environment Commands
Container LibrariesOrganization of libraryDoubly linked listsVectorsMapsSetsIndefinite containersSorting
Organization of library
Doubly linked lists
Vectors
Maps
Sets
Indefinite containers
Sorting
InterfacingRepresentationsUnchecked ProgrammingSystem packageStorage pools
Representations
Unchecked Programming
System package
Storage pools

Learners Outcome

Additional Information

Prerequisites