Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
O
Ocarina
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
2
Issues
2
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
Operations
Operations
Incidents
Analytics
Analytics
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
TASTE
Ocarina
Commits
80fb771d
Commit
80fb771d
authored
Aug 27, 2013
by
yoogx
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
* Add support for Long_Float
parent
967045c9
Changes
2
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
8 additions
and
8 deletions
+8
-8
src/backends/ocarina-backends-po_hi_ada-runtime.ads
src/backends/ocarina-backends-po_hi_ada-runtime.ads
+3
-1
src/backends/ocarina-backends-po_hi_ada-types.adb
src/backends/ocarina-backends-po_hi_ada-types.adb
+5
-7
No files found.
src/backends/ocarina-backends-po_hi_ada-runtime.ads
View file @
80fb771d
...
@@ -6,7 +6,7 @@
...
@@ -6,7 +6,7 @@
-- --
-- --
-- S p e c --
-- S p e c --
-- --
-- --
-- Copyright (C) 2006-2009 Telecom ParisTech, 2010-201
2
ESA & ISAE. --
-- Copyright (C) 2006-2009 Telecom ParisTech, 2010-201
3
ESA & ISAE. --
-- --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
-- it under terms of the GNU General Public License as published by the --
...
@@ -175,6 +175,7 @@ package Ocarina.Backends.PO_HI_Ada.Runtime is
...
@@ -175,6 +175,7 @@ package Ocarina.Backends.PO_HI_Ada.Runtime is
RE_Natural
,
-- Standard.Natural
RE_Natural
,
-- Standard.Natural
RE_Positive
,
-- Standard.Positive
RE_Positive
,
-- Standard.Positive
RE_Float
,
-- Standard.Float
RE_Float
,
-- Standard.Float
RE_Long_Float
,
-- Standard.Long_Float
RE_String
,
-- Standard.String
RE_String
,
-- Standard.String
RE_Character
,
-- Standard.Character
RE_Character
,
-- Standard.Character
RE_Wide_Character
,
-- Standard.Wide_Character
RE_Wide_Character
,
-- Standard.Wide_Character
...
@@ -272,6 +273,7 @@ package Ocarina.Backends.PO_HI_Ada.Runtime is
...
@@ -272,6 +273,7 @@ package Ocarina.Backends.PO_HI_Ada.Runtime is
RE_Natural
=>
RU_Standard
,
RE_Natural
=>
RU_Standard
,
RE_Positive
=>
RU_Standard
,
RE_Positive
=>
RU_Standard
,
RE_Float
=>
RU_Standard
,
RE_Float
=>
RU_Standard
,
RE_Long_Float
=>
RU_Standard
,
RE_String
=>
RU_Standard
,
RE_String
=>
RU_Standard
,
RE_Character
=>
RU_Standard
,
RE_Character
=>
RU_Standard
,
RE_Wide_Character
=>
RU_Standard
,
RE_Wide_Character
=>
RU_Standard
,
...
...
src/backends/ocarina-backends-po_hi_ada-types.adb
View file @
80fb771d
...
@@ -6,7 +6,7 @@
...
@@ -6,7 +6,7 @@
-- --
-- --
-- B o d y --
-- B o d y --
-- --
-- --
-- Copyright (C) 2006-2009 Telecom ParisTech, 2010-201
2
ESA & ISAE. --
-- Copyright (C) 2006-2009 Telecom ParisTech, 2010-201
3
ESA & ISAE. --
-- --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
-- it under terms of the GNU General Public License as published by the --
...
@@ -417,12 +417,10 @@ package body Ocarina.Backends.PO_HI_Ada.Types is
...
@@ -417,12 +417,10 @@ package body Ocarina.Backends.PO_HI_Ada.Types is
end
;
end
;
when
Data_Float
=>
when
Data_Float
=>
-- In HI system floating point types are not supported
N
:=
Make_Full_Type_Declaration
(
Defining_Identifier
=>
Map_Ada_Defining_Identifier
(
E
),
Display_Located_Error
Type_Definition
=>
Make_Derived_Type_Definition
(
Loc
(
E
),
(
RE
(
RE_Long_Float
)));
"No floating point in for HI applications"
,
Fatal
=>
True
);
when
Data_Fixed
=>
when
Data_Fixed
=>
declare
declare
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment