Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
OpenGEODE
Commits
0d5c683e
Commit
0d5c683e
authored
Jul 07, 2014
by
Maxime Perrotin
Browse files
Proper Put_Line with bounded-sized strings
parent
97da923d
Changes
4
Hide whitespace changes
Inline
Side-by-side
AdaGenerator.py
View file @
0d5c683e
...
...
@@ -452,7 +452,7 @@ def write_statement(param, newline):
string
=
string
,
to
=
basic_type
.
Max
),
"end if;"
])
string
=
localstr
string
=
u
'{}({})'
.
format
(
localstr
,
range_len
)
elif
type_kind
in
(
'IntegerType'
,
'RealType'
,
'BooleanType'
,
'Integer32Type'
):
code
,
string
,
local
=
expression
(
param
)
...
...
opengeode.py
View file @
0d5c683e
...
...
@@ -1959,7 +1959,8 @@ def opengeode():
init_logging
(
options
)
LOG
.
debug
(
'Starting OpenGEODE version '
+
__version__
)
if
any
((
options
.
check
,
options
.
toAda
,
options
.
png
,
options
.
pdf
,
options
.
svg
,
options
.
llvm
)):
if
any
((
options
.
check
,
options
.
toAda
,
options
.
png
,
options
.
pdf
,
options
.
svg
,
options
.
llvm
)):
return
cli
(
options
)
else
:
return
gui
(
options
)
...
...
tests/regression/test6/Makefile
View file @
0d5c683e
...
...
@@ -4,7 +4,7 @@ test-parse:
../../../opengeode.py myfunction.pr system_structure.pr
--check
test-ada
:
../../../opengeode.py
--toAda
myfunction.pr system_structure.pr
../../../opengeode.py
--toAda
myfunction.pr system_structure.pr
||
exit
1
asn1.exe
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
gnatmake
-c
myfunction.adb
gcc
-c
test.c
...
...
tests/regression/test6/expected
View file @
0d5c683e
No preview for this file type
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