Best way to check the value of a key (pgfkey)

Question

I looked at Check-the-value-of-a-pgfkey but I don't feel like using etoolbox.

I found a method but I am not sure it is the right one and I would like to find more concise. My problem is to test all cases when using a key.

It is called from and is used with the macro test. I have considered the following cases:

1. \test[](a,b) or \test(a,b)
2. \test[from](a,b)
3. \test[from=](a,b)
4. \test[from=c](a,b)

I have discarded for the moment the case from=d (d undefined)

\documentclass[border=1cm]{standalone} 
\usepackage{tikz}
\def\empty{}
\makeatletter
\def\test{\pgfutil@ifnextchar[{\@test}{\@test[]}}
\pgfkeys{/test/.cd,
  from/.store in           = \from,
  from                     = {}}
  
\def\@test[#1](#2,#3){%
\begingroup
\pgfqkeys{/test}{#1}
\ifx\from\empty%
  \draw[red] (#2) -- (#3);
\else 
\expandafter\ifx\expandafter\pgfkeysnovalue\from\relax
  \draw[blue] (#2) -- (#3);
  \else
 \draw[green] (\from) -- (#3);
 \fi
 \fi
 \endgroup
}
\makeatother
\begin{document} 
\begin{tikzpicture}
\coordinate (a) at (0,0);
\coordinate (b) at (3,0);
\coordinate (c) at (1,2);
\test(a,b)
\end{tikzpicture}
\begin{tikzpicture}
\coordinate (a) at (0,0);
\coordinate (b) at (3,0);
\coordinate (c) at (1,2);
\test[from](a,b)
\end{tikzpicture}
\begin{tikzpicture}
\coordinate (a) at (0,0);
\coordinate (b) at (3,0);
\coordinate (c) at (1,2);
\test[from=](a,b)
\end{tikzpicture}
\begin{tikzpicture}
\coordinate (a) at (0,0);
\coordinate (b) at (3,0);
\coordinate (c) at (1,2);
\test[from=c](a,b)
\end{tikzpicture}
\end{document}

Is my code correct? What other possibilities are there? Is it possible to avoid having both tests?

Answer 1

Here is a solution with two variants: simple pgf key (key1) and key stored its own macro (key2).

\documentclass[border=1cm]{standalone} 
\usepackage{tikz}
\makeatletter
\pgfkeys{/test/.is family}
\def\test@set#1{\pgfkeys{test,#1}}
\test@set{
  key1/.initial={initial 1},
  key1/.default={default 1},
  %
  key2/.store in=\test@keytwo,
  key2={initial 2},
  key2/.default={default 2},
}

\def\test{\pgfutil@ifnextchar[{\@test}{\@test[]}}
\def\@test[#1](#2,#3){%
  \begingroup
  \test@set{#1}
  %
  \pgfkeysgetvalue{/test/key1}\test@keyone
  key1=\pgfkeysvalueof{/test/key1}
  (\ifx\test@keyone\empty empty\else not empty\fi),
  %
  key2=\test@keytwo{}
  (\ifx\test@keytwo\empty empty\else not empty\fi),
  %
  2=#2,
  %
  3=#3
  \par
  \endgroup
}
\makeatother
\begin{document}
\begin{minipage}{16cm}
  \test(a,b)
  \test[key1,key2](a,b)
  \test[key1=test 1,key2=test 2](a,b)
  \test[key1=,key2=](a,b)
\end{minipage}
\end{document}

Note: I use the \empty macro as defined by LaTeX.

Answer 2

I think you can crank out the following cases:

• from-key not being provided at all.
• from-key being provided without value.
• from-key being provided with empty value. (I don't know if cranking out this case is really needed - afaik you can define the "nameless" coordinate/node.)
• from-key being provided with a value that could be the name of a coordinate/node but does not denote a coordinate/node that is defined.
• from-key being provided with a value that denotes the name of a coordinate/node that is defined.

The following example (where it is relied on \@undefined being undefined whenever carrying out \@test and \choosecolordraw) shows how I might do that.

However, the following example does not crank out the case

• from-key being provided with a value that cannot be the name of a coordinate/node.

I think cranking out that case is not easy:
If I got tikz-documentation/implementation right, control sequence tokens whose names are of pattern pgf@sh@ns@⟨name of coordinate/node⟩ are formed from names of nodes/coordinates via \csname..\endcsname. Thus checking if a value can/cannot be the name of a coordinate/node implies checking if the tokens pgf@sh@ns@⟨name of coordinate/node⟩ can safely be used inside \csname..\endcsname. A 100% reliable check for testing if an arbitrary sequence of tokens can be used within \csname..\endcsname is not known to me.

\documentclass[border=1cm]{standalone} 
\usepackage{tikz}
\makeatletter
\pgfkeys{/test/.cd, from/.store in = \from,}%
\newcommand\from{}%
\newcommand*\test{\pgfutil@ifnextchar[{\@test}{\@test[]}}%
\@ifdefinable\@test{%
  \def\@test[#1](#2,#3){%
    \begingroup
    \let\from\@undefined
    \pgfqkeys{/test}{#1}%
    \choosecolordraw{from}{#2}{teal}{blue}{red}{yellow}{green} -- (#3);
    \endgroup
  }%
}%
\newcommand\choosecolordraw[7]{%
  % #1 - Name of macro that should expand to name of from-node/from-coordinate.
  %      That macro is undefined when the from-key is not provided at all.
  % #2 - Default-node if macro whose name is provided is undefined or
  %      expands to no-value-marker or expands to emptiness or does not
  %      denote a defined node/coordinate.
  % #3 - Color if macro whose name is provided is undefined.
  % #4 - Color if macro whose name is provided expands to pgfkey's no-value-marker.
  %      This is the case when the from-key is provided without value.
  % #5 - Color if macro whose name is provided expands to emptiness.
  %      This is the case when the from-key is provided with empty value.
  %      I don't know if cranking out this case  is really needed - afaik you can define the "nameless" \coordinate.
  % #6 - Color if macro whose name is provided expands to a value that doesn't denote a defined coordinate/node.
  %      This is the case when the from-key is provided with a value that could be the name of a coordinate/node but 
  %      does not denote a coordinate/node that is defined.
  % #7 - Color if macro whose name is provided expands to a value that does denote a defined coordinate/node.
  %      This is the case when the from-key is provided with a value that denotes the name of a coordinate/node that is defined.
  \@ifundefined{#1}%
               {\draw[{#3}] (#2) }%
               {%
                 \expandafter\expandafter\expandafter\fromfork
                 \expandafter\expandafter\expandafter{\csname#1\endcsname}{#2}{#4}{#5}{#6}{#7}%
               }%
}%
\newcommand\fromfork[6]{%
  % #1 - From-node.
  % #2 - Default-node.
  % #3 - Color if macro whose name is provided expands to pgfkey's no-value-marker.
  % #4 - Color if macro whose name is provided expands to emptiness.
  % #5 - Color if macro whose name is provided expands to a value that doesn't denote a defined coordinate/node.
  % #6 - Color if macro whose name is provided expands to a value that does denote a defined coordinate/node.
  \ifcat$\detokenize\expandafter{\gobbletoexclam#1!}$%
  \expandafter\@firstoftwo\else\expandafter\@secondoftwo\fi
  {%
    \forkfrom
    !#1!\pgfkeysnovalue!{\draw[{#4}] (#2) }% #1 is empty
    !!#1!{\draw[{#3}] (#2)}% #1 is \pgfkeysnovalue
    !!\pgfkeysnovalue!{% #1 is s.th else where testing is needed whether it is a defined node.
      \@ifundefined{pgf@sh@ns@#1}{\draw[{#5}] (#2) }{\draw[{#6}] (#1) }%
    }%
    !!!!%
  }{%
    % The argument holding name of node/coordinate contains ! and therefore
    % using !-delimited macro is unsafe. But the presence of ! implies exclusion of the cases
    % - from-key not being provided at all
    % - from-key being provided with no value
    % - from-key being provided with empty value
    \@ifundefined{pgf@sh@ns@#1}{\draw[{#5}] (#2) }{\draw[{#6}] (#1) }%
  }%
}%
\@ifdefinable\gobbletoexclam{\long\def\gobbletoexclam#1!{}}%
\@ifdefinable\forkfrom{\long\def\forkfrom#1!!\pgfkeysnovalue!#2#3!!!!{#2}}%
\makeatother
\begin{document}
\vbox{\hbox{%
\begin{tikzpicture}
\coordinate (a) at (0,0);
\coordinate (b) at (3,0);
\coordinate (c) at (1,2);
\test(a,b)
\end{tikzpicture}
}\hbox{\tiny from-key not provided}}%
\kern1em\vrule\kern1em
\vbox{\hbox{%
\begin{tikzpicture}
\coordinate (a) at (0,0);
\coordinate (b) at (3,0);
\coordinate (c) at (1,2);
\test[from](a,b)
\end{tikzpicture}
}\hbox{\tiny from-key provided without value}}%
\kern1em\vrule\kern1em
\vbox{\hbox{%
\begin{tikzpicture}
\coordinate (a) at (0,0);
\coordinate (b) at (3,0);
\coordinate (c) at (1,2);
\test[from=](a,b)
\end{tikzpicture}
}\hbox{\tiny from-key provided with empty value}}%
\kern1em\vrule\kern1em
\vbox{\hbox{%
\begin{tikzpicture}
\coordinate (a) at (0,0);
\coordinate (b) at (3,0);
\coordinate (c) at (1,2);
\test[from=d](a,b)
\end{tikzpicture}
}\hbox{\tiny from-key provided with undefined coordinate}}%
\kern1em\vrule\kern1em
\vbox{\hbox{%
\begin{tikzpicture}
\coordinate (a) at (0,0);
\coordinate (b) at (3,0);
\coordinate (c) at (1,2);
\test[from=c](a,b)
\end{tikzpicture}
}\hbox{\tiny from-key provided with defined coordinate}}%
\end{document}