ada-libraries
/
Ada_Drivers_Library
mirror of https://github.com/AdaCore/Ada_Drivers_Library
1
0
Fork 0
Code Issues Releases Wiki Activity

Fix double headers and double empty lines again

This commit is contained in:
Fabien Chouteau 2016-10-01 10:52:09 +02:00
parent efd1008ed1
commit 2c34099040
63 changed files with 1 additions and 125 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
ARM/STM32/drivers/i2c_stm32f7/stm32-i2c.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Ada.Real_Time; use Ada.Real_Time;
with STM32_SVD.I2C; use STM32_SVD.I2C;

1
ARM/STM32/drivers/i2c_stm32f7/stm32-i2c.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
-- This file provides definitions for the STM32F7 (ARM Cortex M7F
-- from ST Microelectronics) Inter-Integrated Circuit (I2C) facility.

32
ARM/cortex_m/src/cache/cortex_m-cache.adb vendored
View File

@ -1,3 +1,4 @@
------------------------------------------------------------------------------
-- --
-- Copyright (C) 2015-2016, AdaCore --
@ -29,37 +30,6 @@
-- --
------------------------------------------------------------------------------
------------------------------------------------------------------------------
-- --
-- Copyright (C) 2016, AdaCore --
-- --
-- Redistribution and use in source and binary forms, with or without --
-- modification, are permitted provided that the following conditions are --
-- met: --
-- 1. Redistributions of source code must retain the above copyright --
-- notice, this list of conditions and the following disclaimer. --
-- 2. Redistributions in binary form must reproduce the above copyright --
-- notice, this list of conditions and the following disclaimer in --
-- the documentation and/or other materials provided with the --
-- distribution. --
-- 3. Neither the name of AdaCore nor the names of its contributors may --
-- be used to endorse or promote products derived from this software --
-- without specific prior written permission.
-- --
-- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS --
-- "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT --
-- LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR --
-- A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT --
-- HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, --
-- SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT --
-- LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, --
-- DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY --
-- THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT --
-- (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE --
-- OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. --
-- --
------------------------------------------------------------------------------
with System.Machine_Code; use System.Machine_Code;
with Ada.Unchecked_Conversion;

31
ARM/cortex_m/src/cortex_m-cache.ads
View File

@ -29,37 +29,6 @@
-- --
------------------------------------------------------------------------------
------------------------------------------------------------------------------
-- --
-- Copyright (C) 2016, AdaCore --
-- --
-- Redistribution and use in source and binary forms, with or without --
-- modification, are permitted provided that the following conditions are --
-- met: --
-- 1. Redistributions of source code must retain the above copyright --
-- notice, this list of conditions and the following disclaimer. --
-- 2. Redistributions in binary form must reproduce the above copyright --
-- notice, this list of conditions and the following disclaimer in --
-- the documentation and/or other materials provided with the --
-- distribution. --
-- 3. Neither the name of AdaCore nor the names of its contributors may --
-- be used to endorse or promote products derived from this software --
-- without specific prior written permission.
-- --
-- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS --
-- "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT --
-- LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR --
-- A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT --
-- HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, --
-- SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT --
-- LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, --
-- DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY --
-- THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT --
-- (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE --
-- OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. --
-- --
------------------------------------------------------------------------------
-- This file provides subprograms necessary to handle the cache on the
-- Cortex-M7 family of CPU.

1
ARM/cortex_m/src/semihosting-filesystem.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
package body Semihosting.Filesystem is
-----------------

1
boards/stm32f469_discovery/src/sdcard.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Ada.Real_Time; use Ada.Real_Time;
with STM32.Device; use STM32.Device;

1
boards/stm32f469_discovery/src/sdcard.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Interfaces; use Interfaces;
with Ada.Interrupts.Names;

1
components/src/motion/mpu9250/mpu9250.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
-- MPU9250 I2C device class package
with Interfaces; use Interfaces;

1
examples/2048/src/demo_2048.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
-- The file declares the main procedure for the demonstration.
with Last_Chance_Handler; pragma Unreferenced (Last_Chance_Handler);

1
examples/2048/src/dsi/framebuffer_helper.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with STM32.Board; use STM32.Board;
package body Framebuffer_Helper is

1
examples/2048/src/framebuffer_helper.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
package Framebuffer_Helper is
procedure Update_All_Layers;

1
examples/2048/src/game.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Interfaces; use Interfaces;
with Interfaces.Bit_Types; use Interfaces.Bit_Types;

1
examples/2048/src/game.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with HAL.Bitmap; use HAL.Bitmap;
with Bitmapped_Drawing; use Bitmapped_Drawing;

1
examples/2048/src/grid.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
package body Grid is
function Can_Move_Row (Row : in Row_T) return Boolean;

1
examples/2048/src/grid.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
package Grid is
type Size is new Integer range 0 .. 3;

1
examples/2048/src/ltdc/framebuffer_helper.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with STM32.Board; use STM32.Board;
package body Framebuffer_Helper is

2
examples/2048/src/malloc.adb
View File

@ -29,8 +29,6 @@
-- --
------------------------------------------------------------------------------
with System.Storage_Elements; use System.Storage_Elements;
with Ada.Unchecked_Conversion;

1
examples/2048/src/malloc.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
-- A simple implementation of storage allocation (malloc etc) for ZFP use
pragma Restrictions (No_Elaboration_Code);

1
examples/2048/src/solver.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
-- This code is based on the solver by nneonneo in github:
-- https://github.com/nneonneo/2048-ai
-- No specific license is described there, so I assumed some MIT-like license

1
examples/2048/src/solver.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
pragma Restrictions (No_Streams);
package Solver is

1
examples/2048/src/status.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Game;
with STM32.Board; use STM32.Board;

1
examples/2048/src/status.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Bitmapped_Drawing; use Bitmapped_Drawing;
with HAL.Bitmap; use HAL.Bitmap;

1
examples/2048/src/tp.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Ada.Real_Time; use Ada.Real_Time;
with Ada.Text_IO; use Ada.Text_IO;

1
examples/2048/src/tp.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Bitmapped_Drawing; use Bitmapped_Drawing;
package TP is

1
examples/OpenMV2/src/last_chance_handler.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
-- This version is for use with the ravenscar-sfp runtime.
with System;

1
examples/balls/src/balls_demo.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
-- The file declares the main procedure for the demonstration. The LEDs
-- will blink "in a circle" on the board. The blue user button generates
-- an interrupt that changes the direction.

1
examples/common/gui/bitmapped_drawing.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with HAL; use HAL;
package body Bitmapped_Drawing is

1
examples/common/gui/bitmapped_drawing.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
-- This package provides routines for drawing shapes, characters, and strings
-- on a bit-mapped device or graphical buffer.

1
examples/common/gui/hershey_fonts.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
package body Hershey_Fonts is
function Get_Glyph (C : Character) return Glyph_Index;

1
examples/common/gui/hershey_fonts.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
-- This package handles the Hershey font format.
with Interfaces; use Interfaces;

1
examples/common/gui/lcd_std_out.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with STM32.Board; use STM32.Board;
with Bitmapped_Drawing;

1
examples/common/gui/lcd_std_out.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
-- This package provides a set of convenience routines for putting characters
-- and strings out to the LCD.

1
examples/common/lch_sfp/last_chance_handler.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
-- This version is for use with the ravenscar-sfp runtime.
with System;

1
examples/common/lch_sfp/led/last_chance_handler.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
-- This version of the LCH only toggles the Red LED.
-- Note this version is for use with the ravenscar-sfp runtime.

1
examples/conway/src/conway_demo.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
-- The file declares the main procedure for the demonstration.
with Conway_Driver; pragma Unreferenced (Conway_Driver);

1
examples/conway/src/conway_driver.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Ada.Unchecked_Conversion;
with Interfaces; use Interfaces;
with HAL; use HAL;

1
examples/conway/src/conway_driver.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with System;
package Conway_Driver is

1
examples/draw/src/draw.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
-- A very simple draw application.
-- Use your finger to draw pixels.

1
examples/ethdemo/src/ethdemo.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Ada.Real_Time;
with Interfaces; use Interfaces;
with STM32.Eth;

1
examples/sdcard/adafatfs/fat_filesystem-directories.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Ada.Unchecked_Conversion;
package body FAT_Filesystem.Directories is

1
examples/sdcard/adafatfs/fat_filesystem-directories.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
package FAT_Filesystem.Directories is
type Directory_Entry is private;

1
examples/sdcard/adafatfs/fat_filesystem-files.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Ada.Unchecked_Conversion;
with FAT_Filesystem; use FAT_Filesystem;

1
examples/sdcard/adafatfs/fat_filesystem-files.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
-- Initial contribution by:
--
-- Institution: Technische Universitaet Muenchen

1
examples/sdcard/adafatfs/fat_filesystem.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Ada.Unchecked_Conversion;
with FAT_Filesystem.Directories;

1
examples/sdcard/adafatfs/fat_filesystem.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Interfaces; use Interfaces;
with HAL.Block_Drivers; use HAL.Block_Drivers;

1
examples/sdcard/src/sdcard_demo.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Ada.Unchecked_Conversion;
with Interfaces; use Interfaces;

1
examples/sdcard/src/wav_reader.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with FAT_Filesystem.Files; use FAT_Filesystem.Files;
with Ada.Unchecked_Conversion;

1
examples/sdcard/src/wav_reader.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Interfaces; use Interfaces;
with HAL.Audio;

2
examples/train/src/drawing.ads
View File

@ -29,8 +29,6 @@
-- --
------------------------------------------------------------------------------
with Bitmapped_Drawing;
package Drawing renames Bitmapped_Drawing;

1
examples/train/src/driver.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Ada.Real_Time; use Ada.Real_Time;
with STM32.Board; use STM32.Board;

1
examples/train/src/driver.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
-- This file provides the declaration for the task controlling the devices on
-- the train controller demo.

1
examples/train/src/railroad.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with STM32.Board; use STM32.Board;
with HAL.Bitmap; use HAL.Bitmap;

1
examples/train/src/railroad.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with HAL.Bitmap;
package Railroad is

1
examples/train/src/tracks_display.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with HAL.Bitmap; use HAL.Bitmap;
with Bitmapped_Drawing; use Bitmapped_Drawing;

1
examples/train/src/tracks_display.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with HAL.Bitmap;
with Trains;

1
examples/train/src/train_demo.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
-- The file declares the main procedure for the demonstration.
with Driver; pragma Unreferenced (Driver);

1
examples/train/src/trains.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
package body Trains with
SPARK_Mode
is

1
examples/train/src/trains.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
package Trains with
SPARK_Mode
is

1
examples/wolf/src/raycaster.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Ada.Real_Time; use Ada.Real_Time;
with Ada.Unchecked_Conversion;
with Ada.Text_IO;

1
examples/wolf/src/raycaster.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Cos;
with STM32.Board; use STM32.Board;

1
examples/wolf/src/textures.ads
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Interfaces; use Interfaces;
package Textures is

1
examples/wolf/src/wolf_demo.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
with Last_Chance_Handler;
pragma Unreferenced (Last_Chance_Handler);

1
services/src/filesystems/partitions.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
package body Partitions is
type Partition_Entry_Block_Mapping (Kind : Boolean := True) is record