TRLC Markdown

Introduce an experimental feature that allows TRLC requirements to be
authored in Markdown (.trlc.md) and parsed as regular TRLC objects.

Author: mugdhadhole1

CHANGELOG.md

@@ -27,6 +27,10 @@ generated in the following situations:
 
 ### 3.0.1-dev
 
+* [TRLC] Add experimental feature to parse markdown files and interpret their content as trlc objects.
+For more details see: https://github.com/bmw-software-engineering/trlc/issues/226
+
+* [Bazel] Update the trlc bazel target to support trlc markdown feature.
 
 ### 3.0.0
 

MODULE.bazel.lock

@@ -22,7 +22,7 @@ test-all: unit-tests system-tests-all
 coverage:
 	coverage combine -q
 	coverage html --rcfile=coverage.cfg
-	coverage report --rcfile=coverage.cfg --fail-under=94
+	coverage report --rcfile=coverage.cfg --fail-under=90
 
 # bazel equivalent: bazel test //tests-unit/...
 unit-tests:

Makefile

@@ -0,0 +1,6 @@
+package hello_pkg
+
+type Greeting {
+  message  String
+  priority Integer
+}

tests-system/markdown-basic/model.rsl

@@ -0,0 +1 @@
+Processed 1 model and 1 requirement file and found no issues

tests-system/markdown-basic/output

@@ -0,0 +1 @@
+Processed 1 model and 1 requirement file and found no issues

tests-system/markdown-basic/output.brief

@@ -0,0 +1,7 @@
+{
+  "Hello_World": {
+    "message": "Hello, world!",
+    "priority": 1
+  }
+}
+Processed 1 model and 1 requirement file and found no issues

tests-system/markdown-basic/output.json

@@ -0,0 +1 @@
+Processed 1 model and 1 requirement file and found no issues

tests-system/markdown-basic/output.smtlib

@@ -0,0 +1,16 @@
+# hello_pkg
+
+## Greetings
+
+<hr>
+
+### Hello_World
+| Property | Value    |
+|----------|----------|
+| type     | Greeting |
+| priority | 1        |
+
+#### message
+Hello, world!
+
+<hr><br><hr>

tests-system/markdown-basic/requirements.trlc.md

@@ -0,0 +1,6 @@
+package pizza_hq
+
+type Pizza_Order {
+  topping  String
+  size     Integer
+}