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
51b8a1b3
Commit
51b8a1b3
authored
May 14, 2018
by
toezen1
Browse files
added pumpstation visualisation
parent
0fcdd57d
Changes
34
Expand all
Show whitespace changes
Inline
Side-by-side
index.htm
View file @
51b8a1b3
...
...
@@ -37,5 +37,10 @@
<br>
<br>
<a
href=
"svg/pumpStationExample/testManuelSchrick.pumpStationExample.pumpStation.html"
>
PumpStation
</a>
<br>
<br>
</body>
</html>
\ No newline at end of file
svg/pumpStationExample/icons/icon_full_detail.svg
0 → 100644
View file @
51b8a1b3
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->
<svg
xmlns:dc=
"http://purl.org/dc/elements/1.1/"
xmlns:cc=
"http://creativecommons.org/ns#"
xmlns:rdf=
"http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:svg=
"http://www.w3.org/2000/svg"
xmlns=
"http://www.w3.org/2000/svg"
xmlns:sodipodi=
"http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape=
"http://www.inkscape.org/namespaces/inkscape"
width=
"16"
height=
"16"
viewBox=
"0 0 4.2333333 4.2333333"
version=
"1.1"
id=
"svg8"
inkscape:version=
"0.92.2 (5c3e80d, 2017-08-06)"
sodipodi:docname=
"icon_full_detail.svg"
>
<defs
id=
"defs2"
/>
<sodipodi:namedview
id=
"base"
pagecolor=
"#ffffff"
bordercolor=
"#666666"
borderopacity=
"1.0"
inkscape:pageopacity=
"0.0"
inkscape:pageshadow=
"2"
inkscape:zoom=
"63.356768"
inkscape:cx=
"2.1713025"
inkscape:cy=
"10.460513"
inkscape:document-units=
"mm"
inkscape:current-layer=
"layer1"
showgrid=
"false"
units=
"px"
inkscape:window-width=
"3200"
inkscape:window-height=
"1644"
inkscape:window-x=
"-16"
inkscape:window-y=
"-16"
inkscape:window-maximized=
"1"
/>
<metadata
id=
"metadata5"
>
<rdf:RDF>
<cc:Work
rdf:about=
""
>
<dc:format>
image/svg+xml
</dc:format>
<dc:type
rdf:resource=
"http://purl.org/dc/dcmitype/StillImage"
/>
<dc:title></dc:title>
</cc:Work>
</rdf:RDF>
</metadata>
<g
inkscape:label=
"Layer 1"
inkscape:groupmode=
"layer"
id=
"layer1"
transform=
"translate(0,-292.76667)"
>
<rect
style=
"fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.14556944;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
id=
"rect4506-3"
width=
"0.87115538"
height=
"3.3830976"
x=
"3.2079554"
y=
"293.19177"
ry=
"0.072203994"
/>
<rect
style=
"fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.14556946;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
id=
"rect4506-3-9"
width=
"0.87115538"
height=
"3.3830976"
x=
"0.15422256"
y=
"293.19177"
ry=
"0.072203994"
/>
<g
id=
"g4609"
transform=
"matrix(1.1765773,0,0,1.2448965,-0.3634166,-72.21588)"
>
<rect
ry=
"0.0041760863"
y=
"294.03079"
x=
"0.73916733"
height=
"0.0083521726"
width=
"2.9149084"
id=
"rect4544"
style=
"fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.2;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
/>
<rect
y=
"293.6503"
x=
"1.404327"
height=
"0.13654198"
width=
"0.32015938"
id=
"rect4582"
style=
"fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.12482525;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
/>
<rect
y=
"293.65692"
x=
"2.4901831"
height=
"0.13654198"
width=
"0.32015938"
id=
"rect4582-9"
style=
"fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.12482525;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
/>
</g>
<g
transform=
"matrix(1.1765773,0,0,1.2448965,-0.37063065,-71.031594)"
id=
"g4609-8"
>
<rect
ry=
"0.0041760863"
y=
"294.03079"
x=
"0.73916733"
height=
"0.0083521726"
width=
"2.9149084"
id=
"rect4544-8"
style=
"fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.2;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
/>
<rect
y=
"293.6503"
x=
"1.404327"
height=
"0.13654198"
width=
"0.32015938"
id=
"rect4582-4"
style=
"fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.12482525;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
/>
<rect
y=
"293.65692"
x=
"2.4901831"
height=
"0.13654198"
width=
"0.32015938"
id=
"rect4582-9-4"
style=
"fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.12482525;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
/>
</g>
<g
transform=
"matrix(1.1765773,0,0,1.2448965,-0.38730759,-69.803775)"
id=
"g4609-8-9"
>
<rect
ry=
"0.0041760863"
y=
"294.03079"
x=
"0.73916733"
height=
"0.0083521726"
width=
"2.9149084"
id=
"rect4544-8-3"
style=
"fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.2;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
/>
<rect
y=
"293.6503"
x=
"1.404327"
height=
"0.13654198"
width=
"0.32015938"
id=
"rect4582-4-8"
style=
"fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.12482525;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
/>
<rect
y=
"293.65692"
x=
"2.4901831"
height=
"0.13654198"
width=
"0.32015938"
id=
"rect4582-9-4-1"
style=
"fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.12482525;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
/>
</g>
</g>
</svg>
svg/pumpStationExample/icons/icon_no_port_names.svg
0 → 100644
View file @
51b8a1b3
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->
<svg
xmlns:dc=
"http://purl.org/dc/elements/1.1/"
xmlns:cc=
"http://creativecommons.org/ns#"
xmlns:rdf=
"http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:svg=
"http://www.w3.org/2000/svg"
xmlns=
"http://www.w3.org/2000/svg"
xmlns:sodipodi=
"http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape=
"http://www.inkscape.org/namespaces/inkscape"
width=
"16"
height=
"16"
viewBox=
"0 0 4.2333333 4.2333333"
version=
"1.1"
id=
"svg8"
inkscape:version=
"0.92.2 (5c3e80d, 2017-08-06)"
sodipodi:docname=
"icon_no_port_names.svg"
>
<defs
id=
"defs2"
/>
<sodipodi:namedview
id=
"base"
pagecolor=
"#ffffff"
bordercolor=
"#666666"
borderopacity=
"1.0"
inkscape:pageopacity=
"0.0"
inkscape:pageshadow=
"2"
inkscape:zoom=
"63.356768"
inkscape:cx=
"8.3222716"
inkscape:cy=
"9.1978226"
inkscape:document-units=
"mm"
inkscape:current-layer=
"layer1"
showgrid=
"false"
units=
"px"
inkscape:window-width=
"3200"
inkscape:window-height=
"1644"
inkscape:window-x=
"-16"
inkscape:window-y=
"-16"
inkscape:window-maximized=
"1"
/>
<metadata
id=
"metadata5"
>
<rdf:RDF>
<cc:Work
rdf:about=
""
>
<dc:format>
image/svg+xml
</dc:format>
<dc:type
rdf:resource=
"http://purl.org/dc/dcmitype/StillImage"
/>
<dc:title></dc:title>
</cc:Work>
</rdf:RDF>
</metadata>
<g
inkscape:label=
"Layer 1"
inkscape:groupmode=
"layer"
id=
"layer1"
transform=
"translate(0,-292.76667)"
>
<rect
style=
"fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.14556944;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
id=
"rect4506-3"
width=
"0.87115538"
height=
"3.3830976"
x=
"3.2079554"
y=
"293.1918"
ry=
"0.072203994"
/>
<rect
style=
"fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.14556946;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
id=
"rect4506-3-9"
width=
"0.87115538"
height=
"3.3830976"
x=
"0.15422256"
y=
"293.1918"
ry=
"0.072203994"
/>
<rect
style=
"fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.24205099;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
id=
"rect4544"
width=
"3.429615"
height=
"0.010397591"
x=
"0.50627089"
y=
"293.82202"
ry=
"0.0051987953"
/>
<rect
style=
"fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.24205099;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
id=
"rect4544-8"
width=
"3.429615"
height=
"0.010397591"
x=
"0.49905685"
y=
"294.87814"
ry=
"0.0051987953"
/>
<rect
style=
"fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.24205099;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
id=
"rect4544-8-3"
width=
"3.429615"
height=
"0.010397591"
x=
"0.45314732"
y=
"295.89288"
ry=
"0.0051987953"
/>
</g>
</svg>
svg/pumpStationExample/icons/icon_simplified.svg
0 → 100644
View file @
51b8a1b3
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->
<svg
xmlns:dc=
"http://purl.org/dc/elements/1.1/"
xmlns:cc=
"http://creativecommons.org/ns#"
xmlns:rdf=
"http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:svg=
"http://www.w3.org/2000/svg"
xmlns=
"http://www.w3.org/2000/svg"
xmlns:sodipodi=
"http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape=
"http://www.inkscape.org/namespaces/inkscape"
width=
"16"
height=
"16"
viewBox=
"0 0 4.2333333 4.2333333"
version=
"1.1"
id=
"svg8"
inkscape:version=
"0.92.2 (5c3e80d, 2017-08-06)"
sodipodi:docname=
"icon_simplified.svg"
>
<defs
id=
"defs2"
/>
<sodipodi:namedview
id=
"base"
pagecolor=
"#ffffff"
bordercolor=
"#666666"
borderopacity=
"1.0"
inkscape:pageopacity=
"0.0"
inkscape:pageshadow=
"2"
inkscape:zoom=
"63.356768"
inkscape:cx=
"8.3222716"
inkscape:cy=
"9.1978226"
inkscape:document-units=
"mm"
inkscape:current-layer=
"layer1"
showgrid=
"false"
units=
"px"
inkscape:window-width=
"3200"
inkscape:window-height=
"1644"
inkscape:window-x=
"-16"
inkscape:window-y=
"-16"
inkscape:window-maximized=
"1"
/>
<metadata
id=
"metadata5"
>
<rdf:RDF>
<cc:Work
rdf:about=
""
>
<dc:format>
image/svg+xml
</dc:format>
<dc:type
rdf:resource=
"http://purl.org/dc/dcmitype/StillImage"
/>
<dc:title></dc:title>
</cc:Work>
</rdf:RDF>
</metadata>
<g
inkscape:label=
"Layer 1"
inkscape:groupmode=
"layer"
id=
"layer1"
transform=
"translate(0,-292.76667)"
>
<rect
style=
"fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.07184573;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
id=
"rect4506-3-9"
width=
"0.87115538"
height=
"0.82409269"
x=
"0.15422256"
y=
"294.47128"
ry=
"0.017588254"
/>
<rect
style=
"fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.24205099;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
id=
"rect4544-8"
width=
"3.429615"
height=
"0.010397591"
x=
"0.49905685"
y=
"294.87814"
ry=
"0.0051987953"
/>
<rect
style=
"fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.07184573;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
id=
"rect4506-3-9-5"
width=
"0.87115538"
height=
"0.82409269"
x=
"3.2477305"
y=
"294.47128"
ry=
"0.017588256"
/>
</g>
</svg>
svg/pumpStationExample/testManuelSchrick.pumpStationExample.pumpStation.environment.html
0 → 100644
View file @
51b8a1b3
<!DOCTYPE html>
<html>
<head>
<title>
testManuelSchrick.pumpStationExample.pumpStation.environment
</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>
</head>
<body
link=
"black"
vlink=
"black"
>
<!-- Bread crumb navigation -->
<table>
<tr
height=
"25px"
>
<td
width=
"25px"
align=
"center"
style=
"background-color:LightGray;"
>
<a
href=
"testManuelSchrick.pumpStationExample.pumpStation.environment.html"
>
<img
src=
"icons/icon_full_detail.svg"
height=
"20px"
width=
"20px"
align=
"middle"
valign=
"middle"
>
</a>
</td>
<td
width=
"25px"
align=
"center"
>
<a
href=
"testManuelSchrick.pumpStationExample.pumpStation.environment_no_port_names.html"
>
<img
src=
"icons/icon_no_port_names.svg"
height=
"20px"
width=
"20px"
align=
"middle"
valign=
"middle"
>
</a>
</td>
<td
width=
"25px"
align=
"center"
>
<a
href=
"testManuelSchrick.pumpStationExample.pumpStation.environment_simplified.html"
>
<img
src=
"icons/icon_simplified.svg"
height=
"20px"
width=
"20px"
align=
"middle"
valign=
"middle"
>
</a>
</td>
<td
align=
"center"
style=
"min-width: 10px;"
/>
<td>
<a
href=
"testManuelSchrick.pumpStationExample.pumpStation.html"
>
<b><big>
pumpStation
</big></b>
</a>
→
</td>
<td>
<b><big>
environment
</big></b>
</td>
</tr>
</table>
<!-- HTML Object to display an external SVG-File -->
<object
data=
"testManuelSchrick.pumpStationExample.pumpStation.environment.svg"
type=
"image/svg+xml"
id=
"svg"
width=
"678"
height=
"372"
>
</object>
</body>
</html>
svg/pumpStationExample/testManuelSchrick.pumpStationExample.pumpStation.environment.svg
0 → 100644
View file @
51b8a1b3
This diff is collapsed.
Click to expand it.
svg/pumpStationExample/testManuelSchrick.pumpStationExample.pumpStation.environment_no_port_names.html
0 → 100644
View file @
51b8a1b3
<!DOCTYPE html>
<html>
<head>
<title>
testManuelSchrick.pumpStationExample.pumpStation.environment
</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>
</head>
<body
link=
"black"
vlink=
"black"
>
<!-- Bread crumb navigation -->
<table>
<tr
height=
"25px"
>
<td
width=
"25px"
align=
"center"
>
<a
href=
"testManuelSchrick.pumpStationExample.pumpStation.environment.html"
>
<img
src=
"icons/icon_full_detail.svg"
height=
"20px"
width=
"20px"
align=
"middle"
valign=
"middle"
>
</a>
</td>
<td
width=
"25px"
align=
"center"
style=
"background-color:LightGray;"
>
<a
href=
"testManuelSchrick.pumpStationExample.pumpStation.environment_no_port_names.html"
>
<img
src=
"icons/icon_no_port_names.svg"
height=
"20px"
width=
"20px"
align=
"middle"
valign=
"middle"
>
</a>
</td>
<td
width=
"25px"
align=
"center"
>
<a
href=
"testManuelSchrick.pumpStationExample.pumpStation.environment_simplified.html"
>
<img
src=
"icons/icon_simplified.svg"
height=
"20px"
width=
"20px"
align=
"middle"
valign=
"middle"
>
</a>
</td>
<td
align=
"center"
style=
"min-width: 10px;"
/>
<td>
<a
href=
"testManuelSchrick.pumpStationExample.pumpStation_no_port_names.html"
>
<b><big>
pumpStation
</big></b>
</a>
→
</td>
<td>
<b><big>
environment
</big></b>
</td>
</tr>
</table>
<!-- HTML Object to display an external SVG-File -->
<object
data=
"testManuelSchrick.pumpStationExample.pumpStation.environment_no_port_names.svg"
type=
"image/svg+xml"
id=
"svg"
width=
"686"
height=
"507"
>
</object>
</body>
</html>
svg/pumpStationExample/testManuelSchrick.pumpStationExample.pumpStation.environment_no_port_names.svg
0 → 100644
View file @
51b8a1b3
This diff is collapsed.
Click to expand it.
svg/pumpStationExample/testManuelSchrick.pumpStationExample.pumpStation.environment_simplified.html
0 → 100644
View file @
51b8a1b3
<!DOCTYPE html>
<html>
<head>
<title>
testManuelSchrick.pumpStationExample.pumpStation.environment
</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>
</head>
<body
link=
"black"
vlink=
"black"
>
<!-- Bread crumb navigation -->
<table>
<tr
height=
"25px"
>
<td
width=
"25px"
align=
"center"
>
<a
href=
"testManuelSchrick.pumpStationExample.pumpStation.environment.html"
>
<img
src=
"icons/icon_full_detail.svg"
height=
"20px"
width=
"20px"
align=
"middle"
valign=
"middle"
>
</a>
</td>
<td
width=
"25px"
align=
"center"
>
<a
href=
"testManuelSchrick.pumpStationExample.pumpStation.environment_no_port_names.html"
>
<img
src=
"icons/icon_no_port_names.svg"
height=
"20px"
width=
"20px"
align=
"middle"
valign=
"middle"
>
</a>
</td>
<td
width=
"25px"
align=
"center"
style=
"background-color:LightGray;"
>
<a
href=
"testManuelSchrick.pumpStationExample.pumpStation.environment_simplified.html"
>
<img
src=
"icons/icon_simplified.svg"
height=
"20px"
width=
"20px"
align=
"middle"
valign=
"middle"
>
</a>
</td>
<td
align=
"center"
style=
"min-width: 10px;"
/>