1------------------------------------------------------------------------------ 2-- -- 3-- ASIS-for-GNAT IMPLEMENTATION COMPONENTS -- 4-- -- 5-- A 4 G . A _ A L L O C -- 6-- -- 7-- S p e c -- 8-- -- 9-- Copyright (C) 1995-2013, Free Software Foundation, Inc. -- 10-- -- 11-- ASIS-for-GNAT is free software; you can redistribute it and/or modify it -- 12-- under terms of the GNU General Public License as published by the Free -- 13-- Software Foundation; either version 2, or (at your option) any later -- 14-- version. ASIS-for-GNAT is distributed in the hope that it will be use- -- 15-- ful, but WITHOUT ANY WARRANTY; without even the implied warranty of MER- -- 16-- CHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General -- 17-- Public License for more details. You should have received a copy of the -- 18-- GNU General Public License distributed with ASIS-for-GNAT; see file -- 19-- COPYING. If not, write to the Free Software Foundation, 59 Temple Place -- 20-- - Suite 330, Boston, MA 02111-1307, USA. -- 21-- -- 22-- -- 23-- -- 24-- -- 25-- -- 26-- -- 27-- -- 28-- -- 29-- ASIS-for-GNAT was originally developed by the ASIS-for-GNAT team at the -- 30-- Software Engineering Laboratory of the Swiss Federal Institute of -- 31-- Technology (LGL-EPFL) in Lausanne, Switzerland, in cooperation with the -- 32-- Scientific Research Computer Center of Moscow State University (SRCC -- 33-- MSU), Russia, with funding partially provided by grants from the Swiss -- 34-- National Science Foundation and the Swiss Academy of Engineering -- 35-- Sciences. ASIS-for-GNAT is now maintained by AdaCore -- 36-- (http://www.adacore.com). -- 37-- -- 38------------------------------------------------------------------------------ 39 40package A4G.A_Alloc is 41 42-- This package contains definitions for initial sizes and growth increments 43-- for the various dynamic arrays used for principle ASIS Context 44-- Model data strcutures. The indicated initial size is allocated for the 45-- start of each file, and the increment factor is a percentage used 46-- to increase the table size when it needs expanding 47-- (e.g. a value of 100 = 100% increase = double) 48 49-- This package is the ASIS implementation's analog of the GNAT Alloc package 50 51 Alloc_ASIS_Units_Initial : constant := 1_000; 52 -- Initial allocation for unit tables 53 54 Alloc_ASIS_Units_Increment : constant := 150; 55 -- Incremental allocation factor for unit tables 56 57 Alloc_Contexts_Initial : constant := 20; 58 -- Initial allocation for Context table (A4G.Contt) 59 60 Alloc_Contexts_Increment : constant := 150; 61 -- Incremental allocation factor for Context table (Contt) 62 63 Alloc_ASIS_Trees_Initial : constant := 1_000; 64 -- Initial allocation for tree tables 65 66 Alloc_ASIS_Trees_Increment : constant := 150; 67 -- Incremental allocation factor for tree tables 68 69end A4G.A_Alloc; 70