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
5e9d4bf8
Commit
5e9d4bf8
authored
Oct 20, 2015
by
Maxime Perrotin
Browse files
Add second test case for aggregations
parent
76027f3e
Changes
4
Hide whitespace changes
Inline
Side-by-side
tests/regression/test-aggregation2/Makefile
0 → 100644
View file @
5e9d4bf8
include
../shared.mk
all
:
test-ada test-llvm
edit
:
$(OPENGEODE)
og.pr
test-parse
:
$(OPENGEODE)
og.pr
--check
test-ada
:
$(OPENGEODE)
og.pr
--toAda
$(ASN1SCC)
-Ada
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(GNATMAKE)
-O
$(O)
-c
*
.adb
$(GNATBIND)
-n
og.ali
test-c
:
$(OPENGEODE)
og.pr
--toC
$(ASN1SCC)
-c
dataview-uniq.asn
-typePrefix
asn1Scc
-equal
$(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-aggregation2/dataview-uniq.asn
0 → 100644
View file @
5e9d4bf8
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 ::= ENUMERATED {enum1}
default-seqof SeqOf ::= {4,7,9}
default-str My-OctStr ::= 'DEADBEEF'H
END
tests/regression/test-aggregation2/og.pr
0 → 100644
View file @
5e9d4bf8
SYSTEM og;
/* CIF TEXT (159, 221), (356, 248) */
-- 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;
STATE AGGREGATION wait;
SUBSTRUCTURE
STATE b;
SUBSTRUCTURE
/* CIF START (36, 35), (70, 35) */
START;
/* CIF NEXTSTATE (36, 85), (70, 35) */
NEXTSTATE d;
/* CIF STATE (116, 91), (70, 35) */
STATE d;
ENDSTATE;
ENDSUBSTRUCTURE;
STATE a;
SUBSTRUCTURE
/* CIF START (7, 15), (70, 35) */
START;
/* CIF NEXTSTATE (7, 65), (70, 35) */
NEXTSTATE c;
/* CIF STATE (119, 53), (70, 35) */
STATE c;
ENDSTATE;
ENDSUBSTRUCTURE;
/* CIF STATE (55, 14), (70, 35) */
STATE a;
ENDSTATE;
/* CIF STATE (71, 136), (70, 35) */
STATE b;
ENDSTATE;
ENDSUBSTRUCTURE;
/* CIF START (121, 191), (70, 35) */
START;
/* CIF NEXTSTATE (121, 241), (70, 35) */
NEXTSTATE wait;
/* CIF STATE (251, 205), (70, 35) */
STATE wait;
ENDSTATE;
ENDPROCESS og;
ENDBLOCK;
ENDSYSTEM;
\ No newline at end of file
tests/regression/test-aggregation2/og2.pr
0 → 100644
View file @
5e9d4bf8
SYSTEM og;
/* CIF TEXT (159, 221), (356, 248) */
-- 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;
STATE AGGREGATION wait;
SUBSTRUCTURE
STATE a;
SUBSTRUCTURE
/* CIF START (7, 15), (70, 35) */
START;
/* CIF NEXTSTATE (7, 65), (70, 35) */
NEXTSTATE c;
/* CIF STATE (119, 53), (70, 35) */
STATE c;
ENDSTATE;
ENDSUBSTRUCTURE;
STATE b;
SUBSTRUCTURE
/* CIF START (36, 35), (70, 35) */
START;
/* CIF NEXTSTATE (36, 85), (70, 35) */
NEXTSTATE d;
/* CIF STATE (116, 91), (70, 35) */
STATE d;
ENDSTATE;
ENDSUBSTRUCTURE;
/* CIF STATE (71, 136), (70, 35) */
STATE b;
ENDSTATE;
/* CIF STATE (55, 14), (70, 35) */
STATE a;
ENDSTATE;
ENDSUBSTRUCTURE;
/* CIF START (121, 191), (70, 35) */
START;
/* CIF NEXTSTATE (121, 241), (70, 35) */
NEXTSTATE wait;
/* CIF STATE (251, 205), (70, 35) */
STATE wait;
ENDSTATE;
ENDPROCESS og;
ENDBLOCK;
ENDSYSTEM;
\ No newline at end of file
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