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
719f1273
Commit
719f1273
authored
May 30, 2015
by
Maxime Perrotin
Browse files
Add test case for process FPAR
Test that FPAR sections in textboxes are properly parsed and rendered
parent
c6135b32
Changes
4
Hide whitespace changes
Inline
Side-by-side
tests/regression/test-processfpar2/Makefile
0 → 100644
View file @
719f1273
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-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-processfpar2/README
0 → 100644
View file @
719f1273
Test the proper parsing of a process with formal parameters, in the case where
the FPAR section is specified graphically in a text box.
In that case the tool parses and renders the textbox normally.
tests/regression/test-processfpar2/dataview-uniq.asn
0 → 100644
View file @
719f1273
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-processfpar2/og.pr
0 → 100644
View file @
719f1273
SYSTEM og;
/* CIF TEXT (159, 221), (287, 188) */
-- 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 (0, 44), (173, 140) */
-- Formal parameters
fpar toto Type2,
titi Type2,
tutu Some_Thing;
/* CIF ENDTEXT */
/* CIF START (207, 68), (70, 35) */
START;
/* CIF DECISION (207, 118), (70, 50) */
DECISION toto
/* CIF COMMENT (297, 125), (169, 38) */
COMMENT 'Check that the FPAR
is visible.';
/* CIF ANSWER (162, 188), (70, 23) */
(true):
/* CIF ANSWER (252, 188), (70, 23) */
(false):
ENDDECISION;
/* CIF NEXTSTATE (207, 226), (70, 35) */
NEXTSTATE wait;
/* CIF STATE (318, 74), (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