From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 2002:a05:6214:1108:: with SMTP id e8mr40581458qvs.231.1571232548653; Wed, 16 Oct 2019 06:29:08 -0700 (PDT) X-Received: by 2002:a9d:6c48:: with SMTP id g8mr34478031otq.206.1571232548417; Wed, 16 Oct 2019 06:29:08 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.dns-netz.com!news.freedyn.net!newsreader4.netcologne.de!news.netcologne.de!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!o24no3004036qtl.0!news-out.google.com!q23ni969qtl.1!nntp.google.com!o24no3004030qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 16 Oct 2019 06:29:08 -0700 (PDT) In-Reply-To: <2c5b9e49-26fe-4e73-89a6-d53b910c7c67@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=136.163.208.2; posting-account=HFCrOQoAAABZD_f-UUbYHm3lJDIrh-UX NNTP-Posting-Host: 136.163.208.2 References: <2c5b9e49-26fe-4e73-89a6-d53b910c7c67@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <97326bf7-68c7-4686-a045-d340b53cc629@googlegroups.com> Subject: Re: Well spent time to start using gnatcoll.json ? From: joakimds@kth.se Injection-Date: Wed, 16 Oct 2019 13:29:08 +0000 Content-Type: text/plain; charset="UTF-8" X-Received-Bytes: 1522 X-Received-Body-CRC: 1496833205 Xref: reader01.eternal-september.org comp.lang.ada:57301 Date: 2019-10-16T06:29:08-07:00 List-Id: Hi Reinert, I do believe that the gnatcoll.json implementation is the standard way to do it, although it isn't the most performant. Maybe there is somebody else on comp.lang.ada that can recommend something else? Best regards, Joakim