Commit 53de0b65 authored by Andreas Zwinkau's avatar Andreas Zwinkau
parent 448625b6
......@@ -30,7 +30,7 @@
\stepcounter{criterium}
\par\textbf{#1}\rdflabel{#2}
\marginid{M\arabic{criterium}}
\AddProperty{pfl:crtname}{#1}
\AddPropertyEx{pfl:crtname}{#1}
\AddPropertyEx{pfl:crtid}{M\arabic{criterium}}
\IfProperty{#2}{pfl:is-fulfilled}{%
\\ Implementiert durch: \Bind{?f}{pfl:fulfills}{#2}{ \functionalitylink{\GetVal{?f}} }
......@@ -41,7 +41,7 @@
\stepcounter{criteriumOpt}
\par\textbf{#1}\rdflabel{#2}
\marginid{K\arabic{criteriumOpt}}
\AddProperty{pfl:crtname}{#1}
\AddPropertyEx{pfl:crtname}{#1}
\AddPropertyEx{pfl:crtid}{K\arabic{criteriumOpt}}
\IfProperty{#2}{pfl:is-fulfilled}{%
\\ Implementiert durch: \Bind{?f}{pfl:fulfills}{#2}{ \functionalitylink{\GetVal{?f}} }
......@@ -52,7 +52,7 @@
\stepcounter{criteriumNot}
\par\textbf{#1}\rdflabel{#2}
\marginid{A\arabic{criteriumNot}}
\AddProperty{pfl:crtname}{#1}
\AddPropertyEx{pfl:crtname}{#1}
\AddPropertyEx{pfl:crtid}{A\arabic{criteriumNot}}
\par}
......@@ -60,7 +60,7 @@
\stepcounter{functionality}
\par\textbf{#1}\rdflabel{#2}
\marginid{F\arabic{functionality}}
\AddProperty{pfl:fncname}{#1}
\AddPropertyEx{pfl:fncname}{#1}
\AddPropertyEx{pfl:fncid}{F\arabic{functionality}}
\IfProperty{#2}{pfl:is-tested}{%
\\ Getestet durch: \Bind{?t}{pfl:tests}{#2}{ \testlink{\GetVal{?t}} }
......@@ -72,7 +72,7 @@
\stepcounter{nonfunctionality}
\par\textbf{#1}\rdflabel{#2}
\marginid{N\arabic{nonfunctionality}}
\AddProperty{pfl:fncname}{#1}
\AddPropertyEx{pfl:fncname}{#1}
\AddPropertyEx{pfl:fncid}{N\arabic{nonfunctionality}}
\par}
......@@ -80,7 +80,7 @@
\stepcounter{test}
\par\textbf{#1}\rdflabel{#2}
\marginid{T\arabic{test}}
\AddProperty{pfl:tstname}{#1}
\AddPropertyEx{pfl:tstname}{#1}
\AddPropertyEx{pfl:tstid}{T\arabic{test}}
\\ Testing: \Bind{#2}{pfl:tests}{?f}{ \functionalitylink{\GetVal{?f}} }
\par}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment