\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_md2005}{}\doxysection{Problem}\label{doc_decisions_spec_expressiveness_md_autotoc_md2005}
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_md2006}{}\doxysection{Constraints}\label{doc_decisions_spec_expressiveness_md_autotoc_md2006}
\hypertarget{doc_decisions_spec_expressiveness_md_autotoc_md2007}{}\doxysection{Assumptions}\label{doc_decisions_spec_expressiveness_md_autotoc_md2007}
\hypertarget{doc_decisions_spec_expressiveness_md_autotoc_md2008}{}\doxysection{Considered Alternatives}\label{doc_decisions_spec_expressiveness_md_autotoc_md2008}
\hypertarget{doc_decisions_spec_expressiveness_md_autotoc_md2009}{}\doxysection{Decision}\label{doc_decisions_spec_expressiveness_md_autotoc_md2009}

\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_md2010}{}\doxysection{Rationale}\label{doc_decisions_spec_expressiveness_md_autotoc_md2010}
\hypertarget{doc_decisions_spec_expressiveness_md_autotoc_md2011}{}\doxysection{Implications}\label{doc_decisions_spec_expressiveness_md_autotoc_md2011}
\hypertarget{doc_decisions_spec_expressiveness_md_autotoc_md2012}{}\doxysection{Related Decisions}\label{doc_decisions_spec_expressiveness_md_autotoc_md2012}
\hypertarget{doc_decisions_spec_expressiveness_md_autotoc_md2013}{}\doxysection{Notes}\label{doc_decisions_spec_expressiveness_md_autotoc_md2013}
