ToString?

ToString?

[Nazgul]

Is there something like Integer'ToString(xxx) that converts an integer to a
string ?

Thanks.

Re: ToString?

[Peter Hermann]

Nazgul <darkelf@aim.homelinux.com> wrote:
> Is there something like Integer'ToString(xxx) that converts an integer to a
> string ?
                       with ada.text_io;
                        use ada.text_io;
procedure imagevalue is

  i : integer;
  f : float;

begin null;

  ada.text_io.put_line("starting test program imagevalue");
  i := integer'value("4711");
  f :=   float'value("47.1");

  ada.text_io.put_line(integer'image(i));
  ada.text_io.put_line(  float'image(f));
  
end imagevalue;

-- 
--Peter Hermann(49)0711-685-3611 fax3758 ica2ph@csv.ica.uni-stuttgart.de
--Pfaffenwaldring 27 Raum 114, D-70569 Stuttgart Uni Computeranwendungen
--http://www.csv.ica.uni-stuttgart.de/homes/ph/
--Team Ada: "C'mon people let the world begin" (Paul McCartney)

Re: ToString?

[Ingo Marks]

Nazgul wrote:

> Is there something like Integer'ToString(xxx) that converts an integer to
> a string ?
> 
> Thanks.

Integer to String: Integer'Image(xxx)
String to Integer: Integer'Value(yyy)

Re: ToString?

[Larry Hazel]

Nazgul wrote:
> 
> Is there something like Integer'ToString(xxx) that converts an integer to a
> string ?
> 
> Thanks.

Integer'Image(xxx)

Larry

Re: ToString?

[Martin Dowie]

"Nazgul" <darkelf@aim.homelinux.com> wrote in message
news:a6kv3e$faat1$1@ID-107015.news.dfncis.de...
> Is there something like Integer'ToString(xxx) that converts an integer to
a
> string ?

try 'Image as in:

declare
   My_Integer : Integer := 10;
begin
   Put_Line (Integer'Image (My_Integer));
end;

The string will have a ' ' character at the front if positive.

To get more control about formatting check out package
Ada.Text_IO.Integer_IO (and Ada.Text_IO.Float_IO etc).

Re: ToString?

[Jeffrey Carter]

Martin Dowie wrote:
> 
> try 'Image as in:
> 
> declare
>    My_Integer : Integer := 10;
> begin
>    Put_Line (Integer'Image (My_Integer));
> end;
> 
> The string will have a ' ' character at the front if positive.

More accurately, the string will have a leading space if the value is
not negative.

-- 
Jeffrey Carter

Re: ToString?

[Martin Dowie]

> > The string will have a ' ' character at the front if positive.
>
> More accurately, the string will have a leading space if the value is
> not negative.

Ah, the '0' isn't a positive number thang!

Re: ToString?

[Jeffrey Carter]

Martin Dowie wrote:
> 
> > > The string will have a ' ' character at the front if positive.
> >
> > More accurately, the string will have a leading space if the value is
> > not negative.
> 
> Ah, the '0' isn't a positive number thang!

It's easy enough to test:

with Ada.Text_IO;
use Ada.Text_IO
procedure Is_Zero_Positive is
   Zero : constant := 0;
begin -- Is_Zero_Positive
   if Zero in Positive then
      Put_Line ("Zero is Positive");
   else
      Put_Line ("Zero is not Positive");
   end if;
end Is_Zero_Positive;

This puts "Zero is not Positive" to the standard output. QED.

-- 
Jeffrey Carter

Re: ToString?

[Adrian Knoth]

Jeffrey Carter <jeffrey.carter@boeing.com> wrote:

>> Ah, the '0' isn't a positive number thang!
> This puts "Zero is not Positive" to the standard output. QED.

That's why the church was against zero: "Zero is devil's stuff. In front
of a digit it minimizes its value by a factor of 10, behind any number
it multiplies by 10."

Of course, "10" has to be rewritten as 'X' :)

-- 
mail: adi@thur.de  	http://adi.thur.de	PGP: v2-key via keyserver

Treffen sich zwei Hellseher: "Dir gehts gut und wie gehts mir?"

Re: ToString?

[Christoph Grein]

From: Jeffrey Carter <jeffrey.carter@boeing.com>

> > Ah, the '0' isn't a positive number thang!
>
> It's easy enough to test:
> 
> with Ada.Text_IO;
> use Ada.Text_IO
> procedure Is_Zero_Positive is
>    Zero : constant := 0;
> begin -- Is_Zero_Positive
>    if Zero in Positive then
>       Put_Line ("Zero is Positive");
>    else
>       Put_Line ("Zero is not Positive");
>    end if;
> end Is_Zero_Positive;
> 
> This puts "Zero is not Positive" to the standard output. QED.

You mean a test or a mathematical proof? For a test, this is OK.

For a proof, you have to prove first that Positive holds only
positive numbers :-)

Perhaps you also have to prove that the symbol 0 you use up there is really a 
representation of what you have in mind when speaking about the mathematical 
object called 0 :-)

Re: ToString?

[Jeffrey Carter]

Christoph Grein wrote:
> 
> From: Jeffrey Carter <jeffrey.carter@boeing.com>
> 
> > > Ah, the '0' isn't a positive number thang!
> >
> > It's easy enough to test:
> >
> > with Ada.Text_IO;
> > use Ada.Text_IO
> > procedure Is_Zero_Positive is
> >    Zero : constant := 0;
> > begin -- Is_Zero_Positive
> >    if Zero in Positive then
> >       Put_Line ("Zero is Positive");
> >    else
> >       Put_Line ("Zero is not Positive");
> >    end if;
> > end Is_Zero_Positive;
> >
> > This puts "Zero is not Positive" to the standard output. QED.
> 
> You mean a test or a mathematical proof? For a test, this is OK.

I said "test". You are perhaps confused by my use of "QED", which of
course is TED's brother.

-- 
Jeffrey Carter

Re: ToString?

[Ted Dennison]

Jeffrey Carter <jeffrey.carter@boeing.com> wrote in message news:<3C90CD5A.438EE1DA@boeing.com>...
> I said "test". You are perhaps confused by my use of "QED", which of
> course is TED's brother.

:-)

Actually, I have no brother. However, my wife is JED, and my kids are
PED and KED. :-)


-- 
T.E.D. 
Home     -  mailto:dennison@telepath.com (Yahoo: Ted_Dennison)
Homepage -  http://www.telepath.com/dennison/Ted/TED.html