Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
be277956
Commit
be277956
authored
Mar 22, 2013
by
yoogx
Browse files
* Add second test case for issue #10
parent
12bcf76e
Changes
3
Hide whitespace changes
Inline
Side-by-side
tests/MANIFEST
View file @
be277956
...
@@ -284,3 +284,4 @@ tests/github/issue_1/test.aadl
...
@@ -284,3 +284,4 @@ tests/github/issue_1/test.aadl
tests/github/issue_6/test_spg.aadl
tests/github/issue_6/test_spg.aadl
tests/github/issue_7/test.aadl
tests/github/issue_7/test.aadl
tests/github/issue_10/test.aadl
tests/github/issue_10/test.aadl
tests/github/issue_10/test2.aadl
tests/github/issue_10/test2.aadl
0 → 100644
View file @
be277956
package
vehicle
public
data
on_off
end
on_off
;
------------------------------------------------------------------------------------------
subprogram
vehicle_subprogram
features
input
:
in
parameter
on_off
;
output
:
out
parameter
on_off
;
end
vehicle_subprogram
;
subprogram
implementation
vehicle_subprogram
.
impl
properties
Compute_Execution_Time
=>
1
Us
..
1
Us
;
end
vehicle_subprogram
.
impl
;
------------------------------------------------------------------------------------------
thread
computation
features
input
:
in
event
data
port
on_off
;
output
:
out
event
data
port
on_off
;
end
computation
;
thread
implementation
computation
.
standard
calls
Main
:
{
computation
:
subprogram
vehicle_subprogram
.
impl
;
};
connections
parameter
input
->
computation
.
input
;
parameter
computation
.
output
->
output
;
properties
Dispatch_Protocol
=>
Periodic
;
Period
=>
10
Ms
;
Compute_Execution_Time
=>
1
Us
..
1
Us
;
end
computation
.
standard
;
------------------------------------------------------------------------------------------
process
control
features
command_data
:
out
event
data
port
on_off
;
engage
:
out
event
data
port
on_off
;
disengage
:
out
event
data
port
on_off
;
end
control
;
process
implementation
control
.
standard
subcomponents
computation
:
thread
computation
.
standard
;
end
control
.
standard
;
------------------------------------------------------------------------------------------
feature
group
vehicle_cmd_out
features
speed_command
:
in
data
port
on_off
;
position_command
:
in
data
port
on_off
;
airbag_command
:
in
data
port
on_off
;
direction_command
:
in
data
port
on_off
;
end
vehicle_cmd_out
;
system
vehicle
features
vehicle_cmd_input
:
feature
group
vehicle_cmd_out
;
end
vehicle
;
system
implementation
vehicle
.
standard
subcomponents
speed_controller
:
process
control
.
standard
;
position_controller
:
process
control
.
standard
;
airbag_controller
:
process
control
.
standard
;
direction_controller
:
process
control
.
standard
;
connections
event_distribution1
:
port
vehicle_cmd_input
.
speed_command
->
speed_controller
.
command_data
;
event_distribution2
:
port
vehicle_cmd_input
.
position_command
->
position_controller
.
command_data
;
event_distribution3
:
port
vehicle_cmd_input
.
airbag_command
->
airbag_controller
.
command_data
;
event_distribution4
:
port
vehicle_cmd_input
.
direction_command
->
direction_controller
.
command_data
;
end
vehicle
.
standard
;
system
root
end
root
;
system
implementation
root
.
impl
subcomponents
vehicle
:
system
vehicle
.
standard
;
end
root
.
impl
;
end
vehicle
;
tests/github/issue_10/test2.aadl.out
0 → 100644
View file @
be277956
test2.aadl:24:09 Backends: fatal error : This IN port is not connected to any destination
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