Skip to content

Commit ca40f78

Browse files
quantum-leapsquantum-leaps
committed
2.2.5
1 parent d3ffc1a commit ca40f78

File tree

8 files changed

+50
-32
lines changed

8 files changed

+50
-32
lines changed

‎Spexyfile‎

Lines changed: 44 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -1,30 +1,56 @@
1-
# Doxyfile 1.11.0
1+
#=============================================================================
2+
# _Spexygen_ - Traceable Specifications Based on doxygen
3+
# Copyright (C) 2024 Quantum Leaps, LLC <www.state-machine.com>
4+
#
5+
# SPDX-License-Identifier: MIT
6+
#
7+
# Permission is hereby granted, free of charge, to any person obtaining a copy of
8+
# this software and associated documentation files (the "Software"), to deal in
9+
# the Software without restriction, including without limitation the rights to
10+
# use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
11+
# the Software, and to permit persons to whom the Software is furnished to do so,
12+
# subject to the following conditions:
13+
#
14+
# The above copyright notice and this permission notice shall be included in all
15+
# copies or substantial portions of the Software.
16+
#
17+
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
18+
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19+
# FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
20+
# COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
21+
# IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
22+
# CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
23+
#
24+
# Contact information:
25+
# <www.state-machine.com>
26+
# <[email protected]>
27+
#=============================================================================
228

329
#---------------------------------------------------------------------------
430
# Project related configuration options
531
#---------------------------------------------------------------------------
632
# Spexygen: Commands
733
#---------------------------------------------------------------------------
834
ALIASES += \
9-
"uid{2}=@addindex \1^^@subsection \1 \1^^<table><tr><td style=\"text-align:left; width:var(--content-maxwidth)\"><b>\1</b>: <i>\2</i>^^" \
10-
"uid_litem{1}=<tr><td><b>\1</b><br>^^" \
11-
"uid_bw_trace=<tr><td><b>Backward Traceability</b><br>^^" \
12-
"uid_bw_trace{1}=<tr><td><b>Backward Traceability</b><br>^^" \
13-
"uid_fw_trace=<tr><td><b>Forward Traceability</b><br>^^" \
14-
"uid_fw_trace{1}=<tr><td><b>Forward Traceability (truncated to \1 level(s))</b><br>^^" \
15-
"enduid=</table>" \
16-
"code_uid{2}=@brief \2^^" \
17-
"code_alias{2}=@brief <b>\1</b> : \2^^@anchor \1" \
18-
"code_litem{1}=^^@par \1^^" \
19-
"code_bw_trace=^^@par Backward Traceability^^" \
20-
"code_bw_trace{1}=^^@par Backward Traceability^^" \
21-
"code_fw_trace=^^@par Forward Traceability^^" \
22-
"code_fw_trace{1}=^^@par Forward Traceability (truncated to \1 level(s))^^" \
35+
"uid{2}=@addindex \1^^@subsection \1 \1^^<span style=\"font-style:italic;font-size:larger;\">\2</span>^^" \
36+
"uid_litem{1}=@par \1" \
37+
"uid_bw_trace=@par Backward Traceability" \
38+
"uid_bw_trace{1}=@par Backward Traceability" \
39+
"uid_fw_trace=@par Forward Traceability" \
40+
"uid_fw_trace{1}=@par Forward Traceability (truncated to \1 level(s))" \
41+
"enduid=<br><hr>" \
42+
"code_uid{2}=@brief \2" \
43+
"code_alias{2}=@anchor \1^^@brief <b>\1</b> : \2" \
44+
"code_litem{1}=@par \1" \
45+
"code_bw_trace=@par Backward Traceability" \
46+
"code_bw_trace{1}=@par Backward Traceability" \
47+
"code_fw_trace=@par Forward Traceability" \
48+
"code_fw_trace{1}=@par Forward Traceability (truncated to \1 level(s))" \
2349
"endcode_uid=" \
2450
"tr{1}=@ref \1 \"\1\"" \
25-
"precondition{2}=^^@par Precondition `\1:\2`^^" \
26-
"postcondition{2}=^^@par Postcondition `\1:\2`^^" \
27-
"invariant{2}=@par Invariant `\1:\2`^^" \
51+
"precondition{2}=@par Precondition `\1:\2`" \
52+
"postcondition{2}=@par Postcondition `\1:\2`" \
53+
"invariant{2}=@par Invariant `\1:\2`" \
2854
"nav{2}=<span class=\"prev_button\">@ref \1</span><span class=\"next_button\">@ref \2</span>" \
2955
"nav_prev{1}=<span class=\"prev_button\">@ref \1</span>" \
3056
"nav_next{1}=<span class=\"next_button\">@ref \1</span>" \

