Skip to content

Commit bc2ba24

Browse files
hoe-johoe-jo
committed
bump lobster, trlc + add fta
1 parent 9a7c5f5 commit bc2ba24

4 files changed

Lines changed: 127 additions & 2 deletions

File tree

‎MODULE.bazel‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -228,13 +228,13 @@ use_repo(pip, "manual_analysis_deps")
228228
bazel_dep(name = "trlc", version = "0.0.0")
229229
git_override(
230230
module_name = "trlc",
231-
commit = "c7750ebd0520996e05b9a9bc91eb6a4f62030f22",
231+
commit = "1872957ae981ae632a0ec6eafb5b8d3aa44bdb86",
232232
remote = "https://github.com/bmw-software-engineering/trlc.git",
233233
)
234234

235235
bazel_dep(name = "lobster", version = "0.0.0")
236236
git_override(
237237
module_name = "lobster",
238-
commit = "56881461f9d3fde2918d1731aa5937aaf64cd67c",
238+
commit = "94ed5961ca28ee1b840cd8a938138c17ae4da671",
239239
remote = "https://github.com/bmw-software-engineering/lobster.git",
240240
)

‎plantuml/BUILD‎

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
# *******************************************************************************
2+
# Copyright (c) 2025 Contributors to the Eclipse Foundation
3+
#
4+
# See the NOTICE file(s) distributed with this work for additional
5+
# information regarding copyright ownership.
6+
#
7+
# This program and the accompanying materials are made available under the
8+
# terms of the Apache License Version 2.0 which is available at
9+
# https://www.apache.org/licenses/LICENSE-2.0
10+
#
11+
# SPDX-License-Identifier: Apache-2.0
12+
# *******************************************************************************
13+
filegroup(
14+
name = "fta_metamodel",
15+
srcs = [
16+
"fta_metamodel.puml",
17+
],
18+
visibility = ["//visibility:public"],
19+
)

‎plantuml/fta_metamodel.puml‎

Lines changed: 63 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,63 @@
1+
' *******************************************************************************
2+
' Copyright (c) 2025 Contributors to the Eclipse Foundation
3+
'
4+
' See the NOTICE file(s) distributed with this work for additional
5+
' information regarding copyright ownership.
6+
'
7+
' This program and the accompanying materials are made available under the
8+
' terms of the Apache License Version 2.0 which is available at
9+
' https://www.apache.org/licenses/LICENSE-2.0
10+
'
11+
' SPDX-License-Identifier: Apache-2.0
12+
' *******************************************************************************
13+
14+
@startuml
15+
16+
' AND gate: flat bottom + elliptic arch on top
17+
sprite $and <svg width="60" height="70" viewBox="0 0 60 70" xmlns="http://www.w3.org/2000/svg">
18+
<path d="M 8,58 H 52 V 35 A 22,27 0 0,0 8,35 L 8,58 Z" fill="white" stroke="black" stroke-width="2.5"/>
19+
</svg>
20+
21+
' OR gate: pointed top, bowed sides, concave bottom
22+
sprite $or <svg width="60" height="70" viewBox="0 0 60 70" xmlns="http://www.w3.org/2000/svg">
23+
<path d="M 30,8 C 55,25 54,42 52,58 Q 30,48 8,58 C 6,42 5,25 30,8 Z" fill="white" stroke="black" stroke-width="2.5"/>
24+
</svg>
25+
26+
' Transfer-In gate: upward triangle
27+
sprite $transferin <svg width="60" height="70" viewBox="0 0 60 70" xmlns="http://www.w3.org/2000/svg">
28+
<polygon points="30,8 52,60 8,60" fill="white" stroke="black" stroke-width="2.5"/>
29+
</svg>
30+
31+
'skinparam linetype polyline
32+
'skinparam linetype ortho
33+
34+
!procedure $TopEvent($name, $alias)
35+
rectangle "$name" as $alias
36+
!endprocedure
37+
38+
!procedure $IntermediateEvent($name, $alias, $connection)
39+
rectangle "$name" as $alias
40+
$alias -u-> $connection
41+
!endprocedure
42+
43+
!procedure $BasicEvent($name, $alias, $connection)
44+
usecase "$name" as $alias
45+
$alias -u-> $connection
46+
!endprocedure
47+
48+
!procedure $AndGate($alias, $connection)
49+
rectangle " " <<$and>> as $alias
50+
$alias -u-> $connection
51+
!endprocedure
52+
53+
!procedure $OrGate($alias, $connection)
54+
rectangle " " <<$or>> as $alias
55+
$alias -u-> $connection
56+
!endprocedure
57+
58+
!procedure $TransferInGate($alias, $connection)
59+
rectangle " " <<$transferin>> as $alias
60+
$alias -u-> $connection
61+
!endprocedure
62+
63+
@enduml

‎tools/sphinx/BUILD‎

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
1+
# *******************************************************************************
2+
# Copyright (c) 2026 Contributors to the Eclipse Foundation
3+
#
4+
# See the NOTICE file(s) distributed with this work for additional
5+
# information regarding copyright ownership.
6+
#
7+
# This program and the accompanying materials are made available under the
8+
# terms of the Apache License Version 2.0 which is available at
9+
# https://www.apache.org/licenses/LICENSE-2.0
10+
#
11+
# SPDX-License-Identifier: Apache-2.0
12+
# *******************************************************************************
13+
load("@rules_java//java:defs.bzl", "java_binary")
14+
load("@rules_python//sphinxdocs:sphinx.bzl", "sphinx_build_binary")
15+
load("@pip_rules_score//:requirements.bzl", "requirement")
16+
17+
java_binary(
18+
name = "plantuml",
19+
main_class = "net.sourceforge.plantuml.Run",
20+
visibility = ["//visibility:public"],
21+
runtime_deps = [
22+
"@blueprint_maven_dependencies//:net_sourceforge_plantuml_plantuml",
23+
],
24+
)
25+
26+
sphinx_build_binary(
27+
name = "sphinx-build",
28+
visibility = ["//visibility:public"],
29+
deps = [
30+
"@lobster//sphinx_lobster:sphinx_lobster_builder",
31+
"@score_tooling//plantuml/sphinx/clickable_plantuml",
32+
"@trlc//tools/sphinx/extensions/trlc",
33+
requirement("sphinx"),
34+
requirement("sphinx_rtd_theme"),
35+
requirement("myst_parser"),
36+
requirement("readthedocs_sphinx_ext"),
37+
requirement("rst2pdf"),
38+
requirement("sphinxcontrib-umlet"),
39+
requirement("svglib"),
40+
requirement("sphinxcontrib-plantuml"),
41+
"@rules_python//python/runfiles",
42+
],
43+
)

0 commit comments

Comments
 (0)