Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

The world will end in 5 minutes. Please log out.


devel / comp.lang.ada / Re: Printing the address

SubjectAuthor
* Re: Printing the addressMaxim Reznik
`- Re: Printing the addressNiklas Holsti

1
Re: Printing the address

<cca82828-7bf1-415b-a44d-92d0c03e9bc2n@googlegroups.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=5178&group=comp.lang.ada#5178

 copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:620a:16ad:: with SMTP id s13mr27104278qkj.453.1620736510388;
Tue, 11 May 2021 05:35:10 -0700 (PDT)
X-Received: by 2002:a25:c60e:: with SMTP id k14mr39508155ybf.462.1620736510135;
Tue, 11 May 2021 05:35:10 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 11 May 2021 05:35:09 -0700 (PDT)
In-Reply-To: <609a5eaf$0$20558$e4fe514c@news.kpn.nl>
Injection-Info: google-groups.googlegroups.com; posting-host=2a03:7380:380d:3b:9c5e:fba5:eb07:6a7c;
posting-account=K1cP1QoAAAD_GR6kW2Td0NqGqGBLRE8h
NNTP-Posting-Host: 2a03:7380:380d:3b:9c5e:fba5:eb07:6a7c
References: <609a5eaf$0$20558$e4fe514c@news.kpn.nl>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <cca82828-7bf1-415b-a44d-92d0c03e9bc2n@googlegroups.com>
Subject: Re: Printing the address
From: rezni...@gmail.com (Maxim Reznik)
Injection-Date: Tue, 11 May 2021 12:35:10 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Maxim Reznik - Tue, 11 May 2021 12:35 UTC

Actually, you don't need the address image to find if it is null. You can print instead

Put_Line (Boolean'Image (Boxes (n) = null));

When you really need the address image you can use

function System.Address_Image (A : Address) return String;

and an instantiation of

System.Address_To_Access_Conversions

generic package to convert Box_Acces value to System.Address.

PS. BTW, I would use a debugger in such cases.

Re: Printing the address

<ifvk7cFe4qvU1@mid.individual.net>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=5180&group=comp.lang.ada#5180

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: niklas.h...@tidorum.invalid (Niklas Holsti)
Newsgroups: comp.lang.ada
Subject: Re: Printing the address
Date: Tue, 11 May 2021 17:55:39 +0300
Organization: Tidorum Ltd
Lines: 10
Message-ID: <ifvk7cFe4qvU1@mid.individual.net>
References: <609a5eaf$0$20558$e4fe514c@news.kpn.nl>
<cca82828-7bf1-415b-a44d-92d0c03e9bc2n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net mG1R5GeYWK1QqsPnihPFFgOlfX5mdox+zf/bq3qZ/wy4HJxK+j
Cancel-Lock: sha1:34kgt37brm+Qzb/n9ZfTX9ZjFYc=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:78.0)
Gecko/20100101 Thunderbird/78.7.0
In-Reply-To: <cca82828-7bf1-415b-a44d-92d0c03e9bc2n@googlegroups.com>
Content-Language: en-US
 by: Niklas Holsti - Tue, 11 May 2021 14:55 UTC

On 2021-05-11 15:35, Maxim Reznik wrote:

> When you really need the address image you can use
>
> function System.Address_Image (A : Address) return String;

That seems not to be a standard function, at least I can't find it in
Ada RM 2012 or RM (draft) 202X. Probably a GNAT-specific addition to
package System.

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor