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
taste-setup
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
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Operations
Operations
Incidents
Environments
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
TASTE
taste-setup
Commits
33e6fa06
Commit
33e6fa06
authored
Jul 03, 2017
by
Maxime Perrotin
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Add MSC handler scripts
parent
2760fd3b
Changes
3
Hide whitespace changes
Inline
Side-by-side
Showing
3 changed files
with
79 additions
and
2 deletions
+79
-2
misc/helper-scripts/taste-create-msc
misc/helper-scripts/taste-create-msc
+46
-0
misc/helper-scripts/taste-edit-msc
misc/helper-scripts/taste-edit-msc
+31
-0
misc/helper-scripts/taste-generate-skeletons
misc/helper-scripts/taste-generate-skeletons
+2
-2
No files found.
misc/helper-scripts/taste-create-msc
0 → 100755
View file @
33e6fa06
#!/bin/bash -e
# TASTE MSC Editor
# Create a new MSC file for a given Provided interface of a function
if
[
-t
0
]
;
then
COLORON
=
"
\e
[1m
\e
[32m"
REDCOLORON
=
"
\e
[1m
\e
[31m"
COLOROFF
=
"
\e
[0m"
else
COLORON
=
""
REDCOLORON
=
""
COLOROFF
=
""
fi
INFO
=
"
${
COLORON
}
[INFO]
${
COLOROFF
}
"
ERROR
=
"
${
REDCOLORON
}
[ERROR]
${
COLOROFF
}
"
FUNC_NAME
=
$1
shift
PI_NAME
=
$1
shift
MSC_FILENAME
=
$1
shift
echo
-e
"
${
INFO
}
Creating new MSC..."
echo
-e
"
${
INFO
}
Function:
${
FUNC_NAME
}
PI:
${
PI_NAME
}
Output:
${
MSC_FILENAME
}
"
EDITOR
=
taste-msc-editor
echo
'msc testcase;
end testcase;
'
>
$MSC_FILENAME
if
[
-z
$NONINTERACTIVE
]
then
$EDITOR
$MSC_FILENAME
fi
if
[
-z
$NONINTERACTIVE
]
then
echo
-e
"
${
INFO
}
MSC created"
echo
-e
"
${
INFO
}
Run taste-edit-msc
${
MSC_FILENAME
}
to edit"
fi
misc/helper-scripts/taste-edit-msc
0 → 100755
View file @
33e6fa06
#!/bin/bash -e
# TASTE MSC Editor
# Edit a MSC file
if
[
-t
0
]
;
then
COLORON
=
"
\e
[1m
\e
[32m"
REDCOLORON
=
"
\e
[1m
\e
[31m"
COLOROFF
=
"
\e
[0m"
else
COLORON
=
""
REDCOLORON
=
""
COLOROFF
=
""
fi
INFO
=
"
${
COLORON
}
[INFO]
${
COLOROFF
}
"
ERROR
=
"
${
REDCOLORON
}
[ERROR]
${
COLOROFF
}
"
MSC_FILENAME
=
$1
echo
-e
"
${
INFO
}
Opening MSC Editor..."
echo
-e
"
${
INFO
}
Filename:
${
MSC_FILENAME
}
"
EDITOR
=
taste-msc-editor
if
[
-z
$NONINTERACTIVE
]
then
$EDITOR
$MSC_FILENAME
fi
misc/helper-scripts/taste-generate-skeletons
View file @
33e6fa06
...
...
@@ -10,9 +10,9 @@ if [ ! -f "$1" ]
then
if
[
-f
InterfaceView.aadl
]
then
INTERFACEVIEW
=
InterfaceView.aadl
INTERFACEVIEW
=
InterfaceView.aadl
else
echo
'Error: interface view not found
echo
'Error: interface view not found
Usage: [FORCE=1] taste-generate-skeletons [InterfaceView.aadl] [output-directory]'
exit
-1
fi
...
...
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