Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
d39b5933
Commit
d39b5933
authored
Mar 03, 2013
by
yoogx
Browse files
* Minor reformatting
parent
cbd66d66
Changes
1
Hide whitespace changes
Inline
Side-by-side
resources/AADLv2/base_types.aadl
View file @
d39b5933
...
...
@@ -4,7 +4,7 @@ public
with
data_model
;
data
Boolean
properties
properties
Data_Model
::
Data_Representation
=>
Boolean
;
end
Boolean
;
...
...
@@ -66,25 +66,25 @@ public
end
Unsigned_64
;
data
Natural
extends
Integer
properties
properties
Data_Model
::
Integer_Range
=>
0
..
Max_Target_Integer
;
end
Natural
;
data
Float
data
Float
properties
Data_Model
::
Data_Representation
=>
Float
;
end
Float
;
data
Float_32
extends
Float
properties
Data_Model
::
IEEE754_Precision
=>
Simple
;
Source_Data_Size
=>
4
Bytes
;
end
Float_32
;
data
Float_32
extends
Float
properties
Data_Model
::
IEEE754_Precision
=>
Simple
;
Source_Data_Size
=>
4
Bytes
;
end
Float_32
;
data
Float_64
extends
Float
properties
Data_Model
::
IEEE754_Precision
=>
Double
;
Source_Data_Size
=>
8
Bytes
;
data
Float_64
extends
Float
properties
Data_Model
::
IEEE754_Precision
=>
Double
;
Source_Data_Size
=>
8
Bytes
;
end
Float_64
;
data
Character
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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