Search Results

Pages containing all of the words "Ada.Text_IO"

On the sites:
Ada Power,
Ada Organizations,
ARA Members,
Ada Vendors,
Ada Libraries, and
Other Ada Sites

Matches 1 to 20 of 356 found in 7.3259 seconds

Index
... 5.1(4), P Abort_Task in Ada.Task_Identification C.7.1 ... Task_Identification C.7.1(2) Ada.Text_IO A.10.1(2) Ada.Text_IO.Complex_IO ... ) Ada.Text_IO A.10.1(2) Ada.Text_IO.Complex_IO G.1.3(3) Ada.Text_IO.Editing F.3.3(3 ... Text_IO.Editing F.3.3(3) Ada.Text_IO.Text_Streams A.12.2(3) ...
http://www.adapower.com/rm95/RM-0-29.html - 11 Apr 2003 - 565K

Ada95 - Index
... 5.1(4), P Abort_Task in Ada.Task_Identification C.7.1 ... Task_Identification C.7.1(2) Ada.Text_IO A.10.1(2) Ada.Text_IO.Complex_IO ... ) Ada.Text_IO A.10.1(2) Ada.Text_IO.Complex_IO G.1.3(3) Ada.Text_IO.Editing F.3.3(3 ... Text_IO.Editing F.3.3(3) Ada.Text_IO.Text_Streams A.12.2(3) ...
http://archive.adaic.com/ase/ase02_01/bookcase/ada_sh/lrm95/RM-0-29.html - 09 Sep 2006 - 560K

AdaControl User Guide V1.21r6b
... examples of entity names: Ada.Text_IO.Put -- All Put defined ... Put -- All Put defined in Ada.Text_IO Ada.Text_IO.Put{Standard.Character} ... check dependencies (others, Ada.Text_IO); check dependencies (raw ...
http://www.adalog.fr/compo/adacontrol_ug.html - 30 Oct 2019 - 651K

Redirecting Text_IO output to a file | Ada Programming Language Tips
... shows how it is done: with Ada.Text_IO; procedure Redir is Handle : Ada.Text_IO.File_Type; begin ... Text_IO.File_Type; begin Ada.Text_IO.Create (Handle, Ada.Text_IO.Out_File, "out. ... .Out_File, "out.txt"); Ada.Text_IO.Put_Line ("Starting redirection ...
http://ada.tips/redirecting-text_io-output-to-a-file.html - 26 Nov 2019 - 7K

Shuffle Those Cards
... Numerics.Float_Random; with Ada.Text_Io; package body Cards is ... is package Pip_Io is new Ada.Text_Io.Enumeration_IO(Pips); package Suit_Io is new Ada.Text_Io.Enumeration_Io( ... .Put(Item => Item.Pip); Ada.Text_Io.Put(Item => " of "); Suit_Io ...
http://www.adapower.com/adapower1/alg/cards.html - 07 Jul 2003 - 10K

Chain of Responsibility
... for GNAT Chop: --STX with Ada.Text_IO; use Ada.Text_IO; package body ... end Applications; with Ada.Text_IO; use Ada.Text_IO; package body ... ; end Help_Topics; with Ada.Text_IO; use Ada.Text_IO; with Widgets. ...
http://www.adapower.com/adapower1/alg/chain.html - 07 Jul 2003 - 8K

Abstract Factories Revisited
... with Mazes.Storage; with Ada.Text_IO; use Ada.Text_IO; package body ... with Mazes.Storage; with Ada.Text_IO; package body Mazes.Doors ... access Maze_Door) is begin Ada.Text_IO.Put_Line ("entered door ...
http://www.adapower.com/adapower1/alg/factory2.html - 07 Jul 2003 - 27K

Factory Simulation
... Consumer; end Factory; with Ada.Text_Io; package body Factory ... Detect upstream buffer empty Ada.Text_Io.Put_Line("Upstream buffer ... Products'Pos(Next_Unit)) * 0.26; Ada.Text_Io.Put_Line("Consumed " & ... if; select accept Halt; Ada.Text_Io.Put_Line("Products Consumed ...
http://www.adapower.com/adapower1/lang/factsim.html - 07 Jul 2003 - 7K

Perform operations on Roman numerals
... ----------------- with Ada.Text_IO; use Ada.Text_IO; with Ada.Integer_Text_IO; use Ada ... =4000 and Value>=1 then Ada.Text_Io.Put(Item => "Final Result ... while Value>=1000 loop Ada.Text_Io.Put(Item => "M"); Value ...
http://www.adapower.com/adapower1/lang/romannum.html - 07 Jul 2003 - 12K

Hypertext Ada 95 Rationale - Part Three - Chapter A
... to the language (such as Ada.Finalization) and are discussed ... for Ada.Sequential_IO and Ada.Text_IO. Improvements to Text_IO ... existing in Ada 83 such as with Ada.Text_IO; package Text_IO renames Ada.Text_IO; These renamings ...
http://www.adapower.com/adapower1/rationale/rat95-p3-a.html - 07 Jul 2003 - 106K

Ada95 Reference Manual - L index
... 10.1 The Package Text_IO(2) Ada.Text_IO.Complex_IO See section ... Complex Input-Output(3) Ada.Text_IO.Editing See section F.3.3 ... Package Text_IO.Editing(3) Ada.Text_IO.Text_Streams See section ... Subsystem(4) Picture, in Ada.Text_IO.Editing See section F.3.3 ...
http://www.adapower.com/adapower1/rm95/arm95_368.html - 07 Jul 2003 - 46K

Ada - AdaPower.com - The Home of Ada
... Numerics.Float_Random; with Ada.Text_Io; package body Cards is ... is package Pip_Io is new Ada.Text_Io.Enumeration_IO(Pips); package Suit_Io is new Ada.Text_Io.Enumeration_Io( ... .Put(Item => Item.Pip); Ada.Text_Io.Put(Item => " of "); Suit_Io ...
http://www.adapower.com/index.php?Command=Class&ClassID=Algorithms&CID=263

Ada - AdaPower.com - The Home of Ada
... ----------------- with Ada.Text_IO; use Ada.Text_IO; with Ada.Integer_Text_IO; use Ada ... choice>0) or (choice =1 then Ada.Text_Io.Put(Item => "Final Result ... while Value>=1000 loop Ada.Text_Io.Put(Item => "M"); Value ...
http://www.adapower.com/index.php?Command=Class&ClassID=Basics&CID=201

Ada - AdaPower.com - The Home of Ada
... Consumer; end Factory; with Ada.Text_Io; package body Factory ... Detect upstream buffer empty Ada.Text_Io.Put_Line("Upstream buffer ... Products'Pos(Next_Unit)) * 0.26; Ada.Text_Io.Put_Line("Consumed " & ... if; select accept Halt; Ada.Text_Io.Put_Line("Products Consumed ...
http://www.adapower.com/index.php?Command=Class&ClassID=Basics&CID=5

Ada - AdaPower.com - The Home of Ada
... with Mazes.Storage; with Ada.Text_IO; use Ada.Text_IO; package body ... with Mazes.Storage; with Ada.Text_IO; package body Mazes.Doors ... access Maze_Door) is begin Ada.Text_IO.Put_Line ("entered door ...
http://www.adapower.com/index.php?Command=Class&ClassID=Patterns&CID=265

Ada - AdaPower.com - The Home of Ada
... for GNAT Chop: --STX with Ada.Text_IO; use Ada.Text_IO; package body ... end Applications; with Ada.Text_IO; use Ada.Text_IO; package body ... ; end Help_Topics; with Ada.Text_IO; use Ada.Text_IO; with Widgets. ...
http://www.adapower.com/index.php?Command=Class&ClassID=Patterns&CID=267

Gem #150: Out and Uninitialized | Ada Gem of the Week | Ada Answers | AdaCore
... s take an example: with Ada.Text_IO; use Ada.Text_IO; ;procedure Gem ... the above code to: with Ada.Text_IO; use Ada.Text_IO; ;procedure Gem2 ... end Gem4_Support; with Ada.Text_IO; use Ada.Text_IO; ;with Gem4_Support ...
http://www.adacore.com/adaanswers/gems/gem-150out-and-uninitialized - 04 Oct 2017

Gem #150: Out and Uninitialized | Ada Gem of the Week | Ada Answers | AdaCore
... s take an example: with Ada.Text_IO; use Ada.Text_IO; ;procedure Gem ... the above code to: with Ada.Text_IO; use Ada.Text_IO; ;procedure Gem2 ... end Gem4_Support; with Ada.Text_IO; use Ada.Text_IO; ;with Gem4_Support ...
http://www.adacore.com/adaanswers/gems/gem-150out-and-uninitialized/ - 04 Oct 2017

SPARK.Ada.Text_IO | Development Log | Developers | AdaCore
... Development Log / SPARK.Ada.Text_IO Knowledge Center Dev Log ... Pro May 13th, 2011 SPARK.Ada.Text_IO The package SPARK.Ada.Text_IO has been added ... provides a thick binding to Ada.Text_IO and supersedes SPARK_IO ...
http://www.adacore.com/developers/development-log/NF-100-K413-009-spark/ - 04 Oct 2017

Hypertext Ada 95 Rationale - Part Three - Chapter A
... to the language (such as Ada.Finalization) and are discussed ... for Ada.Sequential_IO and Ada.Text_IO. Improvements to Text_IO ... existing in Ada 83 such as with Ada.Text_IO; package Text_IO renames Ada.Text_IO; These renamings ...
http://archive.adaic.com/ase/ase02_01/bookcase/ada_sh/rat95/rat3_a.htm - 09 Sep 2006 - 109K

Result Pages: Previous | Next     New Search

Total time: 8.6687 seconds