Package: LSC.Debug |
Debug is done through Debug pragmas. As the compiler has to with the debug package to make it available to this pragma, this is an empty package which makes the SPARK Examiner accept the respective with clause. Debug functions, however, cannot (and should not) be use from within SPARK.
Header | |
| |
|
Generated on 2013-07-26 at 12:18:22 by AdaBrowse 4.0.3 using configuration file doc/adabrowse.conf. |