Skip to content

Commit 74a4f62

Browse files
committed
2.2.1
added new diagnostics about missing bw-traces restructured doc and example updated README.md
1 parent 0fa754e commit 74a4f62

35 files changed

+465
-630
lines changed

README.md

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,12 @@ _Spexygen_ documentation (generated with _Spexygen_) is available at:
1515
- [Spexygen Reference Manual in HTML](https://www.state-machine.com/spexygen)
1616
- [Spexygen Reference Manual in PDF](https://www.state-machine.com/spexygen/DOC_MAN_SPX.pdf)
1717

18+
<p align="center">
19+
<a href="https://youtu.be/5naC_z-76Aw?si=x4Svroqv9qDdkpsE" target="_blank" title="Spexygen video">
20+
<img src="https://www.state-machine.com/attachments/spexygen-video.jpg"><br>
21+
Traceable Documentation with Doxygen &amp; Spexygen</a>
22+
</p>
23+
1824
# Licensing
1925
Spexygen is released under the terms of the permissive [MIT open source license](LICENSE).
2026
Please note that the attribution clause in the MIT license requires you to preserve

deploy.bat

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,6 +33,5 @@ twine upload dist/* --verbose
3333
@rm -rf build
3434
@rm -rf dist
3535
@rm -rf %PROJ%.egg-info
36-
@rm -rf %PROJ%-*
3736

3837
@endlocal

doc/DOC_MAN_SPX.pdf

54.5 KB
Binary file not shown.

doc/Doxyfile

Lines changed: 12 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -6,9 +6,9 @@
66
# Project related configuration options
77
#---------------------------------------------------------------------------
88
PROJECT_NAME = Spexygen
9-
PROJECT_NUMBER = 2.2.0
9+
PROJECT_NUMBER = 2.2.1
1010
PROJECT_BRIEF = "Reference Manual"
11-
PROJECT_LOGO = ./img/logo_spexygen.webp
11+
PROJECT_LOGO = $(SPEXYGEN)/spexygen-awesome/img/logo_spexygen.webp
1212
PROJECT_ICON =
1313

1414
FULL_PATH_NAMES = NO
@@ -40,22 +40,24 @@ SORT_MEMBER_DOCS = NO
4040
#---------------------------------------------------------------------------
4141
INPUT = \
4242
main.dox \
43-
../spexygen-awesome/help.dox
43+
../example/main.dox \
44+
$(SPEXYGEN)/spexygen-awesome/help.dox
4445

4546
@INCLUDE = spex/Spexyinc
4647

47-
ENABLED_SECTIONS =
48+
ENABLED_SECTIONS = IN_SPEXYGEN
4849
OPTIMIZE_OUTPUT_FOR_C = YES
4950

5051
RECURSIVE = NO
5152
EXCLUDE =
5253
EXCLUDE_SYMLINKS = NO
5354
EXCLUDE_PATTERNS =
5455
EXCLUDE_SYMBOLS =
55-
EXAMPLE_PATH = ../example
56+
EXAMPLE_PATH =
5657
EXAMPLE_PATTERNS = *
5758
EXAMPLE_RECURSIVE = NO
58-
IMAGE_PATH = ./img
59+
IMAGE_PATH = ./img \
60+
$(SPEXYGEN)/spexygen-awesome/img
5961
#---------------------------------------------------------------------------
6062
# Configuration options related to source browsing
6163
#---------------------------------------------------------------------------
@@ -68,8 +70,8 @@ STRIP_CODE_COMMENTS = NO
6870
GENERATE_HTML = YES
6971
HTML_OUTPUT = ./html
7072
HTML_FILE_EXTENSION = .html
71-
HTML_HEADER = ./spexy-header.html
72-
HTML_FOOTER = ./spexy-footer.html
73+
HTML_HEADER = $(SPEXYGEN)/spexygen-awesome/spexy-header.html
74+
HTML_FOOTER = $(SPEXYGEN)/spexygen-awesome/spexy-footer.html
7375
HTML_STYLESHEET =
7476
#Spexygen HTML_EXTRA_STYLESHEET =
7577
#Spexygen HTML_EXTRA_FILES =
@@ -136,8 +138,8 @@ EXTRA_SEARCH_MAPPINGS =
136138
GENERATE_LATEX = NO
137139
LATEX_OUTPUT = ./latex
138140
LATEX_CMD_NAME = latex
139-
LATEX_HEADER = ./spexy-header.tex
140-
LATEX_FOOTER = ./spexy-footer.tex
141+
LATEX_HEADER = $(SPEXYGEN)/spexygen-awesome/spexy-header.tex
142+
LATEX_FOOTER = $(SPEXYGEN)/spexygen-awesome/spexy-footer.tex
141143
MAKEINDEX_CMD_NAME = makeindex
142144
LATEX_MAKEINDEX_CMD = makeindex
143145
COMPACT_LATEX = NO

doc/Doxyfile-PDF

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
# Configuration options related to the LateX output
77
#---------------------------------------------------------------------------
88
PROJECT_NAME = Reference Manual
9-
PROJECT_BRIEF = For Spexygen 2.2.0
9+
PROJECT_BRIEF = For Spexygen 2.2.1
1010
PROJECT_NUMBER = Document: DOC_MAN_SPX
1111

1212
#---------------------------------------------------------------------------

doc/img/spexygen-video.jpg

68.6 KB
Loading

doc/main.dox

Lines changed: 12 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -25,6 +25,16 @@
2525
- traceable @ref test1.c "tests"
2626
- traceable specifications of other kind
2727

28+
@ifnot LATEX
29+
<a href="" target="_blank" title="Spexygen video">
30+
<img src="spexygen-video.jpg">
31+
</a>
32+
@else
33+
@image latex spexygen-video.jpg width=5in
34+
@webref{https://youtu.be/5naC_z-76Aw?si=x4Svroqv9qDdkpsE,Spexygen video}
35+
@endif
36+
<br>
37+
2838
@note
2939
By extending Doxygen with a uniform __traceability management__ not just for source code, but also for all other specifications, _Spexygen_ supports regulatory compliance with functional safety standards such as IEC 61508, IEC 62304, ISO 26262 and others.
3040

@@ -41,7 +51,7 @@ The main objectives and features of _Spexygen_ are:
4151

4252

4353
@section tr Traceability
44-
__Traceability__ is the cornerstone of any formal documentation system, especially those intended for managing __functional safety__. It enables product teams to associate every work artifact (e.g., a specific requirement) with all the related project artifacts (e.g., design, code, or tests), both backward and forward. Traceability enables everyone to see how every work artifact relates to the requirement &mdash; and vice versa &mdash; at any point during development. This ability fosters team collaboration and enables early detection of possible production risks.
54+
__Traceability__ is the cornerstone of any formal documentation system, especially those intended for managing __functional safety__. It enables product teams to associate every work artifact (e.g., a specific requirement) with all the related project artifacts (e.g., design, code, or tests), both backward and forward. Traceability lets everyone to see how every work artifact relates to the requirement &mdash; and vice versa &mdash; at any point during development. This ability fosters team collaboration and enables early detection of possible production risks.
4555

4656
@attention
4757
_Spexygen_ provides consistent and __automated__ management of traceability within the whole documentation set.
@@ -171,7 +181,7 @@ relation between _Spexygen_ and Doxygen, and the flow of information between the
171181

172182
`[8]` The `spexygen.py` Python script also generates the `Spexyinc` file that contains the information about all generated files.
173183

174-
`[9]` Developers can prepare other documentation, not processed by _spexigen_, but also included in the final Doxygen-generated documentation.
184+
`[9]` Developers can prepare other documentation, not processed by _Spexygen_, but also included in the final Doxygen-generated documentation.
175185

176186
`[10]` The Doxygen configuration file (`Doxyfile`) includes the `Spexyfile` (with the _Spexygen_ custom commands) and the generated `Spexyinc` file (with files generated by _Spexygen_ and to be processed by Doxygen)
177187

doc/spex.json

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,7 @@
22
"gen-dir": "spex",
33
"gen-inc": "Spexyinc",
44
"gen": [
5-
"../example/exa.dox",
65
"../example/srs.dox",
7-
"../example/dev.dox",
86
"../example/inc",
97
"../example/src",
108
"../example/test"

doc/spexy-footer.html

Lines changed: 0 additions & 22 deletions
This file was deleted.

doc/spexy-footer.tex

Lines changed: 0 additions & 53 deletions
This file was deleted.

0 commit comments

Comments
 (0)