snipt

Ctrl+h for KB shortcuts

Ada

Hello World in SPARK/Ada

1
2
3
4
5
6
7
with Ada.Text_IO;
use Ada.Text_IO;

procedure Hello is
begin
  Put_Line ("Hello, world!");
end Hello;
https://snipt.net/embed/b93395c97548d9cb249d1a29ff730a44/
/raw/b93395c97548d9cb249d1a29ff730a44/
b93395c97548d9cb249d1a29ff730a44
ada
Ada
7
2019-07-03T19:23:35
True
False
False
/api/public/snipt/65641/
hello-world-in-sparkada
<table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><a href="#L-1">1</a> <a href="#L-2">2</a> <a href="#L-3">3</a> <a href="#L-4">4</a> <a href="#L-5">5</a> <a href="#L-6">6</a> <a href="#L-7">7</a></pre></div></td><td class="code"><div class="highlight"><pre><span></span><span id="L-1"><a name="L-1"></a><span class="kn">with</span> <span class="nn">Ada.Text_IO</span><span class="p">;</span> </span><span id="L-2"><a name="L-2"></a><span class="kn">use</span> <span class="nn">Ada.Text_IO</span><span class="p">;</span> </span><span id="L-3"><a name="L-3"></a> </span><span id="L-4"><a name="L-4"></a><span class="kd">procedure</span> <span class="nf">Hello</span> <span class="kr">is</span> </span><span id="L-5"><a name="L-5"></a><span class="kr">begin</span> </span><span id="L-6"><a name="L-6"></a> <span class="n">Put_Line</span> <span class="p">(</span><span class="s">&quot;Hello, world!&quot;</span><span class="p">);</span> </span><span id="L-7"><a name="L-7"></a><span class="kr">end</span> <span class="nf">Hello</span><span class="p">;</span> </span></pre></div> </td></tr></table>