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
O
Ocarina
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
2
Issues
2
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
Ocarina
Commits
12bcf76e
Commit
12bcf76e
authored
Mar 22, 2013
by
yoogx
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
* Test case for issue #10
parent
d1c0a477
Changes
4
Hide whitespace changes
Inline
Side-by-side
Showing
4 changed files
with
61 additions
and
0 deletions
+61
-0
tests/MANIFEST
tests/MANIFEST
+1
-0
tests/github/issue_10/MANIFEST
tests/github/issue_10/MANIFEST
+2
-0
tests/github/issue_10/test.aadl
tests/github/issue_10/test.aadl
+53
-0
tests/github/issue_10/test.aadl.out
tests/github/issue_10/test.aadl.out
+5
-0
No files found.
tests/MANIFEST
View file @
12bcf76e
...
...
@@ -283,3 +283,4 @@ tests/example_04_05_1/t.aadl
tests/github/issue_1/test.aadl
tests/github/issue_6/test_spg.aadl
tests/github/issue_7/test.aadl
tests/github/issue_10/test.aadl
tests/github/issue_10/MANIFEST
0 → 100644
View file @
12bcf76e
AADL_VERSION=-aadlv2
OCARINA_FLAGS= -f -g petri_nets
tests/github/issue_10/test.aadl
0 → 100644
View file @
12bcf76e
package
vehicle
public
data
on_off
end
on_off
;
process
control
features
command_data
:
out
data
port
on_off
;
engage
:
out
data
port
on_off
;
disengage
:
out
data
port
on_off
;
end
control
;
process
implementation
control
.
standard
end
control
.
standard
;
------------------------------------------------------------------------------------------
feature
group
vehicle_cmd_in
features
speed_command
:
out
data
port
on_off
;
position_command
:
out
data
port
on_off
;
airbag_command
:
out
data
port
on_off
;
direction_command
:
out
data
port
on_off
;
end
vehicle_cmd_in
;
system
vehicle
features
vehicle_cmd_input
:
feature
group
vehicle_cmd_in
;
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
;
\ No newline at end of file
tests/github/issue_10/test.aadl.out
0 → 100644
View file @
12bcf76e
------------------------------------------
------ Ocarina Petri Nets Generator ------
------------------------------------------
Backends: fatal error : Petri Net backend : incomplete AADL model
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