2011-08-01 Arnaud Charlet <charlet@adacore.com> * g-socket-dummy.adb, s-osinte-linux.ads, g-socket-dummy.ads, g-debuti.adb, g-tasloc.adb, g-debuti.ads, g-tasloc.ads, s-osinte-hpux.ads, g-sercom.adb, g-soliop-solaris.ads, g-sercom.ads, g-sptain.ads, g-curexc.ads, s-tasloc.adb, s-tasloc.ads, s-tataat.adb, g-ctrl_c.adb, a-reatim.adb, s-tataat.ads, g-dirope.adb, g-ctrl_c.ads, g-dirope.ads, g-boubuf.adb, g-calend.adb, g-boubuf.ads, g-souinf.ads, g-table.adb, g-bytswa-x86.adb, g-wispch.adb, g-io.adb, g-table.ads, g-wispch.ads, g-io.ads, g-memdum.adb, g-memdum.ads, g-busorg.adb, g-busorg.ads, g-regpat.adb, g-sothco-dummy.adb, g-encstr.adb, g-regpat.ads, g-sothco-dummy.ads, s-osinte-aix.ads, g-encstr.ads, g-sercom-mingw.adb, s-mastop-vms.adb, g-diopit.adb, g-diopit.ads, s-vxwext.adb, g-dyntab.adb, g-dyntab.ads, g-crc32.adb, g-sercom-linux.adb, g-crc32.ads, s-regpat.adb, g-flocon.ads, s-regpat.ads, g-stheme.adb, g-sestin.ads, s-taspri-posix-noaltstack.ads, g-soliop.ads, s-inmaop-posix.adb, g-locfil.ads, g-enblsp-vms-alpha.adb, g-socthi-dummy.adb, g-socthi-dummy.ads, gnat.ads, g-moreex.adb, g-moreex.ads, g-dynhta.adb, g-dynhta.ads, g-deutst.ads, g-htable.adb, g-cgicoo.adb, g-htable.ads, g-cgicoo.ads, a-interr.adb, g-socthi-vms.adb, g-socthi-vms.ads, g-hesora.adb, g-bubsor.adb, g-hesora.ads, g-bubsor.ads, g-md5.adb, g-md5.ads, s-intman-irix.adb, s-htable.adb, s-osinte-vms.adb, s-htable.ads, s-osinte-vms.ads, s-taprob.adb, g-bytswa.adb, g-bytswa.ads, s-osinte-solaris-posix.ads, a-suenco.adb, g-comver.adb, g-comver.ads, g-exctra.adb, s-osinte-solaris.adb, g-exctra.ads, s-osinte-irix.ads, s-osinte-solaris.ads, a-caldel-vms.adb, g-socthi-vxworks.adb, g-expect.adb, g-socthi-vxworks.ads, g-expect.ads, g-comlin.ads, g-heasor.adb, g-heasor.ads, g-traceb.adb, g-traceb.ads, g-decstr.adb, g-spipat.adb, g-decstr.ads, g-spipat.ads, s-mastop-tru64.adb, g-except.ads, g-thread.adb, g-hesorg.adb, g-thread.ads, g-hesorg.ads, g-expect-vms.adb, a-stuten.ads, g-spchge.adb, g-spchge.ads, g-u3spch.adb, g-u3spch.ads, g-spitbo.adb, g-spitbo.ads, s-osinte-dummy.ads, s-osinte-posix.adb, g-pehage.adb, g-pehage.ads, s-gloloc-mingw.adb, g-sha1.ads, s-traceb-hpux.adb, g-trasym-unimplemented.adb, g-trasym-unimplemented.ads, g-io_aux.adb, g-regexp.adb, g-io_aux.ads, g-socthi-mingw.adb, g-regexp.ads, s-osinte-hpux-dce.adb, g-socthi-mingw.ads, g-cgi.adb, s-osinte-hpux-dce.ads, g-cgi.ads, g-byorma.adb, g-boumai.ads, g-byorma.ads, a-caldel.adb, s-regexp.adb, s-regexp.ads, g-soliop-mingw.ads, g-sptavs.ads, s-osinte-tru64.ads, g-speche.adb, g-speche.ads, g-socthi.adb, g-stsifd-sockets.adb, g-socthi.ads, s-osinte-darwin.ads, i-vxwork-x86.ads, g-awk.adb, i-vxwork.ads, g-awk.ads, g-zspche.adb, g-zspche.ads, g-socket.adb, g-sptabo.ads, g-socket.ads, g-semaph.adb, g-semaph.ads, s-taspri-posix.ads, g-enblsp-vms-ia64.adb, g-cgideb.adb, g-cgideb.ads, g-sothco.adb, s-osinte-freebsd.ads, g-sothco.ads, g-catiio.adb, g-casuti.adb, g-catiio.ads, g-casuti.ads, g-trasym.adb, g-trasym.ads, s-casuti.adb, g-os_lib.adb, s-traceb-mastop.adb, g-busora.adb, s-interr-dummy.adb, g-busora.ads, g-enutst.ads, s-os_lib.adb, a-tasatt.adb, s-osinte-mingw.ads: Update to GPLv3 run-time license. Use GNAT instead of GNARL. 2011-08-01 Bob Duff <duff@adacore.com> * a-cdlili.ads, a-cihama.ads, a-coinve.ads, a-ciorse.ads, a-coorma.ads, a-cidlli.ads, a-ciormu.ads, a-cihase.ads, a-cohama.ads, a-coorse.ads, a-ciorma.ads, a-coormu.ads, a-convec.ads, a-cohase.ads: Minor reformatting. 2011-08-01 Yannick Moy <moy@adacore.com> * debug.adb (d.D) reverve flag for the SPARK mode (d.E) reverve flag for SPARK generation mode (d.F) reverve flag for Why generation mode * opt.ads, opt.adb (ALFA_Mode, ALFA_Through_SPARK_Mode, ALFA_Through_Why_Mode, Formal_Verification_Mode, SPARK_Mode): New functions which return True when the corresponding modes are set (Formal_Language): return "spark" or "alfa" when in formal verification mode. * sem_util.ads, sem_util.adb (Formal_Error_Msg): new wrapper on Error_Msg to prefix the error message with a tag giving the formal language (Formal_Error_Msg_N): new wrapper on Error_Msg_N to prefix the error message with a tag giving the formal language * sem_ch5.adb (Analyze_Block_Statement): issue error in formal mode on block statement (Analyze_Case_Statement): issue error in formal mode on case statement with a single "others" case alternative (Analyze_Exit_Statement): issue errors in formal mode on exit statements which do not respect SPARK restrictions (Analyze_Goto_Statement): issue error in formal mode on goto statement (Check_Unreachable_Code): always issue an error (not a warning) in formal mode on unreachable code (concerns both code after an infinite loop and after an unconditional jump, both not allowed in SPARK) * sem_ch6.adb (Analyze_Return_Statement): add call to Set_Return_Present for a procedure containing a return statement (already done for functions in Analyze_Function_Return) (Analyze_Function_Return): issue error in formal mode on extended return or if return is not last statement in function (Check_Missing_Return): issue error in formal mode if function does not end with return or if procedure contains a return * sem_ch8.ads, sem_ch8.adb (Has_Loop_In_Inner_Open_Scopes): new function to detect if there is an inner scope of its parameter S which is a loop. 2011-08-01 Thomas Quinot <quinot@adacore.com> * sem_ch6.ads: Minor reformatting. From-SVN: r177040
259 lines
8.9 KiB
Ada
Executable File
259 lines
8.9 KiB
Ada
Executable File
------------------------------------------------------------------------------
|
|
-- --
|
|
-- GNAT RUN-TIME COMPONENTS --
|
|
-- --
|
|
-- G N A T . E N C O D E _ S T R I N G --
|
|
-- --
|
|
-- B o d y --
|
|
-- --
|
|
-- Copyright (C) 2007-2010, 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- --
|
|
-- ware Foundation; either version 3, or (at your option) any later ver- --
|
|
-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
|
|
-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
|
|
-- or FITNESS FOR A PARTICULAR PURPOSE. --
|
|
-- --
|
|
-- As a special exception under Section 7 of GPL version 3, you are granted --
|
|
-- additional permissions described in the GCC Runtime Library Exception, --
|
|
-- version 3.1, as published by the Free Software Foundation. --
|
|
-- --
|
|
-- You should have received a copy of the GNU General Public License and --
|
|
-- a copy of the GCC Runtime Library Exception along with this program; --
|
|
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
|
|
-- <http://www.gnu.org/licenses/>. --
|
|
-- --
|
|
-- GNAT was originally developed by the GNAT team at New York University. --
|
|
-- Extensive contributions were provided by Ada Core Technologies Inc. --
|
|
-- --
|
|
------------------------------------------------------------------------------
|
|
|
|
with Interfaces; use Interfaces;
|
|
|
|
with System.WCh_Con; use System.WCh_Con;
|
|
with System.WCh_Cnv; use System.WCh_Cnv;
|
|
|
|
package body GNAT.Encode_String is
|
|
|
|
-----------------------
|
|
-- Local Subprograms --
|
|
-----------------------
|
|
|
|
procedure Bad;
|
|
pragma No_Return (Bad);
|
|
-- Raise error for bad character code
|
|
|
|
procedure Past_End;
|
|
pragma No_Return (Past_End);
|
|
-- Raise error for off end of string
|
|
|
|
---------
|
|
-- Bad --
|
|
---------
|
|
|
|
procedure Bad is
|
|
begin
|
|
raise Constraint_Error with
|
|
"character cannot be encoded with given Encoding_Method";
|
|
end Bad;
|
|
|
|
------------------------
|
|
-- Encode_Wide_String --
|
|
------------------------
|
|
|
|
function Encode_Wide_String (S : Wide_String) return String is
|
|
Long : constant Natural := WC_Longest_Sequences (Encoding_Method);
|
|
Result : String (1 .. S'Length * Long);
|
|
Length : Natural;
|
|
begin
|
|
Encode_Wide_String (S, Result, Length);
|
|
return Result (1 .. Length);
|
|
end Encode_Wide_String;
|
|
|
|
procedure Encode_Wide_String
|
|
(S : Wide_String;
|
|
Result : out String;
|
|
Length : out Natural)
|
|
is
|
|
Ptr : Natural;
|
|
|
|
begin
|
|
Ptr := S'First;
|
|
for J in S'Range loop
|
|
Encode_Wide_Character (S (J), Result, Ptr);
|
|
end loop;
|
|
|
|
Length := Ptr - S'First;
|
|
end Encode_Wide_String;
|
|
|
|
-----------------------------
|
|
-- Encode_Wide_Wide_String --
|
|
-----------------------------
|
|
|
|
function Encode_Wide_Wide_String (S : Wide_Wide_String) return String is
|
|
Long : constant Natural := WC_Longest_Sequences (Encoding_Method);
|
|
Result : String (1 .. S'Length * Long);
|
|
Length : Natural;
|
|
begin
|
|
Encode_Wide_Wide_String (S, Result, Length);
|
|
return Result (1 .. Length);
|
|
end Encode_Wide_Wide_String;
|
|
|
|
procedure Encode_Wide_Wide_String
|
|
(S : Wide_Wide_String;
|
|
Result : out String;
|
|
Length : out Natural)
|
|
is
|
|
Ptr : Natural;
|
|
|
|
begin
|
|
Ptr := S'First;
|
|
for J in S'Range loop
|
|
Encode_Wide_Wide_Character (S (J), Result, Ptr);
|
|
end loop;
|
|
|
|
Length := Ptr - S'First;
|
|
end Encode_Wide_Wide_String;
|
|
|
|
---------------------------
|
|
-- Encode_Wide_Character --
|
|
---------------------------
|
|
|
|
procedure Encode_Wide_Character
|
|
(Char : Wide_Character;
|
|
Result : in out String;
|
|
Ptr : in out Natural)
|
|
is
|
|
begin
|
|
Encode_Wide_Wide_Character
|
|
(Wide_Wide_Character'Val (Wide_Character'Pos (Char)), Result, Ptr);
|
|
|
|
exception
|
|
when Constraint_Error =>
|
|
Bad;
|
|
end Encode_Wide_Character;
|
|
|
|
--------------------------------
|
|
-- Encode_Wide_Wide_Character --
|
|
--------------------------------
|
|
|
|
procedure Encode_Wide_Wide_Character
|
|
(Char : Wide_Wide_Character;
|
|
Result : in out String;
|
|
Ptr : in out Natural)
|
|
is
|
|
U : Unsigned_32;
|
|
|
|
procedure Out_Char (C : Character);
|
|
pragma Inline (Out_Char);
|
|
-- Procedure to store one character for instantiation below
|
|
|
|
--------------
|
|
-- Out_Char --
|
|
--------------
|
|
|
|
procedure Out_Char (C : Character) is
|
|
begin
|
|
if Ptr > Result'Last then
|
|
Past_End;
|
|
else
|
|
Result (Ptr) := C;
|
|
Ptr := Ptr + 1;
|
|
end if;
|
|
end Out_Char;
|
|
|
|
-- Start of processing for Encode_Wide_Wide_Character;
|
|
|
|
begin
|
|
-- Efficient code for UTF-8 case
|
|
|
|
if Encoding_Method = WCEM_UTF8 then
|
|
|
|
-- Note: for details of UTF8 encoding see RFC 3629
|
|
|
|
U := Unsigned_32 (Wide_Wide_Character'Pos (Char));
|
|
|
|
-- 16#00_0000#-16#00_007F#: 0xxxxxxx
|
|
|
|
if U <= 16#00_007F# then
|
|
Out_Char (Character'Val (U));
|
|
|
|
-- 16#00_0080#-16#00_07FF#: 110xxxxx 10xxxxxx
|
|
|
|
elsif U <= 16#00_07FF# then
|
|
Out_Char (Character'Val (2#11000000# or Shift_Right (U, 6)));
|
|
Out_Char (Character'Val (2#10000000# or (U and 2#00111111#)));
|
|
|
|
-- 16#00_0800#-16#00_FFFF#: 1110xxxx 10xxxxxx 10xxxxxx
|
|
|
|
elsif U <= 16#00_FFFF# then
|
|
Out_Char (Character'Val (2#11100000# or Shift_Right (U, 12)));
|
|
Out_Char (Character'Val (2#10000000# or (Shift_Right (U, 6)
|
|
and 2#00111111#)));
|
|
Out_Char (Character'Val (2#10000000# or (U and 2#00111111#)));
|
|
|
|
-- 16#01_0000#-16#10_FFFF#: 11110xxx 10xxxxxx 10xxxxxx 10xxxxxx
|
|
|
|
elsif U <= 16#10_FFFF# then
|
|
Out_Char (Character'Val (2#11110000# or Shift_Right (U, 18)));
|
|
Out_Char (Character'Val (2#10000000# or (Shift_Right (U, 12)
|
|
and 2#00111111#)));
|
|
Out_Char (Character'Val (2#10000000# or (Shift_Right (U, 6)
|
|
and 2#00111111#)));
|
|
Out_Char (Character'Val (2#10000000# or (U and 2#00111111#)));
|
|
|
|
-- 16#0020_0000#-16#03FF_FFFF#: 111110xx 10xxxxxx 10xxxxxx
|
|
-- 10xxxxxx 10xxxxxx
|
|
|
|
elsif U <= 16#03FF_FFFF# then
|
|
Out_Char (Character'Val (2#11111000# or Shift_Right (U, 24)));
|
|
Out_Char (Character'Val (2#10000000# or (Shift_Right (U, 18)
|
|
and 2#00111111#)));
|
|
Out_Char (Character'Val (2#10000000# or (Shift_Right (U, 12)
|
|
and 2#00111111#)));
|
|
Out_Char (Character'Val (2#10000000# or (Shift_Right (U, 6)
|
|
and 2#00111111#)));
|
|
Out_Char (Character'Val (2#10000000# or (U and 2#00111111#)));
|
|
|
|
-- All other cases are invalid character codes, not this includes:
|
|
|
|
-- 16#0400_0000#-16#7FFF_FFFF#: 1111110x 10xxxxxx 10xxxxxx
|
|
-- 10xxxxxx 10xxxxxx 10xxxxxx
|
|
|
|
-- since Wide_Wide_Character values cannot exceed 16#3F_FFFF#
|
|
|
|
else
|
|
Bad;
|
|
end if;
|
|
|
|
-- All encoding methods other than UTF-8
|
|
|
|
else
|
|
Non_UTF8 : declare
|
|
procedure UTF_32_To_String is
|
|
new UTF_32_To_Char_Sequence (Out_Char);
|
|
-- Instantiate conversion procedure with above Out_Char routine
|
|
|
|
begin
|
|
UTF_32_To_String
|
|
(UTF_32_Code (Wide_Wide_Character'Pos (Char)), Encoding_Method);
|
|
|
|
exception
|
|
when Constraint_Error =>
|
|
Bad;
|
|
end Non_UTF8;
|
|
end if;
|
|
end Encode_Wide_Wide_Character;
|
|
|
|
--------------
|
|
-- Past_End --
|
|
--------------
|
|
|
|
procedure Past_End is
|
|
begin
|
|
raise Constraint_Error with "past end of string";
|
|
end Past_End;
|
|
|
|
end GNAT.Encode_String;
|