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

Upping the ante (was): ToString?

[Kent Paul Dolan]

"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 ?

More important, is there something like toString(), with the implied
contract that _every_ object will support a parameterless call to it and
do something sensible to return a string representation of the object
usable for debugging, logging, or "not too fancy" data presentation?

To a newbie(*) Java programmer (me) this is one of the more delightful
discoveries about the language.

xanthian.

As an old timer computer language junkie, it is one of the more
delightful discoveries about _any_ language that it supports features
that are usable anywhere and always do what you want without you having
to think very hard about them.  "Good programmers are lazy programmers"
does not usefully imply that "lazy programmers are good programmers" but
the trend is sure in that direction.

*[See http://www.well.com/user/xanthian/java/TravellerDoc.html for
"pretty much everything I know about Java so far. plus a lot I swiped
without understanding it very well", in source code form.  You might
find something worth stealing.]

And actually, it is harder to spell what was requested in Java,
something like

  String result = ( new Integer( someIntValue ) ).toString();

since "Integer"s are first class objects, but "int"s, the usual
counting numbers, are not, one of Java's multitude of
maddening flaws.

[Don't get me started.]


-- 
Posted via Mailgate.ORG Server - http://www.Mailgate.ORG

Re: Upping the ante (was): ToString?

[Jim Rogers]

Kent Paul Dolan wrote:

> "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 ?
>>
> 
> More important, is there something like toString(), with the implied
> contract that _every_ object will support a parameterless call to it and
> do something sensible to return a string representation of the object
> usable for debugging, logging, or "not too fancy" data presentation?
> 


Unfortunately, there is no such implied contract in Java.
Every object (non-primitive type) will have a toString() method.
It may not do anything sensible. If you define your own class
and do NOT override the toString() inherited from the Object
class your output will only be the class name followed by the
output of the hashCode() method for your class.

Jim Rogers

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

Re: Upping the ante (was): ToString?

[Kent Paul Dolan]

"Jim Rogers" <jimmaureenrogers@worldnet.att.net> wrote:

> Unfortunately, there is no such implied contract in Java.

> Every object (non-primitive type) will have a toString() method.
> It may not do anything sensible. If you define your own class
> and do NOT override the toString() inherited from the Object
> class your output will only be the class name followed by the
> output of the hashCode() method for your class.

But the java SDK API docs recommend exactly that for every class, you
override this behavior inherited from Object, wherever some other
toString() implementation makes more sense for your object, which is why
I consider this to be an implied contract.  If you don't keep the
contract, and go with the default, you deserve the results, it seems to
me.

In any case, such universal meta-programming rules would seem useful for
Ada, beyond just the idea of a style guide.  Do such exist?  Does a
repository of them exist?

xanthian.




-- 
Posted via Mailgate.ORG Server - http://www.Mailgate.ORG

Re: Upping the ante (was): ToString?

[Eric G. Miller]

In <6e9cd02332705638a4cd86a4a2f521e7.48257@mygate.mailgate.org>, Kent Paul Dolan wrote:

> "Jim Rogers" <jimmaureenrogers@worldnet.att.net> wrote:
> 
>> Unfortunately, there is no such implied contract in Java.
> 
>> Every object (non-primitive type) will have a toString() method.
>> It may not do anything sensible. If you define your own class
>> and do NOT override the toString() inherited from the Object
>> class your output will only be the class name followed by the
>> output of the hashCode() method for your class.
> 
> But the java SDK API docs recommend exactly that for every class, you
> override this behavior inherited from Object, wherever some other
> toString() implementation makes more sense for your object, which is why
> I consider this to be an implied contract.  If you don't keep the
> contract, and go with the default, you deserve the results, it seems to
> me.
> 
> In any case, such universal meta-programming rules would seem useful for
> Ada, beyond just the idea of a style guide.  Do such exist?  Does a
> repository of them exist?

Implied contracts don't hold up in court.  Especially when they only
make recommendations...

Q. "Why didn't you follow your neighbor's recommendation to mow the lawn?"
A. "I like dandelions."

Recommendation:  You should not park junk cars in your front yard.
Result: Neighborhood full of junk cars parked in the front yard.

Re: Upping the ante (was): ToString?

[Kent Paul Dolan]

"Eric G. Miller" <egm2@jps-nospam.net> wrote:

> Kent Paul Dolan wrote:

> > But the java SDK API docs recommend exactly that for every class, you
> > override this behavior inherited from Object, wherever some other
> > toString() implementation makes more sense for your object, which is why
> > I consider this to be an implied contract.  If you don't keep the
> > contract, and go with the default, you deserve the results, it seems to
> > me.

> Implied contracts don't hold up in court.  Especially when they only
> make recommendations...

An interesting, (and cynical) view, but since the first beneficiary of
overriding *.toString()
is always the programmer himself or herself (toString() is an essential
debugging tool),
this isn't quite the same as the instances you cite.

xanthian.


-- 
Posted via Mailgate.ORG Server - http://www.Mailgate.ORG

Re: Upping the ante (was): ToString?

[Eric G. Miller]

In <5e081eac7f7a97a4b8c0fa173d366970.48257@mygate.mailgate.org>, Kent Paul Dolan wrote:

> "Eric G. Miller" <egm2@jps-nospam.net> wrote:
> 
>> Kent Paul Dolan wrote:
> 
>> > But the java SDK API docs recommend exactly that for every class, you
>> > override this behavior inherited from Object, wherever some other
>> > toString() implementation makes more sense for your object, which is why
>> > I consider this to be an implied contract.  If you don't keep the
>> > contract, and go with the default, you deserve the results, it seems to
>> > me.
> 
>> Implied contracts don't hold up in court.  Especially when they only
>> make recommendations...
> 
> An interesting, (and cynical) view, but since the first beneficiary of
> overriding *.toString()
> is always the programmer himself or herself (toString() is an essential
> debugging tool),
> this isn't quite the same as the instances you cite.

Well, if enlightened self interest will motivate java programmers to define
a toString() method, that's fine.  Basically, the point I was making was,
you still won't be able to rely on others always implementing a toString()
method.  That's the nature of recommendations; they can be ignored.

I'm not sure this is even topical in this newgroup.

Implied Programming contracts: Upping the ante (was): ToString?

[Kent Paul Dolan]

"Eric G. Miller" <egm2@jps-nospam.net> wrote:

> I'm not sure this is even topical in this newgroup.


Well, sure it is.  The question of whether a programming language has,
or needs, implied contracts (or explicit ones, like Eiffel's) is always
on topic if the discussion is eventually hauled back from "but look how
much better language Y does it" to some positive proposals for language
X.

xanthian.


-- 
Posted via Mailgate.ORG Server - http://www.Mailgate.ORG