\label{doc_decisions_spec_expressiveness_md_md_doc_decisions_spec_expressiveness}%
\Hypertarget{doc_decisions_spec_expressiveness_md_md_doc_decisions_spec_expressiveness}%
 \hypertarget{doc_decisions_spec_expressiveness_md_autotoc_md2019}{}\doxysection{Problem}\label{doc_decisions_spec_expressiveness_md_autotoc_md2019}
Currently, you can easily come into wrong assumptions that something would work in the specification.

We need to find minimal requirements to implement a sane spec plugin.\hypertarget{doc_decisions_spec_expressiveness_md_autotoc_md2020}{}\doxysection{Constraints}\label{doc_decisions_spec_expressiveness_md_autotoc_md2020}
\hypertarget{doc_decisions_spec_expressiveness_md_autotoc_md2021}{}\doxysection{Assumptions}\label{doc_decisions_spec_expressiveness_md_autotoc_md2021}
\hypertarget{doc_decisions_spec_expressiveness_md_autotoc_md2022}{}\doxysection{Considered Alternatives}\label{doc_decisions_spec_expressiveness_md_autotoc_md2022}
\hypertarget{doc_decisions_spec_expressiveness_md_autotoc_md2023}{}\doxysection{Decision}\label{doc_decisions_spec_expressiveness_md_autotoc_md2023}

\begin{DoxyItemize}
\item no defaults for {\ttfamily sw/\+\_\+/key} specifications (default will not work for {\ttfamily ks\+Lookup(/sw/sthg/key)})
\item plugins are not allowed to create keys (may change in future; depends on plugin positions)
\end{DoxyItemize}

The spec plugin should yield errors when it detects such situations.\hypertarget{doc_decisions_spec_expressiveness_md_autotoc_md2024}{}\doxysection{Rationale}\label{doc_decisions_spec_expressiveness_md_autotoc_md2024}
\hypertarget{doc_decisions_spec_expressiveness_md_autotoc_md2025}{}\doxysection{Implications}\label{doc_decisions_spec_expressiveness_md_autotoc_md2025}
\hypertarget{doc_decisions_spec_expressiveness_md_autotoc_md2026}{}\doxysection{Related Decisions}\label{doc_decisions_spec_expressiveness_md_autotoc_md2026}
\hypertarget{doc_decisions_spec_expressiveness_md_autotoc_md2027}{}\doxysection{Notes}\label{doc_decisions_spec_expressiveness_md_autotoc_md2027}
