Skip to content

GitLab

R
regression-suites
Commit e8cae68b authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files
Options

Remove non-necessary files

parent a89dc0ed
Hide whitespace changes
Inline Side-by-side
Showing with 0 additions and 2075 deletions
Demo_TwoCallers/build-script.sh.old deleted 100755 → 0
View file @ a89dc0ed
#!/bin/bash
# This script will build your TASTE system.
# You should check it before running it to make it fit with your context:
# 1) You may need to fix some paths and filenames (path to interface/deployment views)
# 2) You may need to specify additional paths for the compiler to find .h file
# (e.g. "export C_INCLUDE_PATH=/usr/include/xenomai/analogy/:$C_INCLUDE_PATH")
# 3) You may need to link with pre-built libraries, using the -l option
# (e.g. -l /usr/lib/libanalogy.a,/usr/lib/librtdm.a)
# 4) You may need to change the runtime (add -p flag to select PolyORB-HI-C)
# etc.
# Note: TASTE will not overwrite your changes - if you need to update some parts
# you will have to merge the changes with the newly-created file.
taste-update-data-view || exit 1
if [ -z "$DEPLOYMENTVIEW" ]
then
DEPLOYMENTVIEW=DeploymentView.aadl
fi
SKELS="./"
cd "$SKELS"
rm -f f1.zip
zip f1 f1/*
rm -f f2.zip
zip f2 f2/*
rm -f f3.zip
zip f3 f3/*
cd "$OLDPWD"
[ ! -z "$CLEANUP" ] && rm -rf binary
if [ -f ConcurrencyView.pro ]
then
ORCHESTRATOR_OPTIONS+=" -w ConcurrencyView.pro "
fi
if [ ! -z "$USE_POHIC" ]
then
OUTPUTDIR=binary.c
ORCHESTRATOR_OPTIONS+=" -p "
elif [ ! -z "$USE_POHIADA" ]
then
OUTPUTDIR=binary.ada
else
OUTPUTDIR=binary
fi
assert-builder-ocarina.py \
--fast \
--debug \
--aadlv2 \
--keep-case \
--interfaceView InterfaceView.aadl \
--deploymentView "$DEPLOYMENTVIEW" \
-o "$OUTPUTDIR" \
--subAda f1:"$SKELS"/f1.zip \
--subAda f2:"$SKELS"/f2.zip \
--subAda f3:"$SKELS"/f3.zip \
$ORCHESTRATOR_OPTIONS
Demo_TwoCallers/f1/DataView.pr deleted 100644 → 0
View file @ a89dc0ed
Datamodel DEFINITIONS ::= BEGIN
-- ./dataview-uniq.asn
T_Int32 ::= INTEGER (-2147483648 .. 2147483647)
-- ./dataview-uniq.asn
T_UInt32 ::= INTEGER (0 .. 4294967295)
-- ./dataview-uniq.asn
T_Int8 ::= INTEGER (-128 .. 127)
-- ./dataview-uniq.asn
T_UInt8 ::= INTEGER (0 .. 255)
-- ./dataview-uniq.asn
T_Boolean ::= BOOLEAN
-- ./dataview-uniq.asn
MyInteger ::= T_UInt8
-- ./dataview-uniq.asn
MySeq ::= SEQUENCE {
a MyInteger,
b MySeq_b
}
-- ./dataview-uniq.asn
MySeq_b ::= ENUMERATED {
f1(0),
f2(1),
f4(2)
}
END
Demo_TwoCallers/f1/DataView.py deleted 100644 → 0
View file @ a89dc0ed
#!/usr/bin/env python
# ASN.1 Data model
asn1Files = []
asn1Modules = []
exportedTypes = {}
exportedVariables = {}
importedModules = {}
types = {}
variables = {}
asn1Files.append("./dataview-uniq.asn")
asn1Modules.append("TASTE-BasicTypes")
exportedTypes["TASTE-BasicTypes"] = ["T-Int32", "T-UInt32", "T-Int8", "T-UInt8", "T-Boolean"]
exportedVariables["TASTE-BasicTypes"] = []
importedModules["TASTE-BasicTypes"] = []
types["T-Int32"] = type("T-Int32", (object,), {
"Line": 6, "CharPositionInLine": 0, "type": type("T-Int32_type", (object,), {
"Line": 6, "CharPositionInLine": 13, "kind": "IntegerType", "Min": "-2147483648", "Max": "2147483647"
})
})
types["T-UInt32"] = type("T-UInt32", (object,), {
"Line": 8, "CharPositionInLine": 0, "type": type("T-UInt32_type", (object,), {
"Line": 8, "CharPositionInLine": 13, "kind": "IntegerType", "Min": "0", "Max": "4294967295"
})
})
types["T-Int8"] = type("T-Int8", (object,), {
"Line": 10, "CharPositionInLine": 0, "type": type("T-Int8_type", (object,), {
"Line": 10, "CharPositionInLine": 11, "kind": "IntegerType", "Min": "-128", "Max": "127"
})
})
types["T-UInt8"] = type("T-UInt8", (object,), {
"Line": 12, "CharPositionInLine": 0, "type": type("T-UInt8_type", (object,), {
"Line": 12, "CharPositionInLine": 12, "kind": "IntegerType", "Min": "0", "Max": "255"
})
})
types["T-Boolean"] = type("T-Boolean", (object,), {
"Line": 14, "CharPositionInLine": 0, "type": type("T-Boolean_type", (object,), {
"Line": 14, "CharPositionInLine": 14, "kind": "BooleanType"
})
})
asn1Modules.append("TASTE-Dataview")
exportedTypes["TASTE-Dataview"] = ["MyInteger", "MySeq", "MySeq-b", "T-Int32", "T-UInt32", "T-Int8", "T-UInt8", "T-Boolean"]
exportedVariables["TASTE-Dataview"] = []
importedModules["TASTE-Dataview"] = [{"TASTE-BasicTypes":{"ImportedTypes": ["T-Int32","T-UInt32","T-Int8","T-UInt8","T-Boolean"], "ImportedVariables": []}}]
types["MyInteger"] = type("MyInteger", (object,), {
"Line": 23, "CharPositionInLine": 0, "type": type("MyInteger_type", (object,), {
"Line": 23, "CharPositionInLine": 16, "kind": "ReferenceType", "ReferencedTypeName": "T-UInt8", "Min": "0", "Max": "255", "ReferencedModName": "TASTE-BasicTypes"
})
})
types["MySeq"] = type("MySeq", (object,), {
"Line": 26, "CharPositionInLine": 0, "type": type("MySeq_type", (object,), {
"Line": 26, "CharPositionInLine": 14, "kind": "SequenceType", "Children": {
"a": type("a", (object,), {
"Optional": "False", "Line": 27, "CharPositionInLine": 6, "type": type("a_type", (object,), {
"Line": 27, "CharPositionInLine": 8, "kind": "ReferenceType", "ReferencedTypeName": "MyInteger", "Min": "0", "Max": "255"
})
}),
"b": type("b", (object,), {
"Optional": "False", "Line": 28, "CharPositionInLine": 6, "type": type("b_type", (object,), {
"Line": 0, "CharPositionInLine": 0, "kind": "ReferenceType", "ReferencedTypeName": "MySeq-b"
})
})
}
})
})
types["MySeq-b"] = type("MySeq-b", (object,), {
"Line": 0, "CharPositionInLine": 0, "type": type("MySeq-b_type", (object,), {
"Line": 28, "CharPositionInLine": 8, "kind": "EnumeratedType", "Extensible": "False", "ValuesAutoCalculated": "False", "EnumValues": {
"f1": type("f1", (object,), {
"IntValue": 0, "Line": 28, "CharPositionInLine": 21, "EnumID": "f1"
}),
"f2": type("f2", (object,), {
"IntValue": 1, "Line": 28, "CharPositionInLine": 25, "EnumID": "f2"
}),
"f4": type("f4", (object,), {
"IntValue": 2, "Line": 28, "CharPositionInLine": 29, "EnumID": "f4"
})
}
})
})
Demo_TwoCallers/f1/f1.adb deleted 100644 → 0
View file @ a89dc0ed
-- This file was generated automatically: DO NOT MODIFY IT !
with System.IO;
use System.IO;
with Ada.Unchecked_Conversion;
with Ada.Numerics.Generic_Elementary_Functions;
with TASTE_BasicTypes;
use TASTE_BasicTypes;
with TASTE_Dataview;
use TASTE_Dataview;
with adaasn1rtl;
use adaasn1rtl;
with Interfaces;
use Interfaces;
package body f1 is
type States is (wait);
type ctxt_Ty is
record
state : States;
p : aliased asn1SccMySeq := asn1SccMySeq'( a => 1, b => asn1Sccf1);
end record;
ctxt: ctxt_Ty;
procedure runTransition(Id: Integer);
procedure pulse is
begin
case ctxt.state is
when wait =>
runTransition(1);
when others =>
null;
end case;
end pulse;
procedure runTransition(Id: Integer) is
trId : Integer := Id;
begin
while (trId /= -1) loop
case trId is
when 0 =>
-- NEXT_STATE Wait (9,18) at 446, 138
trId := -1;
ctxt.state := Wait;
goto next_transition;
when 1 =>
-- AA(p) (15,19)
AA(ctxt.p'access);
-- writeln('F1 Calls with', p!a) (17,17)
Put("F1 Calls with");
Put(Asn1Int'Image(ctxt.p.a));
New_Line;
-- p!a := (p!a + 1) mod 255 (19,17)
ctxt.p.a := ((ctxt.p.a + 1) mod 255);
-- NEXT_STATE - (21,22) at 447, 393
trId := -1;
goto next_transition;
when others =>
null;
end case;
<<next_transition>>
null;
end loop;
end runTransition;
begin
runTransition(0);
end f1;
\ No newline at end of file
Demo_TwoCallers/f1/f1.ads deleted 100644 → 0
View file @ a89dc0ed
-- This file was generated automatically: DO NOT MODIFY IT !
with TASTE_BasicTypes;
use TASTE_BasicTypes;
with TASTE_Dataview;
use TASTE_Dataview;
with adaasn1rtl;
use adaasn1rtl;
package f1 is
-- Provided interface "pulse"
procedure pulse;
pragma export(C, pulse, "f1_pulse");
-- Required interface "AA"
procedure AA(p: access asn1SccMySeq);
pragma import(C, AA, "f1_RI_AA");
end f1;
\ No newline at end of file
Demo_TwoCallers/f1/iv.py deleted 100644 → 0
View file @ a89dc0ed
#! /usr/bin/python
Ada, C, GUI, SIMULINK, VHDL, OG, RTDS, SYSTEM_C, SCADE6 = range(9)
thread, passive, unknown = range(3)
PI, RI = range(2)
synch, asynch = range(2)
param_in, param_out = range(2)
UPER, NATIVE, ACN = range(3)
cyclic, sporadic, variator, protected, unprotected = range(5)
enumerated, sequenceof, sequence, set, setof, integer, boolean, real, choice, octetstring, string = range(11)
functions = {}
functions['f1'] = {
'name_with_case' : 'F1',
'runtime_nature': thread,
'language': OG,
'zipfile': '',
'interfaces': {},
'functional_states' : {}
}
functions['f1']['interfaces']['pulse'] = {
'port_name': 'pulse',
'parent_fv': 'f1',
'direction': PI,
'in': {},
'out': {},
'synchronism': asynch,
'rcm': cyclic,
'period': 1000,
'wcet_low': 0,
'wcet_low_unit': 'ms',
'wcet_high': 0,
'wcet_high_unit': 'ms',
'distant_fv': '',
'calling_threads': {},
'distant_name': '',
'queue_size': 1
}
functions['f1']['interfaces']['pulse']['paramsInOrdered'] = []
functions['f1']['interfaces']['pulse']['paramsOutOrdered'] = []
functions['f1']['interfaces']['AA'] = {
'port_name': 'AA',
'parent_fv': 'f1',
'direction': RI,
'in': {},
'out': {},
'synchronism': asynch,
'rcm': sporadic,
'period': 0,
'wcet_low': 0,
'wcet_low_unit': '',
'wcet_high': 0,
'wcet_high_unit': '',
'distant_fv': 'f3',
'calling_threads': {},
'distant_name': 'AA',
'queue_size': 1
}
functions['f1']['interfaces']['AA']['paramsInOrdered'] = ['p']
functions['f1']['interfaces']['AA']['paramsOutOrdered'] = []
functions['f1']['interfaces']['AA']['in']['p'] = {
'type': 'MySeq',
'asn1_module': 'taste_dataview',
'basic_type': sequence,
'asn1_filename': './dataview-uniq.asn',
'encoding': NATIVE,
'interface': 'AA',
'param_direction': param_in
}
functions['f2'] = {
'name_with_case' : 'F2',
'runtime_nature': thread,
'language': OG,
'zipfile': '',
'interfaces': {},
'functional_states' : {}
}
functions['f2']['interfaces']['pulse'] = {
'port_name': 'pulse',
'parent_fv': 'f2',
'direction': PI,
'in': {},
'out': {},
'synchronism': asynch,
'rcm': cyclic,
'period': 1000,
'wcet_low': 0,
'wcet_low_unit': 'ms',
'wcet_high': 0,
'wcet_high_unit': 'ms',
'distant_fv': '',
'calling_threads': {},
'distant_name': '',
'queue_size': 1
}
functions['f2']['interfaces']['pulse']['paramsInOrdered'] = []
functions['f2']['interfaces']['pulse']['paramsOutOrdered'] = []
functions['f2']['interfaces']['AA'] = {
'port_name': 'AA',
'parent_fv': 'f2',
'direction': RI,
'in': {},
'out': {},
'synchronism': asynch,
'rcm': sporadic,
'period': 0,
'wcet_low': 0,
'wcet_low_unit': '',
'wcet_high': 0,
'wcet_high_unit': '',
'distant_fv': 'f3',
'calling_threads': {},
'distant_name': 'AA',
'queue_size': 1
}
functions['f2']['interfaces']['AA']['paramsInOrdered'] = ['p']
functions['f2']['interfaces']['AA']['paramsOutOrdered'] = []
functions['f2']['interfaces']['AA']['in']['p'] = {
'type': 'MySeq',
'asn1_module': 'taste_dataview',
'basic_type': sequence,
'asn1_filename': './dataview-uniq.asn',
'encoding': NATIVE,
'interface': 'AA',
'param_direction': param_in
}
functions['f3'] = {
'name_with_case' : 'F3',
'runtime_nature': thread,
'language': OG,
'zipfile': '',
'interfaces': {},
'functional_states' : {}
}
functions['f3']['interfaces']['AA'] = {
'port_name': 'AA',
'parent_fv': 'f3',
'direction': PI,
'in': {},
'out': {},
'synchronism': asynch,
'rcm': sporadic,
'period': 0,
'wcet_low': 0,
'wcet_low_unit': 'ms',
'wcet_high': 0,
'wcet_high_unit': 'ms',
'distant_fv': '',
'calling_threads': {},
'distant_name': '',
'queue_size': 2
}
functions['f3']['interfaces']['AA']['paramsInOrdered'] = ['p']
functions['f3']['interfaces']['AA']['paramsOutOrdered'] = []
functions['f3']['interfaces']['AA']['in']['p'] = {
'type': 'MySeq',
'asn1_module': 'taste_dataview',
'basic_type': sequence,
'asn1_filename': './dataview-uniq.asn',
'encoding': NATIVE,
'interface': 'AA',
'param_direction': param_in
}
functions['f3']['interfaces']['BB'] = {
'port_name': 'BB',
'parent_fv': 'f3',
'direction': PI,
'in': {},
'out': {},
'synchronism': asynch,
'rcm': variator,
'period': 0,
'wcet_low': 0,
'wcet_low_unit': 'ms',
'wcet_high': 0,
'wcet_high_unit': 'ms',
'distant_fv': '',
'calling_threads': {},
'distant_name': '',
'queue_size': 1
}
functions['f3']['interfaces']['BB']['paramsInOrdered'] = ['pp']
functions['f3']['interfaces']['BB']['paramsOutOrdered'] = []
functions['f3']['interfaces']['BB']['in']['pp'] = {
'type': 'MySeq',
'asn1_module': 'taste_dataview',
'basic_type': sequence,
'asn1_filename': './dataview-uniq.asn',
'encoding': UPER,
'interface': 'BB',
'param_direction': param_in
}
functions['f4'] = {
'name_with_case' : 'F4',
'runtime_nature': thread,
'language': OG,
'zipfile': '',
'interfaces': {},
'functional_states' : {}
}
functions['f4']['interfaces']['pulse'] = {
'port_name': 'pulse',
'parent_fv': 'f4',
'direction': PI,
'in': {},
'out': {},
'synchronism': asynch,
'rcm': cyclic,
'period': 2000,
'wcet_low': 0,
'wcet_low_unit': 'ms',
'wcet_high': 0,
'wcet_high_unit': 'ms',
'distant_fv': '',
'calling_threads': {},
'distant_name': '',
'queue_size': 1
}
functions['f4']['interfaces']['pulse']['paramsInOrdered'] = []
functions['f4']['interfaces']['pulse']['paramsOutOrdered'] = []
functions['f4']['interfaces']['BB'] = {
'port_name': 'BB',
'parent_fv': 'f4',
'direction': RI,
'in': {},
'out': {},
'synchronism': asynch,
'rcm': sporadic,
'period': 0,
'wcet_low': 0,
'wcet_low_unit': '',
'wcet_high': 0,
'wcet_high_unit': '',
'distant_fv': 'f3',
'calling_threads': {},
'distant_name': 'BB',
'queue_size': 1
}
functions['f4']['interfaces']['BB']['paramsInOrdered'] = ['pp']
functions['f4']['interfaces']['BB']['paramsOutOrdered'] = []
functions['f4']['interfaces']['BB']['in']['pp'] = {
'type': 'MySeq',
'asn1_module': 'taste_dataview',
'basic_type': sequence,
'asn1_filename': './dataview-uniq.asn',
'encoding': UPER,
'interface': 'BB',
'param_direction': param_in
}
Demo_TwoCallers/f2/DataView.pr deleted 100644 → 0
View file @ a89dc0ed
Datamodel DEFINITIONS ::= BEGIN
-- ./dataview-uniq.asn
T_Int32 ::= INTEGER (-2147483648 .. 2147483647)
-- ./dataview-uniq.asn
T_UInt32 ::= INTEGER (0 .. 4294967295)
-- ./dataview-uniq.asn
T_Int8 ::= INTEGER (-128 .. 127)
-- ./dataview-uniq.asn
T_UInt8 ::= INTEGER (0 .. 255)
-- ./dataview-uniq.asn
T_Boolean ::= BOOLEAN
-- ./dataview-uniq.asn
MyInteger ::= T_UInt8
-- ./dataview-uniq.asn
MySeq ::= SEQUENCE {
a MyInteger,
b MySeq_b
}
-- ./dataview-uniq.asn
MySeq_b ::= ENUMERATED {
f1(0),
f2(1),
f4(2)
}
END
Demo_TwoCallers/f2/DataView.py deleted 100644 → 0
View file @ a89dc0ed
#!/usr/bin/env python
# ASN.1 Data model
asn1Files = []
asn1Modules = []
exportedTypes = {}
exportedVariables = {}
importedModules = {}
types = {}
variables = {}
asn1Files.append("./dataview-uniq.asn")
asn1Modules.append("TASTE-BasicTypes")
exportedTypes["TASTE-BasicTypes"] = ["T-Int32", "T-UInt32", "T-Int8", "T-UInt8", "T-Boolean"]
exportedVariables["TASTE-BasicTypes"] = []
importedModules["TASTE-BasicTypes"] = []
types["T-Int32"] = type("T-Int32", (object,), {
"Line": 6, "CharPositionInLine": 0, "type": type("T-Int32_type", (object,), {
"Line": 6, "CharPositionInLine": 13, "kind": "IntegerType", "Min": "-2147483648", "Max": "2147483647"
})
})
types["T-UInt32"] = type("T-UInt32", (object,), {
"Line": 8, "CharPositionInLine": 0, "type": type("T-UInt32_type", (object,), {
"Line": 8, "CharPositionInLine": 13, "kind": "IntegerType", "Min": "0", "Max": "4294967295"
})
})
types["T-Int8"] = type("T-Int8", (object,), {
"Line": 10, "CharPositionInLine": 0, "type": type("T-Int8_type", (object,), {
"Line": 10, "CharPositionInLine": 11, "kind": "IntegerType", "Min": "-128", "Max": "127"
})