2008-04-13 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
+ * sfn_scan.adb, sfn_scan.ads, sinfo.ads,
+ sinput-d.ads, sinput-l.adb, sinput-l.ads, sinput.ads,
+ snames.ads, sprint.adb, stand.ads, stringt.ads,
+ styleg.adb, styleg.ads, stylesw.adb, stylesw.ads,
+ switch.ads, sysdep.c, table.adb, table.ads,
+ targparm.ads, tb-gcc.c, tbuild.ads, tracebak.c,
+ trans.c, tree_io.adb, treepr.adb, types.adb, types.ads,
+ uintp.adb, uintp.ads, utils.c, utils2.c, validsw.ads,
+ vms_conv.adb, vms_conv.ads, vms_data.ads, widechar.adb,
+ widechar.ads, xeinfo.adb, xgnatugn.adb, xr_tabls.adb,
+ xr_tabls.ads, xref_lib.adb, xref_lib.ads, xsinfo.adb:
+ Fix comment typos.
+
* sem_ch10.adb, sem_ch10.ads,
sem_ch12.adb, sem_ch12.ads, sem_ch13.adb, sem_ch13.ads,
sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, sem_ch6.adb,
-- --
-- B o d y --
-- --
--- Copyright (C) 2000-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 2000-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
EOF : constant Character := ASCII.SUB;
-- The character SUB (16#1A#) is used in DOS and other systems derived
- -- from DOS (OS/2, NT etc) to signal the end of a text file. If this
+ -- from DOS (OS/2, NT etc.) to signal the end of a text file. If this
-- character appears as the last character of a file scanned by a call
-- to Scan_SFN_Pragmas, then it is ignored, otherwise it is treated as
-- an illegal character.
end if;
end loop Skip_Loop;
- -- We successfuly skipped to semicolon, so skip past it
+ -- We successfully skipped to semicolon, so skip past it
P := P + 1;
end if;
-- --
-- S p e c --
-- --
--- Copyright (C) 2000-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 2000-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- overhead of the full compiler scanner and parser.
-- Note that neither the package spec, nor the package body, of this
--- unit contains any with statements at all. This is a compeltely
+-- unit contains any with statements at all. This is a completely
-- independent package, suitable for incorporation into tools that do
-- not access any other units in the GNAT compiler or tools sources.
-- This package is NOT task safe, so multiple tasks that may call the
--- Scan_SFN_Pragmas procedure at the same time are responsibible for
+-- Scan_SFN_Pragmas procedure at the same time are responsible for
-- avoiding such multiple calls by appropriate synchronization.
package SFN_Scan is
-- that includes only pragmas and comments. It does not do a full
-- syntax correctness scan by any means, but if it does find anything
-- that it can tell is wrong it will immediately raise the exception
- -- to indicate the aproximate location of the error
+ -- to indicate the approximate location of the error
end SFN_Scan;
-- In the following node definitions, all fields, both syntactic and
-- semantic, are documented. The one exception is in the case of entities
- -- (defining indentifiers, character literals and operator symbols), where
+ -- (defining identifiers, character literals and operator symbols), where
-- the usage of the fields depends on the entity kind. Entity fields are
-- fully documented in the separate package Einfo.
-- Present in N_Freeze_Entity nodes for Incomplete or private types.
-- Contains the list of access types which may require specific treatment
-- when the nature of the type completion is completely known. An example
- -- of such treatement is the generation of the associated_final_chain.
+ -- of such treatment is the generation of the associated_final_chain.
-- Actions (List1-Sem)
-- This field contains a sequence of actions that are associated with the
-- that the associated object can be modified, even if this would not
-- normally be permissible (either by direct assignment, or by being
-- passed as an out or in-out parameter). This is used by the expander
- -- for a number of purposes, including initialzation of constants and
+ -- for a number of purposes, including initialization of constants and
-- limited type objects (such as tasks), setting discriminant fields,
-- setting tag values, etc. N_Object_Declaration nodes also have this
-- flag defined. Here it is used to indicate that an initialization
-- Corresponding_Stub (Node3-Sem)
-- This field is present in an N_Subunit node. It holds the node in
- -- the parent unit that is the stub declaration for the subunit. it is
+ -- the parent unit that is the stub declaration for the subunit. It is
-- set when analysis of the stub forces loading of the proper body. If
-- expansion of the proper body creates new declarative nodes, they are
-- inserted at the point of the corresponding_stub.
-- Includes_Infinities (Flag11-Sem)
-- This flag is present in N_Range nodes. It is set for the range of
-- unconstrained float types defined in Standard, which include not only
- -- the given range of values, but also legtitimately can include infinite
+ -- the given range of values, but also legitimately can include infinite
-- values. This flag is false for any float type for which an explicit
-- range is given by the programmer, even if that range is identical to
-- the range for Float.
-- that the reference occurs within a discriminant check. The
-- significance is that optimizations based on assuming that the
-- discriminant check has a correct value cannot be performed in this
- -- case (or the disriminant check may be optimized away!)
+ -- case (or the discriminant check may be optimized away!)
-- Is_Machine_Number (Flag11-Sem)
-- This flag is set in an N_Real_Literal node to indicate that the value
-- Is_Power_Of_2_For_Shift (Flag13-Sem)
-- A flag present only in N_Op_Expon nodes. It is set when the
- -- exponentiation is of the forma 2 ** N, where the type of N is an
+ -- exponentiation is of the form 2 ** N, where the type of N is an
-- unsigned integral subtype whose size does not exceed the size of
-- Standard_Integer (i.e. a type that can be safely converted to
-- Natural), and the exponentiation appears as the right operand of an
-- Is_Protected_Subprogram_Body (Flag7-Sem)
-- A flag set in a Subprogram_Body block to indicate that it is the
- -- implemenation of a protected subprogram. Such a body needs cleanup
+ -- implementation of a protected subprogram. Such a body needs cleanup
-- handler to make sure that the associated protected object is unlocked
-- when the subprogram completes.
-- A flag set in a Block_Statement node to indicate that it is the
-- expansion of a task allocator, or the allocator of an object
-- containing tasks. Such a block requires a cleanup handler to call
- -- Expunge_Unactivted_Tasks to complete any tasks that have been
+ -- Expunge_Unactivated_Tasks to complete any tasks that have been
-- allocated but not activated when the allocator completes abnormally.
-- Is_Task_Master (Flag5-Sem)
-- No_Ctrl_Actions (Flag7-Sem)
-- Present in N_Assignment_Statement to indicate that no finalize nor nor
- -- adjust should take place on this assignment eventhough the rhs is
+ -- adjust should take place on this assignment even though the rhs is
-- controlled. This is used in init procs and aggregate expansions where
-- the generated assignments are more initialisations than real
-- assignments.
-- on fixed-point operands. It indicates that the operands are to be
-- treated as integer values, ignoring small values. This flag is only
-- set as a result of expansion of fixed-point operations. Typically a
- -- fixed-point multplication in the source generates subsidiary
+ -- fixed-point multiplication in the source generates subsidiary
-- multiplication and division operations that work with the underlying
-- integer values and have this flag set. Note that this flag is not
- -- needed on other arithmetic operations (add, neg, subtract etc) since
+ -- needed on other arithmetic operations (add, neg, subtract etc.) since
-- in these cases it is always the case that fixed is treated as integer.
-- The Etype field MUST be set if this flag is set. The analyzer knows to
-- leave such nodes alone, and whoever makes them must set the correct
-- Zero_Cost_Handling (Flag5-Sem)
-- This flag is set in all handled sequence of statement and exception
- -- handler nodes if eceptions are to be handled using the zero-cost
+ -- handler nodes if exceptions are to be handled using the zero-cost
-- mechanism (see Ada.Exceptions and System.Exceptions in files
-- a-except.ads/adb and s-except.ads for full details). What gigi needs
-- to do for such a handler is simply to put the code in the handler
-- the Expression may not have the form of an aggregate (since this
-- might cause the back end to generate separate assignments). It
-- also cannot be a reference to an object marked as a true constant
- -- (Is_True_Constant flag set), where the object is itself initalized
+ -- (Is_True_Constant flag set), where the object is itself initialized
-- with an aggregate. If necessary the front end must generate an
-- extra temporary (with Is_True_Constant set False), and initialize
-- this temporary as required (the temporary itself is not atomic).
-- limited types for which no stream routines exist officially. In such
-- case, the result is to use the stream attribute for the underlying
-- full type, or in the case of a protected type, the components
- -- (including any disriminants) are merely streamed in order.
+ -- (including any discriminants) are merely streamed in order.
-- See Exp_Attr for a complete description of which attributes are
-- passed onto Gigi, and which are handled entirely by the front end.
-- node (which appears as a singleton list). Box_Present gives support
-- to Ada 2005 (AI-287).
- -----------------------------------
- -- 4.3.1 Commponent Choice List --
- -----------------------------------
+ ----------------------------------
+ -- 4.3.1 Cmmponent Choice List --
+ ----------------------------------
-- COMPONENT_CHOICE_LIST ::=
-- component_SELECTOR_NAME {| component_SELECTOR_NAME}
-- No nodes are generated for any of these constructs. Instead, the
-- node for the operator appears directly. When we refer to an
-- expression in this description, we mean any of the possible
- -- consistuent components of an expression (e.g. identifier is
+ -- constituent components of an expression (e.g. identifier is
-- an example of an expression).
------------------
-- subexpression node (it is actually present in all nodes, but only
-- used in subexpression nodes). This count records the number of
-- levels of parentheses. If the number of levels in the source exceeds
- -- the maximum accomodated by this count, then the count is simply left
- -- at the maximum value. This means that there are some pathalogical
+ -- the maximum accommodated by this count, then the count is simply left
+ -- at the maximum value. This means that there are some pathological
-- cases of failure to detect conformance failures (e.g. an expression
-- with 500 levels of parens will conform with one with 501 levels),
-- but we do not need to lose sleep over this.
-- Note: Although the parser will not accept a declaration as a
-- statement, the semantic analyzer may insert declarations (e.g.
-- declarations of implicit types needed for execution of other
- -- statements) into a sequence of statements, so the code genmerator
+ -- statements) into a sequence of statements, so the code generator
-- should be prepared to accept a declaration where a statement is
-- expected. Note also that pragmas can appear as statements.
-- 5.1 Statement Identifier --
-------------------------------
- -- STATEMENT_INDENTIFIER ::= DIRECT_NAME
+ -- STATEMENT_IDENTIFIER ::= DIRECT_NAME
-- The IDENTIFIER of a STATEMENT_IDENTIFIER shall be an identifier
-- (not an OPERATOR_SYMBOL)
-- the Expression may not have the form of an aggregate (since this
-- might cause the back end to generate separate assignments). It
-- also cannot be a reference to an object marked as a true constant
- -- (Is_True_Constant flag set), where the object is itself initalized
+ -- (Is_True_Constant flag set), where the object is itself initialized
-- with an aggregate. If necessary the front end must generate an
-- extra temporary (with Is_True_Constant set False), and initialize
-- this temporary as required (the temporary itself is not atomic).
-- TASK_TYPE_DECLARATION ::=
-- task type DEFINING_IDENTIFIER [KNOWN_DISCRIMINANT_PART]
- -- [is [new INTERFACE_LIST with] TASK_DEFINITITION];
+ -- [is [new INTERFACE_LIST with] TASK_DEFINITION];
-- N_Task_Type_Declaration
-- Sloc points to TASK
-- SINGLE_TASK_DECLARATION ::=
-- task DEFINING_IDENTIFIER
- -- [is [new INTERFACE_LIST with] TASK_DEFINITITION];
+ -- [is [new INTERFACE_LIST with] TASK_DEFINITION];
-- N_Single_Task_Declaration
-- Sloc points to TASK
-- GUARD ::= when CONDITION =>
-- As noted above, the CONDITION that is part of a GUARD is included
- -- in the node for the select alernative for convenience.
+ -- in the node for the select alternative for convenience.
-------------------------------
-- 9.7.1 Select Alternative --
-- CONTEXT_CLAUSE LIBRARY_ITEM
-- | CONTEXT_CLAUSE SUBUNIT
- -- The N_Compilation_Unit node itself respresents the above syntax.
+ -- The N_Compilation_Unit node itself represents the above syntax.
-- However, there are two additional items not reflected in the above
-- syntax. First we have the global declarations that are added by the
-- code generator. These are outer level declarations (so they cannot
-- the declaration or body, and the flag for private if present,
-- appear in the N_Compilation_Unit clause.
- ----------------------------------------
- -- 10.1.1 Library Unit Declararation --
- ----------------------------------------
+ --------------------------------------
+ -- 10.1.1 Library Unit Declaration --
+ --------------------------------------
-- LIBRARY_UNIT_DECLARATION ::=
-- SUBPROGRAM_DECLARATION | PACKAGE_DECLARATION
-- | GENERIC_DECLARATION | GENERIC_INSTANTIATION
- -------------------------------------------------
- -- 10.1.1 Library Unit Renaming Declararation --
- -------------------------------------------------
+ -----------------------------------------------
+ -- 10.1.1 Library Unit Renaming Declaration --
+ -----------------------------------------------
-- LIBRARY_UNIT_RENAMING_DECLARATION ::=
-- PACKAGE_RENAMING_DECLARATION
-- EXCEPTION_DECLARATION ::= DEFINING_IDENTIFIER_LIST : exception;
- -- For consistency with object declarations etc, the parser converts
+ -- For consistency with object declarations etc., the parser converts
-- the case of multiple identifiers being declared to a series of
-- declarations in which the expression is copied, using the More_Ids
- -- and Prev_Ids flags to remember the souce form as described in the
+ -- and Prev_Ids flags to remember the source form as described in the
-- section on "Handling of Defining Identifier Lists".
-- N_Exception_Declaration
-- the exception to be raised (i.e. it is equivalent to a raise
-- statement that raises the corresponding exception). This use
-- is distinguished by the fact that the Etype in this case is
- -- Standard_Void_Type, In the subexprssion case, the Etype is the
+ -- Standard_Void_Type, In the subexpression case, the Etype is the
-- same as the type of the subexpression which it replaces.
-- If Condition is empty, then the raise is unconditional. If the
-- The following is the definition of the Node_Kind type. As previously
-- discussed, this is separated off to allow rearrangement of the order
- -- to facilitiate definition of subtype ranges. The comments show the
+ -- to facilitate definition of subtype ranges. The comments show the
-- subtype classes which apply to each set of node kinds. The first
-- entry in the comment characterizes the following list of nodes.
-- Node_Kind Membership Tests --
--------------------------------
- -- The following functions allow a convenient notation for testing wheter
+ -- The following functions allow a convenient notation for testing whether
-- a Node_Kind value matches any one of a list of possible values. In each
-- case True is returned if the given T argument is equal to any of the V
-- arguments. Note that there is a similar set of functions defined in
-- --
-- S p e c --
-- --
--- Copyright (C) 2001-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 2001-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- an end of line character). On entry Loc is the Sloc value previously
-- returned by Create_Debug_Source or Write_Debug_Line, and on exit,
-- Sloc is updated to point to the start of the next line to be written,
- -- taking into account the length of the ternminator that was written by
+ -- taking into account the length of the terminator that was written by
-- Write_Debug_Info.
procedure Close_Debug_Source;
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- When a file is to be preprocessed and the options to list symbols
-- has been selected (switch -s), Prep.List_Symbols is called with a
- -- "foreword", a single line indicationg what source the symbols apply to.
+ -- "foreword", a single line indicating what source the symbols apply to.
-- The following two constant String are the start and the end of this
-- foreword.
Source_File.Table (X).Source_Last := Hi;
-- Reset Last_Line to 1, because the lines do not
- -- have neccessarily the same starts and lengths.
+ -- have necessarily the same starts and lengths.
Source_File.Table (X).Last_Source_Line := 1;
end;
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- Inst_Node is the instantiation node, and Template_Id is the defining
-- identifier of the generic declaration or body unit as appropriate.
-- A is set to an adjustment factor to be used in subsequent calls to
- -- Adjust_Instantiation_Sloc. The instantiation mechnaism is also used
+ -- Adjust_Instantiation_Sloc. The instantiation mechanism is also used
-- for inlined function and procedure calls. The parameter Inlined_Body
-- is set to True in such cases, and False for a generic instantiation.
-- This is used for generating error messages that distinguish these
-- reasonable to include this case for consistency. In addition, we recognize
-- any of these sequences in any of the operating systems, for better
-- behavior in treating foreign files (e.g. a Unix file with LF terminators
--- transferred to a DOS system). Finally, wide character codes in cagtegories
+-- transferred to a DOS system). Finally, wide character codes in categories
-- Separator, Line and Separator, Paragraph are considered to be physical
-- line terminators.
-- Note: fields marked read-only are set by Sinput or one of its child
-- packages when a source file table entry is created, and cannot be
- -- subsqently modified, or alternatively are set only by very special
+ -- subsequently modified, or alternatively are set only by very special
-- circumstances, documented in the comments.
-- File_Name : File_Name_Type (read-only)
-- later on in this spec for a description of the checksum algorithm.
-- Last_Source_Line : Physical_Line_Number;
- -- Physical line number of last source line. Whlie a file is being
+ -- Physical line number of last source line. While a file is being
-- read, this refers to the last line scanned. Once a file has been
-- completely scanned, it is the number of the last line in the file,
-- and hence also gives the number of source lines in the file.
function Num_Source_Lines (S : Source_File_Index) return Nat;
-- Returns the number of source lines (this is equivalent to reading
- -- the value of Last_Source_Line, but returns Nat rathern than a
+ -- the value of Last_Source_Line, but returns Nat rather than a
-- physical line number.
procedure Register_Source_Ref_Pragma
Sloc_Adjust : Source_Ptr;
-- A value to be added to Sloc values for this file to reference the
-- corresponding lines table. This is zero for the non-instantiation
- -- case, and set so that the adition references the ultimate template
+ -- case, and set so that the addition references the ultimate template
-- for the instantiation case. See Sinput-L for further details.
Lines_Table : Lines_Table_Ptr;
-- The following names are preset as synonyms for C
Name_Default : constant Name_Id := N + 295;
- -- Name_Exernal (previously defined as pragma)
+ -- Name_External (previously defined as pragma)
-- The following names are preset as synonyms for CPP
-- Names of intrinsic subprograms
-- Note: Asm is missing from this list, since Asm is a legitimate
- -- convention name. So is To_Adress, which is a GNAT attribute.
+ -- convention name. So is To_Address, which is a GNAT attribute.
First_Intrinsic_Name : constant Name_Id := N + 603;
Name_Divide : constant Name_Id := N + 603;
-- Note: Convention C_Pass_By_Copy is allowed only for record
-- types (where it is treated like C except that the appropriate
- -- flag is set in the record type). Recognizion of this convention
+ -- flag is set in the record type). Recognizing this convention
-- is specially handled in Sem_Prag.
for Convention_Id'Size use 8;
-- Test to see if the name N is the name of a recognized attribute
-- that designates a renameable function, and can therefore appear in
-- a renaming statement. Note that not all attributes designating
- -- functions are renamable, in particular, thos returning a universal
+ -- functions are renamable, in particular, those returning a universal
-- value cannot be renamed.
function Is_Type_Attribute_Name (N : Name_Id) return Boolean;
-- or one previously given in a call to Record_Convention_Identifier.
function Get_Convention_Name (C : Convention_Id) return Name_Id;
- -- Returns the name of language convention correspoding to given
+ -- Returns the name of language convention corresponding to given
-- convention id.
function Get_Locking_Policy_Id (N : Name_Id) return Locking_Policy_Id;
-- then output all source lines up to this matching line.
procedure Write_Discr_Specs (N : Node_Id);
- -- Ouput discriminant specification for node, which is any of the type
+ -- Output discriminant specification for node, which is any of the type
-- declarations that can have discriminants.
procedure Write_Ekind (E : Entity_Id);
function Write_Indent_Identifiers_Sloc (Node : Node_Id) return Boolean;
-- Like Write_Indent_Identifiers except that in Debug_Generated_Code
- -- mode, the Sloc of the current debug node is set to point ot the
+ -- mode, the Sloc of the current debug node is set to point to the
-- first output identifier.
procedure Write_Indent_Str (S : String);
-- initial Write_Indent (to get new line) if current line is too full.
procedure Write_Str_With_Col_Check_Sloc (S : String);
- -- Like Write_Str_WIth_Col_Check, but sets debug Sloc of current debug
+ -- Like Write_Str_With_Col_Check, but sets debug Sloc of current debug
-- node to first non-blank character if a current debug node is active.
procedure Write_Uint_With_Col_Check (U : Uint; Format : UI_Format);
Indent_End;
-- Note: let the printing of Abortable_Part handle outputting
- -- the ABORT keyword, so that the Slco can be set correctly.
+ -- the ABORT keyword, so that the Sloc can be set correctly.
Write_Indent_Str ("then ");
Sprint_Node (Abortable_Part (Node));
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
Any_Type : Entity_Id;
-- Used to represent some unknown type. Plays an important role in
- -- avoiding cascaded errors, since any node that remains labaled with
+ -- avoiding cascaded errors, since any node that remains labeled with
-- this type corresponds to an already issued error message. Any_Type
-- is propagated to avoid cascaded errors from a single type error.
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- new string is initialized to be a copy of the given string. A test is
-- made to see if S is the last created string, and if so it is shared,
-- rather than copied, this can be particularly helpful for the case of
- -- a continued concatenaion of string constants.
+ -- a continued concatenation of string constants.
procedure Store_String_Char (C : Char_Code);
procedure Store_String_Char (C : Character);
-- Determines if C is a special character (see rule 5 above)
function Same_Column_As_Next_Non_Blank_Line return Boolean;
- -- Called for a full line comment. If the indentation of this commment
+ -- Called for a full line comment. If the indentation of this comment
-- matches that of the next non-blank line in the source, then True is
-- returned, otherwise False.
-- In check indentation mode (-gnatyn for n a digit), a new statement or
-- declaration is required to start in a column that is a multiple of the
- -- indentiation amount.
+ -- indentation amount.
procedure Check_Indentation is
begin
-- Check_Unary_Plus_Or_Minus --
-------------------------------
- -- In check tokem mode (-gnatyt), unary plus or minus must not be
+ -- In check token mode (-gnatyt), unary plus or minus must not be
-- followed by a space.
procedure Check_Unary_Plus_Or_Minus is
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
pragma Inline (Check_Separate_Stmt_Lines);
-- Called after scanning THEN (not preceded by AND) or ELSE (not preceded
-- by OR). Used to check that no tokens follow on the same line (which
- -- would intefere with coverage testing). Handles case of THEN ABORT as
+ -- would interfere with coverage testing). Handles case of THEN ABORT as
-- an exception, as well as PRAGMA after ELSE.
procedure Check_Unary_Plus_Or_Minus;
-- Concatenates image of N at end of Style_Msg_Buf
procedure Bad_Style_Switch (Msg : String);
- -- Called if bad style switch found. Msg is mset in Style_Msg_Buf and
+ -- Called if bad style switch found. Msg is set in Style_Msg_Buf and
-- Style_Msg_Len. OK is set False.
-------------
-- For a comment that is not at the start of a line, the only requirement
-- is that a space follow the comment characters.
--
- -- For a coment that is at the start of the line, one of the following
+ -- For a comment that is at the start of the line, one of the following
-- conditions must hold:
--
-- The comment characters are the only non-blank characters on the line
-- indicated indentation value. A value of zero turns off checking. The
-- requirement is that any new statement, line comment, declaration or
-- keyword such as END, start on a column that is a multiple of the
- -- indentiation value.
+ -- indentation value.
Style_Check_Keyword_Casing : Boolean := False;
-- This can be set True by using the -gnatg or -gnatyk switches. If it is
procedure Set_Style_Check_Options (Options : String);
-- Like the above procedure, but used when the Options string is known to
- -- be valid. This is for example appopriate for calls where the string ==
+ -- be valid. This is for example appropriate for calls where the string ==
-- was obtained by Save_Style_Check_Options.
procedure Reset_Style_Check_Options;
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
------------------------------------------------------------------------------
-- This package together with a child package appropriate to the client tool
--- scans switches. Note that the body of the appropraite Usage package must be
+-- scans switches. Note that the body of the appropriate Usage package must be
-- coordinated with the switches that are recognized by this package. These
-- Usage packages also act as the official documentation for the switches
-- that are recognized. In addition, package Debug documents the otherwise
* *
* C Implementation File *
* *
- * Copyright (C) 1992-2007, Free Software Foundation, Inc. *
+ * Copyright (C) 1992-2008, Free Software Foundation, Inc. *
* *
* GNAT is free software; you can redistribute it and/or modify it under *
* terms of the GNU General Public License as published by the Free Soft- *
long __gnat_invalid_tzoff = 259273;
-/* Definition of __gnat_locatime_r used by a-calend.adb */
+/* Definition of __gnat_localtime_r used by a-calend.adb */
#if defined (__EMX__) || defined (__MINGW32__)
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- allocation). Range checks are suppressed because this unit
-- uses direct calls to System.Memory for allocation, and this can
-- yield misaligned storage (and we cannot rely on the bootstrap
- -- compiler supporting specifically disabling alignment cheks, so we
+ -- compiler supporting specifically disabling alignment checks, so we
-- need to suppress all range checks). It is safe to suppress this
-- check here because we know that a (possibly misaligned) object
-- of that type does actually exist at that address.
-- involve moving table contents around).
begin
- -- If we're going to reallocate, check wheter Item references an
+ -- If we're going to reallocate, check whether Item references an
-- element of the currently allocated table.
if Need_Realloc
-- chunks controlled by the allocation parameters).
-- Note: We do not make the table components aliased, since this would
- -- restict the use of table for discriminated types. If it is necessary
+ -- restrict the use of table for discriminated types. If it is necessary
-- to take the access of a table element, use Unrestricted_Access.
-- WARNING: On HPPA, the virtual addressing approach used in this unit
-- 3. Identification information. This is an optional string constant
-- that gives the name of the run-time library configuration. This
--- line may be ommitted for a version of system.ads to be used with
+-- line may be omitted for a version of system.ads to be used with
-- the full Ada 95 run time.
--- 4. Other characterisitics of package System. At the current time the
+-- 4. Other characteristics of package System. At the current time the
-- only item in this category is whether type Address is private.
with Rident; use Rident;
-- The generation of the setjmp and longjmp calls is handled by
-- the front end of the compiler (this includes gigi in the case
-- of the standard GCC back end). It does not use any back end
- -- suport (such as the GCC3 exception handling mechanism). When
+ -- support (such as the GCC3 exception handling mechanism). When
-- this approach is used, the compiler generates special exception
-- handlers for handling cleanups when an exception is raised.
* C Implementation File *
* *
* Copyright (C) 2004-2007, AdaCore *
+ * Copyright (C) 2008, Free Software Foundation, Inc. *
* *
* GNAT is free software; you can redistribute it and/or modify it under *
* terms of the GNU General Public License as published by the Free Soft- *
#include <unwind.h>
/* The implementation boils down to a call to _Unwind_Backtrace with a
- tailored callback and carried-on datastructure to keep track of the
+ tailored callback and carried-on data structure to keep track of the
input parameters we got as well as of the basic processing state. */
/******************
pragma Inline (Discard_List);
-- This is a dummy procedure that simply returns and does nothing. It is
-- used when a function returning a Node_Id value is called for its side
- -- effect (e.g. a call to the pareser to parse a list of compilation
+ -- effect (e.g. a call to the parser to parse a list of compilation
-- units), but the List_Id value is not required.
function Make_Byte_Aligned_Attribute_Reference
(Loc : Source_Ptr;
Defining_Identifier : Node_Id;
Label_Construct : Node_Id) return Node_Id;
- -- Used to contruct an implicit label declaration node, including setting
+ -- Used to construct an implicit label declaration node, including setting
-- the proper Label_Construct field (since Label_Construct is a semantic
-- field, the normal call to Make_Implicit_Label_Declaration does not
-- set this field).
-- Prefix is prepended only if Prefix is non-blank (in which case it
-- must be an upper case letter other than O,Q,U,W (which are used for
-- identifier encoding, see Namet), and T is reserved for use by implicit
- -- types. and X is reserved for use by debug type encoding (see package
+ -- types, and X is reserved for use by debug type encoding (see package
-- Exp_Dbug). Note: the reason that Prefix is last is that it is almost
-- always omitted. The notable case of Prefix being non-null is when
-- it is 'T' for an implicit type.
* C Implementation File *
* *
* Copyright (C) 2000-2007, AdaCore *
+ * Copyright (C) 2008, Free Software Foundation, Inc. *
* *
* GNAT is free software; you can redistribute it and/or modify it under *
* terms of the GNU General Public License as published by the Free Soft- *
of a call instruction), which is what we want in the output array, and
the associated return address, which is what we retrieve from the stack.
- o STOP_FRAME, to decide wether we reached the top of the call chain, and
+ o STOP_FRAME, to decide whether we reached the top of the call chain, and
thus if the process shall stop.
:
required if this is a static expression because it might be used
in a context where a dereference is inappropriate, such as a case
statement alternative or a record discriminant. There is no possible
- volatile-ness shortciruit here since Volatile constants must be imported
+ volatile-ness short-circuit here since Volatile constants must be imported
per C.6. */
if (Ekind (gnat_temp) == E_Constant && Is_Scalar_Type (gnat_temp_type)
&& !Is_Imported (gnat_temp)
if (use_constant_initializer)
{
- /* If this is a deferred constant, the initializer is attached to the
+ /* If this is a deferred constant, the initializer is attached to
the full view. */
if (Present (Full_View (gnat_temp)))
gnat_temp = Full_View (gnat_temp);
{
/* Conceptually, what we need is a COMPOUND_EXPR with the call followed
by the target object converted to the proper type. Doing so would
- potentially be very inefficient, however, as this expresssion might
+ potentially be very inefficient, however, as this expression might
end up wrapped into an outer SAVE_EXPR later on, which would incur a
pointless temporary copy of the whole object.
elaboration procedure, so mark us as being in that procedure and push our
context.
- If we are in the elaboration procedure, check if we are violating a a
+ If we are in the elaboration procedure, check if we are violating a
No_Elaboration_Code restriction by having a statement there. */
if ((IN (Nkind (gnat_node), N_Statement_Other_Than_Procedure_Call)
&& Nkind (gnat_node) != N_Null_Statement)
}
/* If the object was allocated from the default storage pool, the
- alignement was greater than what the allocator provides, and this
+ alignment was greater than what the allocator provides, and this
is not a fat or thin pointer, what we have in gnu_ptr here is an
address dynamically adjusted to match the alignment requirement
(see build_allocator). What we need to pass to free is the
/* There's no good type to use here, so we might as well use
integer_type_node. Note that the form of the check is
(not (expr >= lo)) or (not (expr <= hi))
- the reason for this slightly convoluted form is that NaN's
+ the reason for this slightly convoluted form is that NaNs
are not considered to be in range in the float case. */
return emit_check
(build_binary_op (TRUTH_ORIF_EXPR, integer_type_node,
against which GNU_EXPR has to be checked. Note that for index
checking we cannot use the emit_range_check function (although very
similar code needs to be generated in both cases) since for index
- checking the array type against which we are checking the indeces
+ checking the array type against which we are checking the indices
may be unconstrained and consequently we need to retrieve the
actual index bounds from the array object itself
(GNU_ARRAY_OBJECT). The place where we need to do that is in
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-----------------------
procedure Read_Buffer;
- -- Reads data into buffer, setting Bufe appropriately
+ -- Reads data into buffer, setting Bufn appropriately
function Read_Byte return Byte;
pragma Inline (Read_Byte);
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
No_Indent : Boolean := False);
-- This procedure tests the given value of one of the Fields referenced
-- by the current node to determine whether to visit it recursively.
- -- Normally No_Indent is false, which means tha the visited node will
+ -- Normally No_Indent is false, which means that the visited node will
-- be indented using New_Prefix. If No_Indent is set to True, then
-- this indentation is skipped, and Prefix_Str is used for the call
-- to print the descendent. No_Indent is effective only if the
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- Note that we do not bother to worry about shifts in the day.
-- It seems unlikely that such shifts could ever occur in practice
- -- and even if they do we err on the safe side, ie we say that the time
- -- stamps are different.
+ -- and even if they do we err on the safe side, i.e., we say that the
+ -- time stamps are different.
Sright := V (Right, 13) + 60 * (V (Right, 11) + 60 * V (Right, 09));
Sleft := V (Left, 13) + 60 * (V (Left, 11) + 60 * V (Left, 09));
subtype Source_Ptr is Text_Ptr;
-- Type used to represent a source location, which is a subscript of a
- -- character in the source buffer. As noted above, diffferent source
+ -- character in the source buffer. As noted above, different source
-- buffers have different ranges, so it is possible to tell from a
-- Source_Ptr value which source it refers to. Note that negative numbers
-- are allowed to accommodate the following special values.
No_List : constant List_Id := List_High_Bound;
-- Used to indicate absence of a list. Note that the value is zero, which
- -- is the same as Empty, which is helpful in intializing nodes where a
+ -- is the same as Empty, which is helpful in initializing nodes where a
-- value of zero can represent either an empty node or an empty list.
Error_List : constant List_Id := List_Low_Bound;
-- Type used to identify an element list (Elist header table subscript)
No_Elist : constant Elist_Id := Elist_Low_Bound;
- -- Used to indicate absense of an element list. Note that this is not
+ -- Used to indicate absence of an element list. Note that this is not
-- an actual Elist header, so element list operations on this value
-- are not valid.
-- Each character literal in the source is interpreted as being one of the
-- 16#8000_0000 possible Wide_Wide_Character codes, and a unique Integer
-- Value is assigned, corresponding to the UTF_32 value, which also
- -- correspondds to the POS value in the Wide_Wide_Character type, and also
+ -- corresponds to the POS value in the Wide_Wide_Character type, and also
-- corresponds to the POS value in the Wide_Character and Character types
-- for values that are in appropriate range. String literals are similarly
-- interpreted as a sequence of such codes.
Dummy_Time_Stamp : constant Time_Stamp_Type := (others => '0');
-- This is used for dummy time stamp values used in the D lines for
- -- non-existant files, and is intended to be an impossible value.
+ -- non-existent files, and is intended to be an impossible value.
function "=" (Left, Right : Time_Stamp_Type) return Boolean;
function "<=" (Left, Right : Time_Stamp_Type) return Boolean;
Udigits_Min : Int;
-- These values are used to make sure that the mark/release mechanism does
-- not destroy values saved in the U_Power tables or in the hash table used
- -- by UI_From_Int. Whenever an entry is made in either of these tabls,
+ -- by UI_From_Int. Whenever an entry is made in either of these tables,
-- Uints_Min and Udigits_Min are updated to protect the entry, and Release
-- never cuts back beyond these minimum values.
-- is less than 2**15, the value returned is the input value, in this case
-- the result may be negative. It is expected that any use will mask off
-- unnecessary bits. This is used for finding Arg mod B where B is a power
- -- of two. Hence the actual base is irrelevent as long as it is a power of
+ -- of two. Hence the actual base is irrelevant as long as it is a power of
-- two.
procedure Most_Sig_2_Digits
Remainder : out Uint;
Discard_Quotient : Boolean;
Discard_Remainder : Boolean);
- -- Compute euclidian division of Left by Right, and return Quotient and
+ -- Compute Euclidean division of Left by Right, and return Quotient and
-- signed Remainder (Left rem Right).
--
-- If Discard_Quotient is True, Quotient is left unchanged.
-- This is done in one pass
- -- Mathematically: assume base congruent to 1 and compute an equivelent
+ -- Mathematically: assume base congruent to 1 and compute an equivalent
-- integer to Left.
-- If Sign = -1 return the alternating sum of the "digits"
-- (where D1 is Least Significant Digit)
- -- Mathematically: assume base congruent to -1 and compute an equivelent
+ -- Mathematically: assume base congruent to -1 and compute an equivalent
-- integer to Left.
-- This is used in Rem and Base is assumed to be 2 ** 15
-- The value is outside the direct representation range and must
-- therefore be stored in the table. Expand the table to contain
- -- the count and tigis. The index of the new table entry will be
+ -- the count and digits. The index of the new table entry will be
-- returned as the result.
Uints.Increment_Last;
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
function UI_Modular_Inverse (N : Uint; Modulo : Uint) return Uint;
-- Compute the multiplicative inverse of N in modular arithmetics with the
-- given Modulo (uses Euclid's algorithm). Note: the call is considered
- -- to be erroneous (and the behavior is undefined) if n is not inversible.
+ -- to be erroneous (and the behavior is undefined) if n is not invertible.
function UI_From_Dint (Input : Dint) return Uint;
-- Converts Dint value to universal integer form
var_name, type);
/* If this is external, throw away any initializations (they will be done
- elsewhere) unless this is a a constant for which we would like to remain
+ elsewhere) unless this is a constant for which we would like to remain
able to get the initializer. If we are defining a global here, leave a
constant initialization and save any variable elaborations for the
elaboration routine. If we are just annotating types, throw away the
return NULL;
}
- /* Otherwise, no need to walk the the same tree twice. */
+ /* Otherwise, no need to walk the same tree twice. */
if (pointer_set_contains (p_set, stmt))
{
*walk_subtrees = 0;
if (type_annotate_only)
return;
- /* Perform the required pre-gimplfication transformations on the tree. */
+ /* Perform the required pre-gimplification transformations on the tree. */
gnat_genericize (fndecl);
/* We do different things for nested and non-nested functions.
qualifiers than the new_type ones, for instance in some cases of pointers
to private record type elaboration (see the comments around the call to
this routine from gnat_to_gnu_entity/E_Access_Type). We have to merge the
- qualifiers in thoses cases too, to avoid accidentally discarding the
+ qualifiers in those cases too, to avoid accidentally discarding the
initial set, and will often end up with old_type == new_type then. */
new_type = build_qualified_type (new_type,
TYPE_QUALS (old_type)
both type and expression information in this case.
Beware that we can still get a dummy designated subtype here (e.g. Taft
- Amendement types), in which the alignment information is meaningless and
+ Amendment types), in which the alignment information is meaningless and
should be ignored.
We always compute a type_alignment value and return the MAX of it
-- --
-- S p e c --
-- --
--- Copyright (C) 2001-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 2001-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- Controls the validity checking of IN OUT parameters. If this switch
-- is set to True using -gnatVm or a 'm' in the argument of a pragma
-- Validity_Checks, then the initial value of all IN OUT parameters
- -- will be checked at the point of call of a procecure. Note that the
+ -- will be checked at the point of call of a procedure. Note that the
-- character 'm' here stands for modified (parameters).
Validity_Check_In_Params : Boolean := False;
-- Controls the validity checking of IN parameters. If this switch is
-- set to True using -gnatVm or an 'i' in the argument of a pragma
-- Validity_Checks, then the initial value of all IN parameters
- -- will be checked at the point of call of a procecure or function.
+ -- will be checked at the point of call of a procedure or function.
Validity_Check_Operands : Boolean := False;
-- Controls validity checking of operands. If this switch is set to
procedure Set_Validity_Check_Options (Options : String);
-- Like the above procedure, except that the call is simply ignored if
- -- there are any error conditions, this is for example appopriate for
+ -- there are any error conditions, this is for example appropriate for
-- calls where the string is known to be valid, e.g. because it was
-- obtained by Save_Validity_Check_Options.
-- kept in a more conveniently accessible form described in this
-- section.
- -- Commands, command qualifers and options have a similar common format
+ -- Commands, command qualifiers and options have a similar common format
-- so that searching for matching names can be done in a common manner.
type Item_Id is (Id_Command, Id_Switch, Id_Option);
procedure Place_Unix_Switches (S : VMS_Data.String_Ptr);
-- Given a unix switch string, place corresponding switches in Buffer,
- -- updating Ptr appropriatelly. Note that in the case of use of ! the
+ -- updating Ptr appropriately. Note that in the case of use of ! the
-- result may be to remove a previously placed switch.
procedure Preprocess_Command_Data;
-- end of the Argv, otherwise strings like
-- "foo/bar" get split at the slash.
- -- The begining and ending of the string
+ -- The beginning and ending of the string
-- are flagged with embedded nulls which
-- are removed when building the Spawn
-- call. Nulls are use because they won't
-- --
-- S p e c --
-- --
--- Copyright (C) 2003-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 2003-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- GNATCmd. The entries are represented by an array of records.
type Parameter_Type is
- -- A parameter is defined as a whitespace bounded string, not begining
+ -- A parameter is defined as a whitespace bounded string, not beginning
-- with a slash. (But see note under FILES_OR_WILDCARD).
(File,
-- A required file or directory parameter
-- parameters including wildcard specifications.
Unlimited_As_Is,
- -- Un unlimited number of whitespace separated paameters that are
+ -- An unlimited number of whitespace separated parameters that are
-- passed through as is (not canonicalized).
Files_Or_Wildcard);
-- - a contiguous sequence of comments that constitute the
-- documentation of the qualifier.
--- - each command zone ends with the declaration of the contant array
+-- - each command zone ends with the declaration of the constant array
-- for the command, of the form:
-- <Command>__Switches : aliased constant Switches :=
-- QUALIFIERS --
----------------
- -- The syntax of a qualifier delaration is as follows:
+ -- The syntax of a qualifier declaration is as follows:
-- SWITCH_STRING ::= "/ command-qualifier-name TRANSLATION"
-- The unix-switch-string always starts with a minus, and has no commas
-- or spaces in it. Case is significant in the unix switch string. If a
-- unix switch string is preceded by the not sign (!) it means that the
- -- effect of the corresponding command qualifer is to remove any previous
+ -- effect of the corresponding command qualifier is to remove any previous
-- occurrence of the given switch in the command line.
-- The DIRECTORIES_TRANSLATION format is used where a list of directories
-- The COMMANDS_TRANSLATION case is only used for gnatmake, to correspond
-- to the use of -cargs, -bargs and -largs (the ARGS string as indicated
-- is one of these three possibilities). The name given by COMMAND is the
- -- corresponding command name to be used to interprete the switches to be
+ -- corresponding command name to be used to interpret the switches to be
-- passed on. Switches of this type set modes, e.g. /COMPILER_QUALIFIERS
-- sets the mode so that all subsequent switches, up to another switch
-- with COMMANDS_TRANSLATION apply to the corresponding commands issued
-- since all subsequent switches apply to an issued command.
-- For the DIRECT_TRANSLATION case, an implicit additional qualifier
- -- declaration is created by prepending NO to the name of the qualifer,
+ -- declaration is created by prepending NO to the name of the qualifier,
-- and then inverting the sense of the UNIX_SWITCHES string. For example,
-- given the qualifier definition:
-- String pointer type used throughout
type Switches is array (Natural range <>) of String_Ptr;
- -- Type used for array of swtiches
+ -- Type used for array of switches
type Switches_Ptr is access constant Switches;
-- /NORESTRICTION_LIST (D)
-- /RESTRICTION_LIST
--
- -- Generate list of pragma Rerstrictions that could be applied to the
+ -- Generate list of pragma Restrictions that could be applied to the
-- current unit. This is useful for code audit purposes, and also may be
-- used to improve code generation in some cases.
-- /RETURN_CODES=VMS
--
-- Specifies the style of default exit code returned. Must be used in
- -- conjunction with and match the Link qualifer with same name.
+ -- conjunction with and match the Link qualifier with same name.
--
-- POSIX (D) Return Posix success (0) by default.
--
-- /NOLOCS (D)
-- /LOCS
--
- -- Use full source locations referebces in the report file.
+ -- Use full source locations references in the report file.
S_Check_Mess : aliased constant S := "/MESSAGES_PROJECT_FILE=" &
"DEFAULT " &
-- /SECTIONS[=section-option, section-option, ...]
--
-- Specify what sections should be included into the report file.
- -- By default, all three section (diagnises in the format correcponding
+ -- By default, all three section (diagnoses in the format corresponding
-- to compiler error and warning messages, diagnoses grouped by rules and
-- then - by files, diagnoses grouped by files and then - by rules) are
-- included in the report file.
-- section-option may be one of the following:
--
-- COMPILER_STYLE Include diagnostics in compile-style format
- -- (diagoses are grouped by files, for each file
+ -- (diagnoses are grouped by files, for each file
-- they are ordered according to the references
-- into the source)
-- BY_RULES Include diagnostics grouped first by rules and
--
-- Causes the file modification time stamp of the input file to be
-- preserved and used for the time stamp of the output file(s). This may
- -- be useful for preserving coherency of time stamps in an enviroment
+ -- be useful for preserving coherency of time stamps in an environment
-- where gnatchop is used as part of a standard build process.
S_Chop_Quiet : aliased constant S := "/QUIET " &
-- /NOQUIET (D)
-- /QUIET
--
- -- Quiet output. If there are no error, do not ouuput anything, except in
+ -- Quiet output. If there are no error, do not output anything, except in
-- verbose mode (qualifier /VERBOSE) or in informative-only mode
-- (qualifier /NODELETE).
-- forces generation of the .ALI file. This file is marked as being
-- in error, so it cannot be used for binding purposes, but it does
-- contain reasonably complete cross-reference information, and thus may
- -- be useful for use by tools (e.g. semantic browing tools or integrated
+ -- be useful for use by tools (e.g. semantic browsing tools or integrated
-- development environments) that are driven from the .ALI file.
S_GCC_Full : aliased constant S := "/FULL_PATH_IN_BRIEF_MESSAGES " &
-- allows proper processing of the output
-- generated by specialized tools including
-- gnatprep (where --! is used) and the SPARK
- -- annnotation language (where --# is used).
+ -- annotation language (where --# is used).
-- For the purposes of this rule, a special
-- character is defined as being in one of the
-- ASCII ranges 16#21#..16#2F# or
--
-- NOREDUNDANT Suppress warnings for redundant constructs.
--
- -- SUPPRESS Completely suppresse the output of all warning
+ -- SUPPRESS Completely suppress the output of all warning
-- messages. Same as /NOWARNINGS.
--
-- UNCHECKED_CONVERSIONS Activates warnings on unchecked conversions.
-- of lower case.
--
-- NONE No wide characters are allowed. Same
- -- as /NOWIDE_CHARCTER_ENCODING.
+ -- as /NOWIDE_CHARACTER_ENCODING.
--
-- HEX In this encoding, a wide character is represented by
-- the following five character sequence: ESC a b c d
-- 16#0800#-16#ffff#: 2#1110xxxx# 2#10xxxxxx# 2#10xxxxxx#
--
-- where the xxx bits correspond to the left-padded bits
- -- of the the 16-bit character value. Note that all lower
+ -- of the 16-bit character value. Note that all lower
-- half ASCII characters are represented as ASCII bytes
-- and all upper half characters and other wide characters
-- are represented as sequences of upper-half (The full
S_Link_Library : aliased constant S := "/LIBRARY=|" &
"-l|";
- -- /LYBRARY=xyz
+ -- /LIBRARY=xyz
--
-- Link with library named "xyz".
--
-- Specifies the style of codes returned by
-- Ada.Command_Line.Set_Exit_Status. Must be used in conjunction with
- -- and match the Bind qualifer with the same name.
+ -- and match the Bind qualifier with the same name.
--
-- POSIX (D) Return Posix compatible exit codes.
--
"--for-linker=";
-- /<other>
--
- -- Any other switch that will be transmited to the underlying linker.
+ -- Any other switch that will be transmitted to the underlying linker.
Link_Switches : aliased constant Switches :=
(S_Link_Add 'Access,
-- a Unix-style Makefile. By default, each source file is prefixed with
-- its (relative or absolute) directory name. This name is whatever you
-- specified in the various /SOURCE_SEARCH and /SEARCH qualifiers. If
- -- you also speficy the /QUIET qualifier, only the source file names,
+ -- you also specify the /QUIET qualifier, only the source file names,
-- without relative paths, are output. If you just specify the
-- /DEPENDENCY_LIST qualifier, dependencies of the GNAT internal system
-- files are omitted. This is typically what you want. If you also
--
-- Force recompilations. Recompile all sources, even though some object
-- files may be up to date, but don't recompile predefined or GNAT
- -- internal files unless the /ALL_FILES qualfier is also specified.
+ -- internal files unless the /ALL_FILES qualifier is also specified.
S_Make_Full : aliased constant S := "/FULL_PATH_IN_BRIEF_MESSAGES " &
"-F";
-- /NOPROCESSES (D)
-- /PROCESSES=NNN
--
- -- Use NNN processes to carry out the (re)complations. If you have a
+ -- Use NNN processes to carry out the (re)compilations. If you have a
-- multiprocessor machine, compilations will occur in parallel. In the
-- event of compilation errors, messages from various compilations might
-- get interspersed (but GNAT MAKE will give you the full ordered list of
-- CYCLOMATIC_OFF Do not compute the McCabe Cyclomatic
-- Complexity
-- ESSENTIAL_ON Compute the Essential Complexity
- -- ESSENTIAL_OFF Do not ompute the Essential Complexity
+ -- ESSENTIAL_OFF Do not compute the Essential Complexity
-- LOOP_NESTIMG_ON Compute the maximal loop nesting
-- LOOP_NESTIMG_OFF Do not compute the maximal loop nesting
-- AVERAGE_COMPLEXITY_ON Compute the average complexity for
--
-- Create or update a project file. 'file_name' may include directory
-- information. The specified file must be writable. There may be only
- -- one qualifier /PROJECT_FILE. When a qualifier /PROJECT_DILE is
+ -- one qualifier /PROJECT_FILE. When a qualifier /PROJECT_FILE is
-- specified, no qualifier /CONFIG_FILE may be specified.
S_Name_Subdirs : aliased constant S := "/SUBDIRS=<" &
--
-- Specifies the form of the line terminators in the produced source.
-- By default, the form of the line terminator depends on the platforms.
- -- On Unix and VMS, it is a Line Feed (LF) chararcter. On Windows (DOS),
+ -- On Unix and VMS, it is a Line Feed (LF) character. On Windows (DOS),
-- It is a Carriage Return (CR) followed by a Line Feed.
-- The Options DOS and CRLF are equivalent. The options UNIX and LF are
-- also equivalent.
"-W8";
-- /RESULT_ENCODING[=encoding-type]
--
- -- Specify the wide character encoding method used when writtimg the
+ -- Specify the wide character encoding method used when writing the
-- reformatted code in the result file. 'encoding-type' is one of the
-- following:
--
--
-- (nnn is a non-negative integer). Set the indentation level in the
-- generated body stub to nnn. nnn=0 means "no indentation".
- -- Default insdentation is 3.
+ -- Default indentation is 3.
S_Stub_Keep : aliased constant S := "/KEEP " &
"-k";
begin
Chr := In_Char;
- -- Scan out the wide character. if the first character is a bracket,
+ -- Scan out the wide character. If the first character is a bracket,
-- we allow brackets encoding regardless of the standard encoding
-- method being used, but otherwise we use this standard method.
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
Wide_Char_Byte_Count : Nat := 0;
-- This value is incremented whenever Scan_Wide or Skip_Wide is called.
-- The amount added is the length of the wide character sequence minus
- -- one. This means that the count that accululates here represents the
+ -- one. This means that the count that accumulates here represents the
-- difference between the length in characters and the length in bytes.
-- This is used for checking the line length in characters.
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
while Match (Line, Get_FN) loop
- -- Non-inlined funcion
+ -- Non-inlined function
if not Present (Inlined, FN) then
Put_Line (Ofile, "");
Line := Getlin;
exit when not Match (Line, Get_Asrt);
- -- Pragma asser found, get its continuation lines
+ -- Pragma assert found, get its continuation lines
loop
exit when Match (Line, Semicoln);
Match (Line, Get_Cmnt, M);
Replace (M, A);
- -- Get continuations of return statemnt
+ -- Get continuations of return statement
while not Match (Line, Semicoln) loop
Nextlin := Getlin;
-- --
-- B o d y --
-- --
--- Copyright (C) 2003-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 2003-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- appropriate vms equivalents. Note that replacements do not occur
-- within ^alpha^beta^ sequences.
--- Any occurence of [filename].extension, where extension one of the
+-- Any occurrence of [filename].extension, where extension one of the
-- following:
-- "o", "ads", "adb", "ali", "ada", "atb", "ats", "adc", "c"
-- --
-- B o d y --
-- --
--- Copyright (C) 1998-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 1998-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
function Get_Key (E : File_Reference) return Cst_String_Access;
function Hash (F : Cst_String_Access) return HTable_Headers;
function Equal (F1, F2 : Cst_String_Access) return Boolean;
- -- The five subprograms above are used to instanciate the static
+ -- The five subprograms above are used to instantiate the static
-- htable to store the files that should be processed.
package File_HTable is new GNAT.HTable.Static_HTable
function Next (E : Declaration_Reference) return Declaration_Reference;
procedure Set_Next (E, Next : Declaration_Reference);
function Get_Key (E : Declaration_Reference) return Cst_String_Access;
- -- The subprograms above are used to instanciate the static
+ -- The subprograms above are used to instantiate the static
-- htable to store the entities that have been found in the application
package Entities_HTable is new GNAT.HTable.Static_HTable
File_Ref.Visited := False;
-- ??? Do not add a source file to the list. This is true at
- -- least for gnatxref, and probably for gnatfind as wel
+ -- least for gnatxref, and probably for gnatfind as well
if F'Length > 4
and then F (F'Last - 3 .. F'Last) = ".ali"
-- --
-- S p e c --
-- --
--- Copyright (C) 1998-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 1998-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
(Sorted : Boolean := True)
return Declaration_Array_Access;
-- Return a sorted list of all the declarations in the application.
- -- Freeing this array is the responsability of the caller, however it
+ -- Freeing this array is the responsibility of the caller, however it
-- shouldn't free the actual contents of the array, which are pointers
-- to internal data
procedure Reset_Directory (File : File_Reference);
-- Reset the cached directory for file. Next time Get_File is called, the
- -- directory willl be recomputed.
+ -- directory will be recomputed.
procedure Set_Unvisited (File_Ref : File_Reference);
-- Set File_Ref as unvisited. So Next_Unvisited_File will return it
procedure Read_File
(File_Name : String;
Contents : out GNAT.OS_Lib.String_Access);
- -- Reads File_Name into the newly allocated strig Contents. Types.EOF
+ -- Reads File_Name into the newly allocated string Contents. Types.EOF
-- character will be added to the returned Contents to simplify parsing.
-- Name_Error is raised if the file was not found. End_Error is raised if
-- the file could not be read correctly. For most systems correct reading
-- --
-- B o d y --
-- --
--- Copyright (C) 1998-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 1998-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
(Source : not null access String;
Ptr : in out Positive;
Number : out Natural);
- -- Skips any separators and parses Source upto the first character that
+ -- Skips any separators and parses Source up to the first character that
-- is not a decimal digit. Returns value of parsed digits or 0 if none.
procedure Parse_X_Filename (File : in out ALI_File);
exit when Ali (Ptr) = EOF;
end loop;
- -- We were not able to find the symbol, this should not happend but
+ -- We were not able to find the symbol, this should not happen but
-- since we don't want to stop here we return a string of three
-- question marks as the symbol name.
-- --
-- S p e c --
-- --
--- Copyright (C) 1998-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 1998-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- If Der_Info is true, then the derived type information will be
-- processed.
--
- -- If Type_Tree is true, then the type hierarchy wil be searched
+ -- If Type_Tree is true, then the type hierarchy will be searched
-- going from the pattern to the parent type.
procedure Search_Xref
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2008, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- Note: this program assumes that sinfo.ads has passed the error checks
-- which are carried out by the CSinfo utility, so it does not duplicate
--- these checks and assumes the soruce is correct.
+-- these checks and assumes the source is correct.
-- An optional argument allows the specification of an output file name to
-- override the default sinfo.h file name for the generated output file.
projects / gcc.git / commitdiff