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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,48e1a3c594fb62e8 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,UTF8 Path: g2news2.google.com!news4.google.com!feeder.news-service.com!feeder.visyn.net!visyn.net!aioe.org!not-for-mail From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?= =?utf-8?Q?=29?= Newsgroups: comp.lang.ada Subject: Re: SPARK Date: Thu, 13 May 2010 23:43:53 +0200 Organization: Ada At Home Message-ID: References: NNTP-Posting-Host: b9ng78eyX5FBEZPn7M9CoA.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable X-Complaints-To: abuse@aioe.org X-Notice: Filtered by postfilter v. 0.8.2 User-Agent: Opera Mail/10.53 (Win32) Xref: g2news2.google.com comp.lang.ada:11593 Date: 2010-05-13T23:43:53+02:00 List-Id: Le Thu, 13 May 2010 22:05:05 +0200, Rod Chapman = a =C3=A9crit: > -debug=3Dd dumps expression DAGS in DOT format. > > -debug=3Dv or V produces output on the screen AND also produces > DOT format for the VCG graph(s) alongside the generated .vcg > files. if you use -debug=3DV and then look at the sequence of generat= ed > graphs in numerical order, you'll see how the VC-generator works! Yes, was confused by previous runs which has left some .dot files in the= = place. The HTML output (-html) seems also recommended, as it produce even more = = handily browsable stuff than only relying on the Location pane of GPS. If this can ever be useful, here is a simple Windows script to generate = = all images for each dot files. For Windows users, you can then simply op= en = any one image and watch all using the Windows image-slide capabilities. = = Doing so, you can quickly switch from one image to another, to see these= = like in a stroboscopic animation. rem ----- Graphs_To_Images.bat --------------------------- @echo off cls rem Set you input and input directory here. The Dot_Exe_Path variable rem is the path to your dot binary. If in the PATH, simply leave it as rem dot.exe. Input_Directory is the one you gave to the Examiner with it= s rem output_directory option. set Input_Directory=3DSPARK set Output_Directory=3DGraphs_Images set Dot_Exe_Path=3Ddot.exe rem Ensure the output directory exists if not exist %Output_Directory% md %Output_Directory% rem Cleanup the content of the output directory to not have rem any previous images which would now be "garbages". del /Q %Output_Directory%\*.png del /Q %Output_Directory%\*.gif del /Q %Output_Directory%\*.svg rem For each .dot file in input directory, create a PNG image in output rem directory. The images names are after the ones of the .dot files. for %%f in (%Input_Directory%\*.dot) do %Dot_Exe_Path% -Tpng = -o%Output_Directory%\%%~nf.png %%f rem Cleanup .dot files as well, to not have a cluttered directory (we ma= y rem want to quickly find relevant .vcg and report files). del /Q %Input_Directory%\*.dot rem For safety, assign an empty strings to variables, as these are alway= s rem global with Windows cmd/bat files. set Input_Directory=3D set Output_Directory=3D set Dot_Exe_Path=3D rem ----- End of file ------------------------------------ -- = pragma Asset ? Is that true ? Waaww... great