Properties (48)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
programming library
|
| gptkbp:designedFor |
gptkb:Ada_programming_language
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ada standard library
|
| gptkbp:includes |
gptkb:Ada.Text_IO
gptkb:Ada.IO_Exceptions gptkb:Ada.Float_Text_IO gptkb:Ada.Containers.Priority_Queues gptkb:Ada.Unchecked_Conversion gptkb:Ada.Text_IO.Float_IO gptkb:Ada.Task_Identification gptkb:Ada.Containers.Ordered_Sequences gptkb:Ada.Text_IO.String_IO gptkb:Ada.Exceptions gptkb:Ada.Containers.Ordered_Dictionaries gptkb:Ada.Streams gptkb:Ada.Strings.Fixed gptkb:Ada.Strings.Unbounded gptkb:Ada.Float_Constants gptkb:Ada.Strings gptkb:Ada.Synchronous_Broadcast Ada.Calendar Ada.Containers Ada.Containers.Dictionaries Ada.Containers.Maps Ada.Containers.Ordered_Maps Ada.Containers.Ordered_Queues Ada.Containers.Ordered_Sets Ada.Containers.Ordered_Stacks Ada.Containers.Ordered_Vectors Ada.Containers.Queues Ada.Containers.Sets Ada.Containers.Stacks Ada.Containers.Vectors Ada.Integer_Constants Ada.Integer_Text_IO Ada.Numerics Ada.Text_IO.Integer_IO |
| gptkbp:provides |
data structures
exception handling containers file handling input/output facilities input/output streams string handling generic programming support tasking support numerical types time handling |