Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
monticore
EmbeddedMontiArc
generators
visualisation
Commits
00675b17
Commit
00675b17
authored
Dec 03, 2017
by
Manuel Schrick
Browse files
updated BumperBot and BumperBotEmergency layouts
parent
109d39d0
Changes
48
Hide whitespace changes
Inline
Side-by-side
svg/BumperBot/testManuelSchrick.bumperBot.actuators.html
View file @
00675b17
...
...
@@ -3,9 +3,45 @@
<header>
<title>
testManuelSchrick.bumperBot.actuators
</title>
<meta
name=
"viewport"
content=
"width=device-width"
>
<script
type=
"text/javascript"
>
function
openFileInEditor
(
filePath
)
{
var
parent
=
window
.
parent
;
while
(
parent
.
parent
!=
null
&&
parent
.
api
==
null
)
{
parent
=
parent
.
parent
;
}
if
(
parent
.
api
==
null
)
{
return
;
}
var
api
=
window
.
parent
.
api
;
var
tabManager
=
api
.
tabManager
;
function
onOpenFile
(
error
,
tab
)
{
if
(
error
)
console
.
error
(
error
);
}
tabManager
.
openFile
(
filePath
,
true
,
onOpenFile
);
}
</script>
</header>
<body
link=
"black"
vlink=
"black"
>
<!-- Detail switches -->
<div>
<form
style=
"margin-left: 40px;"
>
<label>
Detailtiefe:
<select
onchange=
"if (this.value) window.location.href=this.value"
>
<option
value=
"testManuelSchrick.bumperBot.actuators.html"
selected
>
Standard
</option>
<option
value=
"testManuelSchrick.bumperBot.actuators_no_port_names.html"
>
Ohne Port-Namen
</option>
<option
value=
"testManuelSchrick.bumperBot.actuators_simplified.html"
>
Stark vereinfacht
</option>
</select>
</label>
</form>
</div>
<!-- Bread crumb navigation -->
<br>
<br>
...
...
svg/BumperBot/testManuelSchrick.bumperBot.actuators.svg
View file @
00675b17
...
...
@@ -5,7 +5,7 @@
<g
transform=
"translate(40 40)"
>
<rect
id=
"4
1
"
id=
"4
97
"
width=
"400"
height=
"320"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
/>
...
...
@@ -26,7 +26,7 @@
<g
transform=
"translate(120 80)"
>
<rect
data-name=
"testManuelSchrick.bumperBot.actuators.leftMotor"
id=
"4
3
"
id=
"4
99
"
width=
"200"
height=
"80"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
...
...
@@ -47,7 +47,7 @@
<g
transform=
"translate(120 200)"
>
<rect
data-name=
"testManuelSchrick.bumperBot.actuators.rightMotor"
id=
"
44
"
id=
"
500
"
width=
"200"
height=
"80"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
...
...
svg/BumperBot/testManuelSchrick.bumperBot.actuators_no_port_names.html
0 → 100644
View file @
00675b17
<!DOCTYPE html>
<html>
<header>
<title>
testManuelSchrick.bumperBot.actuators
</title>
<meta
name=
"viewport"
content=
"width=device-width"
>
<script
type=
"text/javascript"
>
function
openFileInEditor
(
filePath
)
{
var
parent
=
window
.
parent
;
while
(
parent
.
parent
!=
null
&&
parent
.
api
==
null
)
{
parent
=
parent
.
parent
;
}
if
(
parent
.
api
==
null
)
{
return
;
}
var
api
=
window
.
parent
.
api
;
var
tabManager
=
api
.
tabManager
;
function
onOpenFile
(
error
,
tab
)
{
if
(
error
)
console
.
error
(
error
);
}
tabManager
.
openFile
(
filePath
,
true
,
onOpenFile
);
}
</script>
</header>
<body
link=
"black"
vlink=
"black"
>
<!-- Detail switches -->
<div>
<form
style=
"margin-left: 40px;"
>
<label>
Detailtiefe:
<select
onchange=
"if (this.value) window.location.href=this.value"
>
<option
value=
"testManuelSchrick.bumperBot.actuators.html"
>
Standard
</option>
<option
value=
"testManuelSchrick.bumperBot.actuators_no_port_names.html"
selected
>
Ohne Port-Namen
</option>
<option
value=
"testManuelSchrick.bumperBot.actuators_simplified.html"
>
Stark vereinfacht
</option>
</select>
</label>
</form>
</div>
<!-- Bread crumb navigation -->
<br>
<br>
<table>
<tr>
<td
style=
"min-width: 80px;"
/>
<td>
<a
href=
"testManuelSchrick.bumperBot_no_port_names.html"
>
<b><big>
bumperBot
</big></b>
</a>
→
</td>
<td>
<b><big>
actuators
</big></b>
</td>
</tr>
</table>
<!-- HTML Object to display an external SVG-File -->
<object
data=
"testManuelSchrick.bumperBot.actuators_no_port_names.svg"
type=
"image/svg+xml"
id=
"svg"
width=
"560"
height=
"480"
>
</object>
</body>
</html>
svg/BumperBot/testManuelSchrick.bumperBot.actuators_no_port_names.svg
0 → 100644
View file @
00675b17
<svg
width=
"100%"
height=
"100%"
xmlns=
"http://www.w3.org/2000/svg"
version=
"1.1"
xmlns:xlink=
"http://www.w3.org/1999/xlink"
>
<svg
xmlns=
"http://www.w3.org/2000/svg"
version=
"1.1"
>
<!-- Canvas: actuators -->
<g
transform=
"translate(40 40)"
>
<rect
id=
"497"
width=
"400"
height=
"320"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
/>
<text
x=
"10"
y=
"25"
style=
"font-weight: bold"
font-family=
"Verdana"
font-size=
"16"
fill=
"black"
>
actuators
</text>
</g>
</svg>
<!-- Component: leftMotor -->
<g
transform=
"translate(120 80)"
>
<rect
data-name=
"testManuelSchrick.bumperBot.actuators.leftMotor"
id=
"499"
width=
"200"
height=
"80"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
onmouseout=
"this.style.stroke = '#000000'; this.style['stroke-width'] = 2; this.style.cursor='default';"
/>
<text
x=
"10"
y=
"17"
alignment-baseline=
"middle"
style=
"font-weight: bold"
font-family=
"Verdana"
font-size=
"14"
fill=
"black"
>
leftMotor
</text>
</g>
<!-- Component: rightMotor -->
<g
transform=
"translate(120 200)"
>
<rect
data-name=
"testManuelSchrick.bumperBot.actuators.rightMotor"
id=
"500"
width=
"200"
height=
"80"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
onmouseout=
"this.style.stroke = '#000000'; this.style['stroke-width'] = 2; this.style.cursor='default';"
/>
<text
x=
"10"
y=
"17"
alignment-baseline=
"middle"
style=
"font-weight: bold"
font-family=
"Verdana"
font-size=
"14"
fill=
"black"
>
rightMotor
</text>
</g><defs>
<marker
id=
"0,0,0"
markerWidth=
"13"
markerHeight=
"13"
refX=
"5"
refY=
"5"
orient=
"auto"
>
<polyline
points=
"0,2 5,5 0,8"
style=
"fill:none; stroke:rgb(0,0,0);
stroke-width:1"
/>
</marker>
</defs><line
stroke-linecap=
"square"
x1=
"40"
y1=
"240"
x2=
"110"
y2=
"240"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
"
/>
<line
stroke-linecap=
"square"
x1=
"40"
y1=
"120"
x2=
"110"
y2=
"120"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
"
/>
<defs>
<!-- Small box indicating a port -->
<rect
id=
"port"
x=
"0"
y=
"0"
width=
"20"
height=
"20"
style=
"fill:white;stroke:rgb(0,0,0);stroke-width:1;fill-opacity:1.0;stroke-opacity:1.0"
/>
</defs><use
x=
"30"
y=
"230"
xlink:href=
"#port"
/>
<text
text-anchor=
"end"
alignment-baseline=
"middle"
x=
"26"
y=
"240"
transform=
"rotate(0,26,240)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
</text>
<use
x=
"30"
y=
"110"
xlink:href=
"#port"
/>
<text
text-anchor=
"end"
alignment-baseline=
"middle"
x=
"26"
y=
"120"
transform=
"rotate(0,26,120)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
</text>
<use
x=
"110"
y=
"110"
xlink:href=
"#port"
/>
<text
text-anchor=
"start"
alignment-baseline=
"middle"
x=
"132"
y=
"120"
transform=
"rotate(0,132,120)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
</text>
<use
x=
"110"
y=
"230"
xlink:href=
"#port"
/>
<text
text-anchor=
"start"
alignment-baseline=
"middle"
x=
"132"
y=
"240"
transform=
"rotate(0,132,240)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
</text>
</svg>
\ No newline at end of file
svg/BumperBot/testManuelSchrick.bumperBot.actuators_simplified.html
0 → 100644
View file @
00675b17
<!DOCTYPE html>
<html>
<header>
<title>
testManuelSchrick.bumperBot.actuators
</title>
<meta
name=
"viewport"
content=
"width=device-width"
>
<script
type=
"text/javascript"
>
function
openFileInEditor
(
filePath
)
{
var
parent
=
window
.
parent
;
while
(
parent
.
parent
!=
null
&&
parent
.
api
==
null
)
{
parent
=
parent
.
parent
;
}
if
(
parent
.
api
==
null
)
{
return
;
}
var
api
=
window
.
parent
.
api
;
var
tabManager
=
api
.
tabManager
;
function
onOpenFile
(
error
,
tab
)
{
if
(
error
)
console
.
error
(
error
);
}
tabManager
.
openFile
(
filePath
,
true
,
onOpenFile
);
}
</script>
</header>
<body
link=
"black"
vlink=
"black"
>
<!-- Detail switches -->
<div>
<form
style=
"margin-left: 40px;"
>
<label>
Detailtiefe:
<select
onchange=
"if (this.value) window.location.href=this.value"
>
<option
value=
"testManuelSchrick.bumperBot.actuators.html"
>
Standard
</option>
<option
value=
"testManuelSchrick.bumperBot.actuators_no_port_names.html"
>
Ohne Port-Namen
</option>
<option
value=
"testManuelSchrick.bumperBot.actuators_simplified.html"
selected
>
Stark vereinfacht
</option>
</select>
</label>
</form>
</div>
<!-- Bread crumb navigation -->
<br>
<br>
<table>
<tr>
<td
style=
"min-width: 80px;"
/>
<td>
<a
href=
"testManuelSchrick.bumperBot_simplified.html"
>
<b><big>
bumperBot
</big></b>
</a>
→
</td>
<td>
<b><big>
actuators
</big></b>
</td>
</tr>
</table>
<!-- HTML Object to display an external SVG-File -->
<object
data=
"testManuelSchrick.bumperBot.actuators_simplified.svg"
type=
"image/svg+xml"
id=
"svg"
width=
"560"
height=
"480"
>
</object>
</body>
</html>
svg/BumperBot/testManuelSchrick.bumperBot.actuators_simplified.svg
0 → 100644
View file @
00675b17
<svg
width=
"100%"
height=
"100%"
xmlns=
"http://www.w3.org/2000/svg"
version=
"1.1"
xmlns:xlink=
"http://www.w3.org/1999/xlink"
>
<svg
xmlns=
"http://www.w3.org/2000/svg"
version=
"1.1"
>
<!-- Canvas: actuators -->
<g
transform=
"translate(40 40)"
>
<rect
id=
"486"
width=
"400"
height=
"320"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
/>
<text
x=
"10"
y=
"25"
style=
"font-weight: bold"
font-family=
"Verdana"
font-size=
"16"
fill=
"black"
>
actuators
</text>
</g>
</svg>
<!-- Component: leftMotor -->
<g
transform=
"translate(120 80)"
>
<rect
data-name=
"testManuelSchrick.bumperBot.actuators.leftMotor"
id=
"488"
width=
"200"
height=
"80"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
onmouseout=
"this.style.stroke = '#000000'; this.style['stroke-width'] = 2; this.style.cursor='default';"
/>
<text
x=
"10"
y=
"17"
alignment-baseline=
"middle"
style=
"font-weight: bold"
font-family=
"Verdana"
font-size=
"14"
fill=
"black"
>
leftMotor
</text>
</g>
<!-- Component: rightMotor -->
<g
transform=
"translate(120 200)"
>
<rect
data-name=
"testManuelSchrick.bumperBot.actuators.rightMotor"
id=
"489"
width=
"200"
height=
"80"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
onmouseout=
"this.style.stroke = '#000000'; this.style['stroke-width'] = 2; this.style.cursor='default';"
/>
<text
x=
"10"
y=
"17"
alignment-baseline=
"middle"
style=
"font-weight: bold"
font-family=
"Verdana"
font-size=
"14"
fill=
"black"
>
rightMotor
</text>
</g><defs>
<marker
id=
"0,0,0"
markerWidth=
"13"
markerHeight=
"13"
refX=
"5"
refY=
"5"
orient=
"auto"
>
<polyline
points=
"0,2 5,5 0,8"
style=
"fill:none; stroke:rgb(0,0,0);
stroke-width:1"
/>
</marker>
</defs><line
stroke-linecap=
"square"
x1=
"40"
y1=
"240"
x2=
"110"
y2=
"240"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
"
/>
<line
stroke-linecap=
"square"
x1=
"110"
y1=
"240"
x2=
"120"
y2=
"240"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
"
/>
<line
stroke-linecap=
"square"
x1=
"40"
y1=
"120"
x2=
"110"
y2=
"120"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
"
/>
<line
stroke-linecap=
"square"
x1=
"110"
y1=
"120"
x2=
"120"
y2=
"120"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
"
/>
</svg>
\ No newline at end of file
svg/BumperBot/testManuelSchrick.bumperBot.controller.html
View file @
00675b17
...
...
@@ -3,9 +3,45 @@
<header>
<title>
testManuelSchrick.bumperBot.controller
</title>
<meta
name=
"viewport"
content=
"width=device-width"
>
<script
type=
"text/javascript"
>
function
openFileInEditor
(
filePath
)
{
var
parent
=
window
.
parent
;
while
(
parent
.
parent
!=
null
&&
parent
.
api
==
null
)
{
parent
=
parent
.
parent
;
}
if
(
parent
.
api
==
null
)
{
return
;
}
var
api
=
window
.
parent
.
api
;
var
tabManager
=
api
.
tabManager
;
function
onOpenFile
(
error
,
tab
)
{
if
(
error
)
console
.
error
(
error
);
}
tabManager
.
openFile
(
filePath
,
true
,
onOpenFile
);
}
</script>
</header>
<body
link=
"black"
vlink=
"black"
>
<!-- Detail switches -->
<div>
<form
style=
"margin-left: 40px;"
>
<label>
Detailtiefe:
<select
onchange=
"if (this.value) window.location.href=this.value"
>
<option
value=
"testManuelSchrick.bumperBot.controller.html"
selected
>
Standard
</option>
<option
value=
"testManuelSchrick.bumperBot.controller_no_port_names.html"
>
Ohne Port-Namen
</option>
<option
value=
"testManuelSchrick.bumperBot.controller_simplified.html"
>
Stark vereinfacht
</option>
</select>
</label>
</form>
</div>
<!-- Bread crumb navigation -->
<br>
<br>
...
...
@@ -30,7 +66,7 @@
type=
"image/svg+xml"
id=
"svg"
width=
"1020"
height=
"
72
0"
>
height=
"
84
0"
>
</object>
</body>
...
...
svg/BumperBot/testManuelSchrick.bumperBot.controller.svg
View file @
00675b17
...
...
@@ -5,9 +5,9 @@
<g
transform=
"translate(40 40)"
>
<rect
id=
"
22
"
id=
"
467
"
width=
"860"
height=
"
5
60"
height=
"6
8
0"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
/>
<text
...
...
@@ -26,9 +26,9 @@
<g
transform=
"translate(210 200)"
>
<rect
data-name=
"testManuelSchrick.bumperBot.controller.bumpControl"
id=
"
23
"
id=
"
468
"
width=
"200"
height=
"
32
0"
height=
"
44
0"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
onmouseout=
"this.style.stroke = '#000000'; this.style['stroke-width'] = 2; this.style.cursor='default';"
/>
...
...
@@ -44,10 +44,10 @@
bumpControl
</text>
</g>
<!-- Component: timer -->
<g
transform=
"translate(490 2
0
0)"
>
<g
transform=
"translate(490
3
20)"
>
<rect
data-name=
"testManuelSchrick.bumperBot.controller.timer"
id=
"
2
4"
id=
"4
69
"
width=
"200"
height=
"80"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
...
...
@@ -83,9 +83,9 @@
<line
stroke-linecap=
"square"
x1=
"410"
y1=
"
3
60"
y1=
"6
0
0"
x2=
"890"
y2=
"
3
60"
y2=
"6
0
0"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
...
...
@@ -94,9 +94,9 @@
<line
stroke-linecap=
"square"
x1=
"40"
y1=
"
24
0"
y1=
"
36
0"
x2=
"200"
y2=
"
24
0"
y2=
"
36
0"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
...
...
@@ -105,9 +105,9 @@
<line
stroke-linecap=
"square"
x1=
"690"
y1=
"
24
0"
y1=
"
36
0"
x2=
"770"
y2=
"
24
0"
y2=
"
36
0"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
"
...
...
@@ -115,7 +115,7 @@
<line
stroke-linecap=
"square"
x1=
"770"
y1=
"
24
0"
y1=
"
36
0"
x2=
"770"
y2=
"120"
style=
"stroke:rgb(0, 0,0);
...
...
@@ -137,7 +137,7 @@
x1=
"130"
y1=
"120"
x2=
"130"