‎doc/DOC_MAN_SPX.pdf‎

-5.81 KB
Binary file not shown.

‎doc/Doxyfile‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,10 @@
1-
# Doxyfile 1.11.0
2-
31
@INCLUDE = $(SPEXYGEN)/Spexyfile
42

53
#---------------------------------------------------------------------------
64
# Project related configuration options
75
#---------------------------------------------------------------------------
86
PROJECT_NAME = Spexygen
9-
PROJECT_NUMBER = 2.2.4
7+
PROJECT_NUMBER = 2.2.5
108
PROJECT_BRIEF = "Reference Manual"
119
PROJECT_LOGO = $(SPEXYGEN)/spexygen-awesome/img/logo_spexygen.webp
1210
PROJECT_ICON =

‎doc/Doxyfile-PDF‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,10 @@
1-
# Doxyfile 1.11.0
2-
31
@INCLUDE = Doxyfile
42

53
#---------------------------------------------------------------------------
64
# Configuration options related to the LateX output
75
#---------------------------------------------------------------------------
86
PROJECT_NAME = Reference Manual
9-
PROJECT_BRIEF = For Spexygen 2.2.4
7+
PROJECT_BRIEF = For Spexygen 2.2.5
108
PROJECT_NUMBER = Document: DOC_MAN_SPX
119

1210
#---------------------------------------------------------------------------

‎example/Doxyfile‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,11 @@
1-
# Doxyfile 1.11.0
2-
31
@INCLUDE = $(SPEXYGEN)/Spexyfile
42

53
#---------------------------------------------------------------------------
64
# Project related configuration options
75
#---------------------------------------------------------------------------
86
PROJECT_NAME = Example
97
PROJECT_NUMBER = 0.0.1
10-
PROJECT_BRIEF = For Spexygen 2.2.3
8+
PROJECT_BRIEF = For Spexygen 2.2.5
119
PROJECT_LOGO = $(SPEXYGEN)/spexygen-awesome/img/logo_spexygen.webp
1210
PROJECT_ICON =
1311

‎example/Doxyfile-PDF‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,10 @@
1-
# Doxyfile 1.11.0
2-
31
@INCLUDE = Doxyfile
42

53
#---------------------------------------------------------------------------
64
# Configuration options related to the LateX output
75
#---------------------------------------------------------------------------
86
PROJECT_NAME = Example
9-
PROJECT_BRIEF = For Spexygen 2.2.4
7+
PROJECT_BRIEF = For Spexygen 2.2.5
108
PROJECT_NUMBER = Document: DOC_MAN_EXA
119

1210
#---------------------------------------------------------------------------

‎setup.py‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99

1010
setup(
1111
name="spexygen",
12-
version="2.2.4",
12+
version="2.2.5",
1313
author="Quantum Leaps",
1414
author_email="[email protected]",
1515
description="Traceable specifications based on doxygen",

‎spexygen.py‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ class Spexygen:
4747
'''
4848

4949
# public class constants
50-
VERSION = 224
50+
VERSION = 225
5151

5252
UID_DOC = 1
5353
UID_CODE = 2

0 commit comments

Comments
 (0)