comp.lang.ada
 help / color / mirror / Atom feed
From: "Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org>
Subject: Curiousity: pragma No_Run_Time for Gnat
Date: Mon, 24 Sep 2001 15:02:29 -0400
Date: 2001-09-24T19:02:30+00:00	[thread overview]
Message-ID: <9oo006$fdf$1@nh.pace.co.uk> (raw)

The GNAT reference manual says this about pragma No_Run_Time:

====================================
pragma No_Run_Time
Syntax:
pragma No_Run_Time;

This is a configuration pragma that makes sure the user code does not use
nor need anything from the GNAT run time. This is mostly useful in context
where code certification is required. Please consult the GNORT product
documentation for additional information.
=======================================

Would this mean that the Gnat 3.13p I have installed on my PC here would
generate code that assumes nothing about the environment other than the
processor it is targeting? (Assuming that the code did not contain
constructs for which runtime is required.) That is to say - if I write a
procedure that contains a "pragma No_Run_Time" directive, that if I can get
it past the compiler, I'll have raw machine code with no OS calls, no
runtime calls, nothing except x86 machine code?

MDC
--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas    www.pacemicro.com
Enabling the digital revolution
e-Mail:    marin.condic@pacemicro.com
Web:      http://www.mcondic.com/






             reply	other threads:[~2001-09-24 19:02 UTC|newest]

Thread overview: 22+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-09-24 19:02 Marin David Condic [this message]
2001-09-24 21:14 ` Curiousity: pragma No_Run_Time for Gnat Sergey Koshcheyev
2001-09-24 21:54   ` Marin David Condic
2001-09-25  7:32     ` Sergey Koshcheyev
2001-09-25 14:00       ` Marin David Condic
2001-09-25 14:14         ` Lutz Donnerhacke
2001-09-25 19:40           ` Robert Dewar
2001-09-26  9:04             ` Lutz Donnerhacke
2001-09-25 15:20         ` Sergey Koshcheyev
2001-09-25  7:36     ` Jean-Marc Bourguet
2001-09-25  7:43   ` Peter Amey
2001-09-25 14:02     ` Marin David Condic
     [not found] <Pine.LNX.4.33.0109251343310.2841-100000@lagoa.niaad.liacc.up.pt>
2001-09-25 13:20 ` David C. Hoos
  -- strict thread matches above, loose matches on Subject: below --
2001-09-25 14:09 M. A. Alves
2001-09-25 13:05 ` chris.danx
2001-09-25 13:07 ` Jacob Sparre Andersen
2001-09-25 13:37 ` Sergey Koshcheyev
     [not found] <Pine.LNX.4.33.0109251630310.3066-100000@lagoa.niaad.liacc.up.pt>
2001-09-25 14:48 ` Samuel Tardieu
2001-09-25 16:49 M. A. Alves
2001-09-25 15:05 ` chris.danx
2001-09-25 15:38   ` Marin David Condic
2001-09-25 17:07 M. A. Alves
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox