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
OpenGEODE
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
1
Issues
1
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
OpenGEODE
Commits
b0ba14df
Commit
b0ba14df
authored
Apr 13, 2019
by
Maxime Perrotin
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Add test case for the append operator
parent
1cb2e1e4
Changes
5
Show whitespace changes
Inline
Side-by-side
Showing
5 changed files
with
138 additions
and
0 deletions
+138
-0
tests/regression/test-append/Makefile
tests/regression/test-append/Makefile
+46
-0
tests/regression/test-append/Makefile.og
tests/regression/test-append/Makefile.og
+6
-0
tests/regression/test-append/dataview-uniq.asn
tests/regression/test-append/dataview-uniq.asn
+38
-0
tests/regression/test-append/og.pr
tests/regression/test-append/og.pr
+45
-0
tests/regression/test-append/og.pr.ini
tests/regression/test-append/og.pr.ini
+3
-0
No files found.
tests/regression/test-append/Makefile
0 → 100644
View file @
b0ba14df
include
../shared.mk
ROOT_MODEL
=
og.pr
all
:
test-ada test-llvm
edit
:
$(OPENGEODE)
og.pr
test-parse
:
$(OPENGEODE)
og.pr
--check
test-qgen-parse
:
$(TESTQGEN_PARSE)
$(ROOT_MODEL)
test-qgen-ada
:
$(TESTQGEN_ADA)
$(ROOT_MODEL)
test-qgen-c
:
$(TESTQGEN_C)
$(ROOT_MODEL)
test-qgen-gt-ada
:
$(TESTQGEN_GT_ADA)
$(ROOT_MODEL)
test-qgen-gt-c
:
$(TESTQGEN_GT_C)
$(ROOT_MODEL)
test-ada
:
make
-f
Makefile.og
test-c
:
$(OPENGEODE)
og.pr
--toC
mono
$(ASN1SCC)
-c
-typePrefix
asn1Scc
-equal
dataview-uniq.asn
$(CC)
-O
$(O)
-c
*
.c
test-llvm
:
$(OPENGEODE)
og.pr
--llvm
-O
$(O)
$(LLC)
*
.ll
$(CC)
-O
$(O)
-c
*
.s
coverage
:
coverage run
-p
$(OPENGEODE)
og.pr
--toAda
.PHONY
:
all edit test-parse test-ada test-llvm coverage
tests/regression/test-append/Makefile.og
0 → 100644
View file @
b0ba14df
all
:
gprbuild
-p
-P
og.gpr
# generate Ada code from the SDL model
gprbuild
-p
-P
dataview_ada.gpr
# generate Ada code from the ASN.1 model
gprbuild
-p
-P
code/og_ada.gpr
# build the Ada code
clean
:
rm
-rf
obj code
\ No newline at end of file
tests/regression/test-append/dataview-uniq.asn
0 → 100644
View file @
b0ba14df
TASTE-Dataview DEFINITIONS ::=
BEGIN
MyChoice ::= CHOICE {
a CHOICE {
b CHOICE {
c BOOLEAN,
d BOOLEAN
},
e BOOLEAN
},
f BOOLEAN
}
Some-Thing ::= MyInteger
MyInteger ::= INTEGER (0..255)
My-OctStr ::= OCTET STRING (SIZE (0..20))
SeqOf ::= SEQUENCE (SIZE(0..100)) OF MyInteger
Type1 ::= INTEGER(0..1)
Type2 ::= BOOLEAN
Toto ::= SEQUENCE { elem-1 Type1, elem-2 Type2 }
SeqBool ::= SEQUENCE(SIZE(1..5)) OF BOOLEAN
Enum-T ::= ENUMERATED {enum1, enum2, enum3}
ForTheSakeOfIt ::= SEQUENCE (SIZE (2)) OF Enum-T
default-seqof SeqOf ::= {4,7,9}
default-str My-OctStr ::= 'DEADBEEF'H
END
tests/regression/test-append/og.pr
0 → 100644
View file @
b0ba14df
system og;
/* CIF TEXT (159, 221), (290, 200) */
-- Text area for declarations and comments
use dv comment 'dataview-uniq.asn';
--use dv2 comment 'dataview2.asn';
signal dd(Type2);
signal we(Some_Thing);
procedure hehe;
fpar in/out a_param Type2;
external;
/* CIF ENDTEXT */
channel c
from env to og with dd;
from og to env with we;
endchannel;
block og;
signalroute r
from env to og with dd;
from og to env with we;
connect c and r;
/* CIF PROCESS (225, 49), (150, 75) */
process og;
/* CIF TEXT (74, 125), (321, 173) */
dcl foo, bar SeqBool;
dcl idx myinteger := 3;
/* CIF ENDTEXT */
/* CIF START (556, 221), (70, 35) */
START;
/* CIF task (470, 276), (242, 38) */
task foo := { true, false},
bar := {false, true, true, false, false};
/* CIF task (503, 334), (176, 35) */
task foo := foo // bar (0, idx - 1);
/* CIF NEXTSTATE (556, 384), (70, 35) */
NEXTSTATE wait;
/* CIF state (826, 332), (70, 35) */
state wait;
endstate;
endprocess og;
endblock;
endsystem;
\ No newline at end of file
tests/regression/test-append/og.pr.ini
0 → 100644
View file @
b0ba14df
[General]
geometry
=
@ByteArray(
\x
1
\x
d9
\x
d0
\x
cb
\0\x
1
\0\0\0\0\x
1
\x
10
\0\0\0
@
\0\0\a
2
\0\0\x
3
\x
d8
\0\0\x
1
\x
13
\0\0\0
]
\0\0\a
/
\0\0\x
3
\x
d5
\0\0\0\0\0\0
)
windowState
=
"@ByteArray(
\0\0\0\x
ff
\0\0\0\0\x
fd
\0\0\0\x
2
\0\0\0\x
1
\0\0\x
2,
\0\0\x
2
\x
99
\x
fc
\x
2
\0\0\0\x
1
\x
fc
\0\0\0\x
35
\0\0\x
2
\x
99
\0\0\0
y
\x
1
\0\0\x
15
\x
fa
\0\0\0\0\x
2
\0\0\0\x
2
\x
fb
\0\0\0\x
1c
\0\x
64
\0\x
61
\0
t
\0\x
61
\0
t
\0
y
\0
p
\0\x
65
\0
s
\0
_
\0\x
64
\0
o
\0\x
63
\0
k
\x
1
\0\0\0\0\x
ff
\x
ff
\x
ff
\x
ff
\0\0\0\x
63
\0\x
ff
\x
ff
\x
ff
\x
fb
\0\0\0\x
1a
\0\x
64
\0\x
61
\0
t
\0\x
61
\0\x
64
\0
i
\0\x
63
\0
t
\0
_
\0\x
64
\0
o
\0\x
63
\0
k
\x
1
\0\0\0\0\x
ff
\x
ff
\x
ff
\x
ff
\0\0\0\x
63
\0\x
ff
\x
ff
\x
ff
\0\0\0\x
3
\0\0\x
5
\x
ef
\0\0\0\x
8c
\x
fc
\x
1
\0\0\0\x
1
\x
fb
\0\0\0\x
e
\0
m
\0
s
\0
g
\0\x
44
\0
o
\0\x
63
\0
k
\x
1
\0\0\0
.
\0\0\x
5
\x
ef
\0\0\0\x
46
\0\a\x
ff
\x
ff
\0\0\x
3
\x
bd
\0\0\x
2
\x
99
\0\0\0\x
4
\0\0\0\x
4
\0\0\0\b\0\0\0\b\x
fc
\0\0\0\x
2
\0\0\0\0\0\0\0\x
1
\0\0\0\x
16
\0
S
\0\x
44
\0
L
\0
\0
T
\0
o
\0
o
\0
l
\0\x
62
\0\x
61
\0
r
\x
3
\0\0\0\0\x
ff
\x
ff
\x
ff
\x
ff
\0\0\0\0\0\0\0\0\0\0\0\x
2
\0\0\0\x
1
\0\0\0\x
18
\0\x
46
\0
i
\0
l
\0\x
65
\0
\0
T
\0
o
\0
o
\0
l
\0\x
62
\0\x
61
\0
r
\x
1
\0\0\0\0\x
ff
\x
ff
\x
ff
\x
ff
\0\0\0\0\0\0\0\0
)"
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