summaryrefslogtreecommitdiffstats
path: root/gcc/ada/a-string.ads
diff options
context:
space:
mode:
authorkenner <kenner@138bc75d-0d04-0410-961f-82ee72b054a4>2001-10-02 13:55:47 +0000
committerkenner <kenner@138bc75d-0d04-0410-961f-82ee72b054a4>2001-10-02 13:55:47 +0000
commit1fac938ee5fb71eb038b3b33e393a02d5ea33190 (patch)
tree2984031fa75d4e716ac1f562efe5ae818a291ca8 /gcc/ada/a-string.ads
parente6e7bf38fd3e54eef6e896049ef2d52135eab3d0 (diff)
downloadppe42-gcc-1fac938ee5fb71eb038b3b33e393a02d5ea33190.tar.gz
ppe42-gcc-1fac938ee5fb71eb038b3b33e393a02d5ea33190.zip
New Language: Ada
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@45953 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-string.ads')
-rw-r--r--gcc/ada/a-string.ads32
1 files changed, 32 insertions, 0 deletions
diff --git a/gcc/ada/a-string.ads b/gcc/ada/a-string.ads
new file mode 100644
index 00000000000..65226d13711
--- /dev/null
+++ b/gcc/ada/a-string.ads
@@ -0,0 +1,32 @@
+------------------------------------------------------------------------------
+-- --
+-- GNAT RUNTIME COMPONENTS --
+-- --
+-- A D A . S T R I N G S --
+-- --
+-- S p e c --
+-- --
+-- $Revision: 1.6 $ --
+-- --
+-- This specification is adapted from the Ada Reference Manual for use with --
+-- GNAT. In accordance with the copyright of that document, you can freely --
+-- copy and modify this specification, provided that if you redistribute a --
+-- modified version, any changes that you have made are clearly indicated. --
+-- --
+------------------------------------------------------------------------------
+
+package Ada.Strings is
+pragma Pure (Strings);
+
+ Space : constant Character := ' ';
+ Wide_Space : constant Wide_Character := ' ';
+
+ Length_Error, Pattern_Error, Index_Error, Translation_Error : exception;
+
+ type Alignment is (Left, Right, Center);
+ type Truncation is (Left, Right, Error);
+ type Membership is (Inside, Outside);
+ type Direction is (Forward, Backward);
+ type Trim_End is (Left, Right, Both);
+
+end Ada.Strings;
OpenPOWER on IntegriCloud