Skip to content

Commit ff23913

Browse files
Melody Maphiwuu
authored andcommitted
adapter lobster
- adapter makefile config - change lobster-trlc.conf to lobster-trlc.yaml - add online_report_config.yaml
1 parent 828f99f commit ff23913

File tree

5 files changed

+25
-16
lines changed

5 files changed

+25
-16
lines changed

Makefile

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -78,11 +78,11 @@ full-release:
7878
make bump
7979
git push
8080

81-
requirements.lobster: language-reference-manual/lobster-trlc.conf \
81+
requirements.lobster: language-reference-manual/lobster-trlc.yaml \
8282
language-reference-manual/lrm.rsl \
8383
language-reference-manual/lrm.trlc
8484
lobster-trlc \
85-
--config-file=language-reference-manual/lobster-trlc.conf \
85+
--config=language-reference-manual/lobster-trlc.yaml \
8686
--out requirements.lobster \
8787
language-reference-manual
8888

@@ -101,11 +101,11 @@ report.lobster: lobster.conf \
101101
requirements.lobster \
102102
code.lobster \
103103
system-tests.lobster \
104-
unit-tests.lobster
104+
unit-tests.lobster
105105
lobster-report \
106106
--lobster-config=lobster.conf \
107107
--out=report.lobster
108-
lobster-online-report report.lobster
108+
lobster-online-report --config=online_report_config.yaml --out=report.lobster
109109

110110
tracing: report.lobster
111111
mkdir -p docs

language-reference-manual/lobster-trlc.conf

Lines changed: 0 additions & 9 deletions
This file was deleted.
Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
conversion-rules:
2+
- package: LRM
3+
record-type: Text
4+
namespace: req
5+
description-fields:
6+
- text
7+
- bullets
8+
justification-down-fields:
9+
- untraced_reason
10+
11+
- package: LRM
12+
record-type: Grammar
13+
namespace: req
14+
description-fields: bnf

lobster-trlc-system-test.py

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -23,9 +23,9 @@
2323
import os
2424
import sys
2525

26-
from lobster.items import Tracing_Tag, Activity
27-
from lobster.location import File_Reference
28-
from lobster.io import lobster_write
26+
from lobster.common.items import Tracing_Tag, Activity
27+
from lobster.common.location import File_Reference
28+
from lobster.common.io import lobster_write
2929

3030
from trlc.trlc import Source_Manager
3131
from trlc.errors import Message_Handler

online_report_config.yaml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
report: report.lobster
2+
commit_id: 'main'
3+
repo_root: ''
4+
base_url: 'https://github.com/bmw-software-engineering/trlc'

0 commit comments

Comments
 (0)