%%
%% \iffalse filename: state.dtx \fi
%%
%<*doc>
\input driver
\thisis{state}{Full, Short, and \emph{Id.}\ Citations}

Legal citations are ``stateful'' insofar as the formatting of any citation
depends on the context of citations tht preceded it. Citations may take on short
forms or \emph{id.}~forms may be used on subsequent citations to a reference,
for example. Inputs to \hia* are designed to be ``stateless,'' meaning that
declarations of citations, using the input syntax described in \sec{parse},
generally are independent of prior citations. The statelessness of the input
syntax is what allows blocks of text to be moved around freely within a document
without the need to rewrite citation declarations. As a result, \hia* is
responsible for computing and remembering relevant citation state information so
that the forms of citations may be selected.

Statefulness in citation systems is not uncommon, but legal citations are more
complex than most because the different forms and placements of citations
(inline, clause, and sentence; in footnotes versus in text; top-level versus
nested) all have different effects on what citation forms are subsequently
chosen. Furthermore, due to the nature of \TeX\ compilation, the computation of
citation state generally occurs in a single forward pass through a document.
\unskip\footnote{The exceptions are for internal cross-references and the Table
of Authorities, described in \sec{xref} and \sec{toa} respectively, both of
which use \LaTeX's aux file system.} Rules like ``look backwards through the
last five footnotes to determine if a short citation should be used'' must thus
be restructured in implementation to accommodate this single-pass processing.

This section describes how \hia* structures, stores, and updates its internal
state information about citations. It also provides commands for altering the
internal state, in order to change the appearance of citations.



\subsection{Short Forms}
\label{s:state-short}

For most references, there is a full citation form and a short one. The full
form is used first, and the short one used subsequently according to one of two
rules: Some references use a \emph{supra} short form that may be used
subsequently throughout, while for others the short form may only be used if a
full-form citation appeared in close proximity. The purpose of the previous
citation state memory, described below, is to determine which of these two forms
to use.

Complicating matters, citations can appear in footnotes and in body text, in
both law review articles and legal memoranda, and both in inline and non-inline
forms. All of these factors interact to affect whether a full or short form
citation should be used.

This package follows the following rules to determine long and short forms:
\begin{enumerate}
\item An inline short form may be used in text after the full form is used in
   text, either inline or in a citation.
\item An inline short form may be used in a footnote (a) if an inline short form
   may be used in text, (b) after a full citation in this or any previous
   footnote, or (c) after a full inline form in this footnote.
\item A short cite may be used in text after the full citation is used in text.
\item A short cite may be used in a footnote (a) after the full citation has
   been used in text, (b) after the full citation has been used in a footnote if
   this is a supra-type short cite, or (c) if the full citation has been used
   in the last five footnotes.
\end{enumerate}
%</doc>
%<*package>
%
% Recordation of all full cites.
%    \begin{macrocode}
\def\hi@allfullcites{}
\def\hi@addfullcite#1{\gappto\hi@allfullcites{\global\let#1\relax}}
%    \end{macrocode}
%
%
% These rules are implemented as follows. For every reference, two citation
% state variables are maintained: |\hi@dfc@|\meta{ref}, and
% |\hi@dfi@|\meta{ref}. The former pertains to citations, and the latter to
% inline textual references.
%
% For the |\hi@dfi@|\meta{ref} forms, there are three possible values:
% \begin{itemize}
% \item |\relax| (undefined): The full inline form should be used in all
%   situations.
% \item |\@ne| (1): The short form should be used in footnotes only. Where the
%   short
%   form should only be used in the current footnote (rule 2(c)), this state
%   variable is set locally to the footnote.
% \item |\tw@| (2): The short form should be used in all situations.
% \end{itemize}
%
% For the |\hi@dfc@|\meta{ref} forms:
% \begin{itemize}
% \item A value of zero indicates that the reference has been cited in text but
%   no footnote.
% \item A positive value indicates that the reference has been cited only in a
%   footnote. The value is the footnote number.
% \item A negative value indicates that the reference has been cited both in
%   text and in a footnote. The absolute value is the footnote number.
% \end{itemize}
%
% Note that while |\hi@dfi@|\meta{ref} values are number registers, the
% |\hi@dfc@|\meta{ref} values are text numbers.
%
%</package>
%<*doc>

\MacroSpec\HiShowState \marg{ref} \\
Prints to the terminal a textual account of the state of
a reference at the point that the macro is called.

%</doc>
%<*package>
%    \begin{macrocode}
\def\HiShowState#1{%
    \immediate\write16{For citation reference `#1',
        \@ifundefined{hi@dfi@#1}{the full inline form will be used}{%
            \ifcase\csname hi@dfi@#1\endcsname
                an illegal inline state was encountered%
                \or the short inline form will be used in footnotes only%
                \or the short inline form will be used%
                \else an illegal inline state was encountered%
            \fi
        }, and
        \@ifundefined{hi@dfc@#1}{the full citation form will be used}{%
            \ifnum\csname hi@dfc@#1\endcsname>\z@
                the full citation was used in footnote
                \csname hi@dfc@#1\endcsname
            \else
                the full citation was used in text so the short form will be
                used%
            \fi
        }.%
    }%
}
%    \end{macrocode}
%
% \MacroSpec\hi@record@cite
% This utility macro is run every time a reference is cited, as part of the
% citation drawing routines in \sec{draw}. It updates state variables indicating
% whether the full or short citation form should be used. The macro runs
% |\hi@record@cite@inline| in all cases, and |\hi@record@cite@| only on
% non-inline citations.
%
% I was formerly of the opinion that a full citation inside another one
% (e.g., inside a parenthetical) should have no effect on later use of
% the full citation. I'm now of a different opinion, because especially
% for lengthy full citations, it looks weird for there to be a full
% citation inside a parenthetical and an identical full citation
% immediately after. However, inline citations will not be affected by
% parentheticals.
%
%    \begin{macrocode}
\DeclareRobustCommand\hi@record@cite[1]{%
    \if@hi@in@toa\else
        \expandafter\hi@addfullcite\csname hi@dfc@#1\endcsname
        \expandafter\hi@addfullcite\csname hi@dfi@#1\endcsname
        \ifnum\hi@citelevel<\tw@
            \expandafter\hi@record@cite@inline\csname hi@dfi@#1\endcsname
        \fi
        \if@hi@inline\else
            \expandafter\hi@record@cite@\csname hi@dfc@#1\endcsname{#1}%
        \fi
    \fi
}
%    \end{macrocode}
%
% Records an inline citation, setting |\hi@dfi@|\meta{ref} (which is \#1) to the
% appropriate value.
%
%    \begin{macrocode}
\def\hi@record@cite@inline#1{%
    \ifx#1\relax \let#1\z@ \fi
    \ifnum#1<\tw@
        \if@hi@note
            \if@hi@inline\else \expandafter\global \fi
            \let#1\@ne
        \else
            \global\let#1\tw@
        \fi
    \fi
}
%    \end{macrocode}
%
% Records a citation. \#1 is the |\hi@dfc@|\meta{ref} macro, and \#2 is the
% reference name.
%
%    \begin{macrocode}
\def\hi@record@cite@#1#2{%
%    \end{macrocode}
% If this is the first citation, record the footnote number or zero if
% in text. Also, make a cross-reference for the reference if supra
% cross-references are on.
%    \begin{macrocode}
    \ifx#1\relax
        \xdef#1{\if@hi@note \the\c@footnote \else 0\fi}%
        \hi@supra@make@xref{#2}%
    \else
        \if@hi@note
%    \end{macrocode}
% In a footnote, where this citation was previously used. If it was
% previously used only in text, set it to the negative of the
% footnote number. Otherwise, if this is a non-supra citation,
% update the state value to reflect the current footnote number.
%    \begin{macrocode}
            \ifnum#1=\z@
                \xdef#1{-\the\c@footnote}%
            \else
                \@ifundefined{sc@#2@supra}{%
                    \xdef#1{\ifnum#1<\z@ -\fi\the\c@footnote}%
                }{}%
            \fi
        \else
%    \end{macrocode}
            % In text, where this citation was previously used. Just make sure
            % the value is negative.
%    \begin{macrocode}
            \xdef#1{\ifnum#1>\z@ -\fi#1}%
        \fi
    \fi
}
%    \end{macrocode}
%
% \DescribeMacro\hi@record@choose
% Choose a full or short form for the given reference. This takes three
% parameters: the reference nickname, the callback for a full form, and the
% callback for a short form.
%
%    \begin{macrocode}
\def\hi@record@choose#1{%
    \@test \if@hi@inline \fi{%
        \hi@record@choose@inline{#1}%
    }{%
        \hi@record@choose@cite{#1}%
    }%
}
%    \end{macrocode}
%
% Choose a full or short inline form.
%
%    \begin{macrocode}
\DeclareRobustCommand\hi@record@choose@inline[1]{%
    \@ifundefined{hi@dfi@#1}{\@firstoftwo}{%
        \@test \ifnum\csname hi@dfi@#1\endcsname=\tw@ \fi{\@secondoftwo}{%
            \@test \if@hi@note \fi{\@secondoftwo}{\@firstoftwo}%
        }%
    }%
}
%    \end{macrocode}
%
% Choose a full or short cite form.
%
%    \begin{macrocode}
\DeclareRobustCommand\hi@record@choose@cite[1]{%
    \expandafter\hi@record@choose@cite@\csname hi@dfc@#1\endcsname{#1}%
}
\def\hi@record@choose@cite@#1#2{%
    \@test \ifx#1\relax \fi{\@firstoftwo}{%
        \@test \if@hi@note \fi{%
%    \end{macrocode}
% Within a footnote, where the citation has previously been used. If
% the value is negative or zero (i.e., there was a citation in
% text), then always use the short form. If this is a supra-type
% citation, always use the short form. Otherwise, follow the
% five-footnote rule.
%    \begin{macrocode}
            \@test \ifnum #1>\z@ \fi{%
                \@ifundefined{sc@#2@supra}{%
                    \@tempcnta=\c@footnote
                    \advance\@tempcnta-5\relax
%    \end{macrocode}
% Run |\@firstoftwo| if the last citation number was less than
% the current footnote number minus five, and |\@secondoftwo|
% otherwise
%    \begin{macrocode}
                    \@test \ifnum #1<\@tempcnta \fi
                }{\@secondoftwo}%
            }{\@secondoftwo}%
        }{%
%    \end{macrocode}
% Within text. Run |\@firstoftwo| if positive (i.e., only in
% footnotes) and |\@secondoftwo| if negative or zero.
%    \begin{macrocode}
            \@test \ifnum#1>\z@ \fi
        }%
    }%
}
%    \end{macrocode}
%
%</package>
%<*doc>

\paragraph{First Full Citation}\label{s:state-ffc}
For references that follow the five-footnote rule, formatting sometimes will
depend on whether a full citation is the first full citation in the document or
a later repeated one. For example, consider a case citation where several cases
with the same parties are being cited. Consider the following footnote
citations:
\begin{quotation}
1. Plaintiff v. Defendant  (\emph{Plaintiff I}), 123 F. Supp.\ 456 (S.D.N.Y.
1980).

10. Plaintiff v. Defendant  (\emph{Plaintiff II}), 234 F.2d 567 (2d Cir.\ 1981).

25. \emph{Plaintiff I}, 123 F. Supp.\ 456 (S.D.N.Y. 1980).

27. \emph{Plaintiff I}, 123 F. Supp.\ at 460.
\end{quotation}
The citation in footnote 25, despite being a full citation, ought to use the
short-form case name established earlier. It would be odd to repeat the citation
in footnote 1 entirely, because that would duplicatively include the short-form
parenthetical. But omitting the parenthetical renders footnote 27 ambiguous. As
a result, the best presentation for footnote 25 is to use just the established
short-form name with the rest of the case fully cited.

This package accounts for this problem by recording whether a reference
following the five-footnote rule has been cited previously, enabling citation
macros to adjust the contents of full citations accordingly.

%</doc>
%<*package>
%
% \DescribeMacro\hi@record@firstfullcite
% Determines if this citation has had at least one full citation. This will be
% true if |\hi@dfc@|\meta{ref} is defined at all. It is useful for citations
% that follow the five-footnote rule, as it is sometimes relevant to know
% whether a full citation is the first full citation ever or a repeated full
% citation. Takes three arguments: \#1 is the reference name, \#2 is the
% callback for the first full citation ever, and \#3 the callback otherwise.
%
%    \begin{macrocode}
\def\hi@record@firstfullcite#1{%
    \@ifundefined{hi@dfc@#1}%
}
%    \end{macrocode}
%
%</package>
%<*doc>

\subsection{\emph{Id.} Forms}

In addition to long and short citation forms, a citation to a reference may be
replaced with \emph{id.}\ or otherwise altered if the immediately preceding
citation contains duplicative information. Another set of citation state
information must be maintained for this.

Generally, \emph{id.}\ may be used and citation information may be omitted when
it is the same as the previous citation. Assuming that |2 ref at 46| was
previously cited, then:
\begin{demo}
\begin{tabular}{llp{0.47\textwidth}}
\textbf{Next input} & \textbf{Produces} & \textbf{Explanation} \\
\hline
|2 ref at 46| & \emph{Id.} & Volume and page omitted \\
|2 ref at 48| & \emph{Id.}\ at 48 & Volume omitted \\
|3 ref at 50| & 3 \emph{id.}\ at 50 & Both numbers included \\
|3 ref at 46| & 3 \emph{id.}\ at 46 & Page cannot be omitted, as volume
differs \\
\end{tabular}
\end{demo}

However, there are two main exceptions to this information omission process.
First, not every duplicative element can be omitted, if a ``higher level''
element differs. In the last example above, the page number 46 is duplicative,
but it cannot be omitted because the volume number differs. Second, the presence
of multiple citation items in a context can prevent the use of \emph{id.} In
this example:
\begin{demo}
\ttfamily
|\sentence|\{see ref1 at 5; ref2 at 7\}. Further text. |\sentence|\{see ref2 at
7\}.
\end{demo}
No \emph{id.}\ may be used in the final citation, even though the reference and
page are identical to the immediately preceding one, because the first citation
string included two distinct references so \emph{id.} would be ambiguous.
However:
\begin{demo}
\ttfamily
|\sentence|\{see ref1 at 5; but see ref1 at 7\}. Further text. |\sentence|\{see
ref1 at 7\}.
\end{demo}
Here, the last citation should be formatted ``\emph{See} \emph{id.}~at 7.'' The
\emph{id.}\ is permissible because only |ref1| was cited in the first citation
string, but the page number cannot be omitted. Furthermore, a footnote can use
\emph{id.}\ in its first citation only if the previous footnote cited only one
reference.

To implement all of this, the package defines several state variables, generally
reflecting elements of citation items. Each state variable maintains four
pieces of information:
\begin{itemize}
\item A current value, set while the citation item is being processed and
formatted
\item A last value, reflecting the previous citation item's elements to 
current citation item is allowed to use those previous values
\item A flag indicating whether the state variable has received too many values
within a citation string such that it cannot be used for element omission in a
subsequent string. This ``state of the state variable'' flag can take on one of
three conditions:
    \begin{itemize}
    \item Unset: The value at the start of the citation string.
    \item Set: A citation item has set the value of the state variable, and it
    may be used in a future citation string.
    \item Invalid: The state variable has been set two or more times to
    different values. It cannot be used in future citation strings, and it
    invalidates ``lower-level'' state variables as well.
    \end{itemize}
\item An ``invalidation list,'' namely the list of lower-level state variables
that become invalid if this state variable is invalid.
\end{itemize}

%</doc>
%<*package>
%
% List of state variables.
%    \begin{macrocode}
\def\hi@state@list{}
%    \end{macrocode}
%
% Create a state variable. This (1) adds it to a list and (2) creates four
% macros for it: |\@this@|\meta{var}, |\@last@|\meta{var},
% |\hi@sv@st@|\meta{var} (the state), and |\hi@sv@inv@|\meta{var} (the
% invalidation list).
%    \begin{macrocode}
\def\hi@state@var#1{%
    \expandafter\ifx\csname hi@sv@inv@#1\endcsname\relax\else
        \PackageError\hi@pkgname{%
            State variable #1 already defined.\MessageBreak
            Redefining it
        }{}%
    \fi
    \addto@macro\hi@state@list{\do{#1}}%
    \cslet{@this@#1}\relax
    \cslet{@last@#1}\relax
    \cslet{hi@sv@st@#1}\z@
    \cslet{hi@sv@inv@#1}\@empty
    \hi@state@setinv{#1}{#1}%
}
%    \end{macrocode}
%
% Add a state variable \#2 that will be invalidated when state variable \#1
% changes.
%    \begin{macrocode}
\def\hi@state@setinv#1#2{%
    \edef\reserved@a{%
        \noexpand\let
        \expandafter\noexpand\csname hi@sv@st@#2\endcsname
        \noexpand\tw@
    }%
    \expandafter\add@macro@to@macro \csname hi@sv@inv@#1\endcsname\reserved@a
}
%    \end{macrocode}
%
% What follows is the list of state variables, which is used to generate a table
% in the documentation. Please consult the source code for the actual list.
%
%</package>
%<*doc>

\subsubsection{List of State Variables}

\begin{demo}
\def\thelist{}
\def\hi@state@var#1{%
    \appto\thelist{#1&\csname invlist@#1\endcsname\\}%
}
\def\hi@state@setinv#1#2{%
    \@ifundefined{invlist@#1}{%
        \@namedef{invlist@#1}{#2}%
    }{%
        \csappto{invlist@#1}{, #2}%
    }%
}
%</doc>
%<*doc|package>
\hi@state@var{case}
\hi@state@var{orig@page}
\hi@state@var{page}
\hi@state@var{inline}
\hi@state@var{opt}
\hi@state@var{vol}
\hi@state@var{title}
\hi@state@setinv{page}{orig@page}
\hi@state@setinv{case}{page}
\hi@state@setinv{case}{orig@page}
\hi@state@setinv{case}{inline}
\hi@state@setinv{case}{opt}
\hi@state@setinv{case}{vol}
\hi@state@setinv{case}{title}
\hi@state@setinv{title}{vol}
\hi@state@setinv{title}{page}
\hi@state@setinv{title}{orig@page}
\hi@state@setinv{title}{opt}
\hi@state@setinv{vol}{title}
\hi@state@setinv{vol}{page}
\hi@state@setinv{vol}{orig@page}
\hi@state@setinv{vol}{opt}
%</doc|package>
%<*doc>
\begin{tabular}{ll}
\textbf{Variable} & \textbf{Invalidates} \\
\hline
\thelist
\end{tabular}
\end{demo}

\subsubsection{Updating Citation State}

The citation state needs to be updated for each citation string, citation item,
and footnote. The hook macros defined below are used throughout \sec{draw}.

At the beginning of a citation string, all the variables' last values are based
on the state of the system prior to the citation, and they all have a condition
of Unset.

%</doc>
%<*package>
%    \begin{macrocode}
\def\hi@state@startstring{%
    \def\do##1{\cslet{hi@sv@st@##1}\z@}\hi@state@list
}
%    \end{macrocode}
%</package>
%<*doc>

At the beginning of each citation element, all current values are set to
|\relax|. Each element in a citation string can rely on the last values
in displaying itself, and can set the current variables as desired. Some
current variables may be set prior to the citation-specific macros (e.g.,
|\@this@case|).

%</doc>
%<*package>
%    \begin{macrocode}
\def\hi@state@startelt{%
    \def\do##1{\cslet{@this@##1}\relax}\hi@state@list
}
%    \end{macrocode}
%</package>
%<*doc>

At the end of each element in the citation string, all the current values
are checked against their last values.
\begin{itemize}
 \item If the condition is Unset then the condition becomes Set.
 \item If the condition is Set and the last value equals the current value, do
 nothing.
 \item Otherwise, the condition becomes Invalid, and the condition for any
   dependent state variables become Invalid.
\end{itemize}
In all cases, the last value becomes the current value, because within a
single citation string the invalidity state is irrelevant.

%</doc>
%<*package>
%    \begin{macrocode}
\def\hi@state@endelt{%
    \def\do##1{%
        \expandafter\ifcase\csname hi@sv@st@##1\endcsname
            % Unset
            \cslet{hi@sv@st@##1}\@ne
        \or
            % Set
            \hi@state@test{##1}{}{\csname hi@sv@inv@##1\endcsname}%
        \fi
        \csletcs{@last@##1}{@this@##1}%
    }\hi@state@list
}
\def\hi@state@test#1{%
    \@expand{\expandafter\hi@state@test@\csname @this@#1\endcsname}{%
        \csname @last@#1\endcsname
    }{i}%
}
\def\hi@state@test@#1#2{%
    \ifx#1#2\expandafter\@firstoftwo\else\expandafter\@secondoftwo\fi
}
%    \end{macrocode}
%</package>
%<*doc>

At the end of a citation string, all Invalid variables have their last value
set to |\relax|, and all Set variables retain their last value. (There should
be no Unset variables since every variable has its state reviewed for each
citation element, and there must be at least one citation element.)

%</doc>
%<*package>
%    \begin{macrocode}
\def\hi@state@endstring{%
    \def\do##1{%
        \expandafter\ifnum\csname hi@sv@st@##1\endcsname=\tw@
            \cslet{@last@##1}\relax
        \fi
        \cslet{@this@##1}\relax % Unnecessary but prophylactic
    }\hi@state@list
}
%    \end{macrocode}
%</package>
%<*doc>

At the end of a footnote, the last values of the state variables are either
globalized or relaxed, depending on whether there was one or more references
cited.

%</doc>
%<*package>
%    \begin{macrocode}
\def\hi@state@endnote{%
    \ifnum\hi@note@cites=\@ne
        \def\do##1{%
            \expandafter\hi@state@endnote@\csname @last@##1\endcsname
        }\hi@state@list
    \else
        \def\do##1{%
            \global\expandafter\let\csname @last@##1\endcsname\relax
        }\hi@state@list
    \fi
}
\def\hi@state@endnote@#1{%
    \global\let#1#1%
}
%    \end{macrocode}
%</package>
%<*doc>

For inline citations, special handling of citation state is required as
described in \sec{iface}. Thus, several macros are provided for saving all the
state variables to a macro so that they can be restored or reset later.

%</doc>
%<*package>
%
% Saves all the |\@last@|\meta{ref} state variables to a macro. \#1 is the
% macro.
%
%    \begin{macrocode}
\def\hi@state@save#1{%
    \let#1\@empty
    \def\do##1{%
        \expandafter\hi@state@save@one\csname @last@##1\endcsname#1%
    }\hi@state@list
}
\def\hi@state@save@one#1#2{%
    \ifx#1\relax
        \addto@macro#2{\let#1\relax}%
    \else
        \addto@macro#2{\def#1}%
        \expandafter\addto@macro\expandafter#2\expandafter{%
            \expandafter{#1}%
        }%
    \fi
}
%    \end{macrocode}
%
% Resets all last state variables.
%
%    \begin{macrocode}
\def\hi@state@reset{%
    \def\do##1{\expandafter\let\csname @last@##1\endcsname\relax}\hi@state@list
}
%    \end{macrocode}
%
%</package>
%<*doc>

\subsection{Footnote State Management}

\label{s:state-footnote}

Footnotes interact closely with both short and \emph{id.}\ citations: Whether a
short citation can be used depends in part on whether the full citation was in
text or a footnote, and \emph{id.}\ citations can be used at the start of a
footnote depending on the content of the previous footnote. How footnotes
interact with citation forms also depends in part on whether a document is a law
review or legal memorandum document.

As a result, several accounting tasks must be performed at the beginning and
ending of footnotes. For all types of articles, a flag is set indicating that
text is in a footnote, and at the end of footnotes any deferred note text that
has not been emitted (as described in \sec{parens}) is put at the end of the
note.

For law review articles, a counter is kept of how many unique citations have
appeared in the footnote. Each reference cited advances the counter by one,
except \emph{id.}\ citations advance the counter only from zero to one. The
\emph{id.}\ system above uses this counter to determine state after the
footnote. Legal memoranda, on the other hand, prohibit \emph{id.}\ cites at the
beginnings of footnotes, to avoid ambiguity as to whether \emph{id.}\ refers to
the last footnote or the last in-text citation.

%</doc>
%<*package>
%
% TODO: A problem arises when the somenotename option is used in combination
% with the memo style. Because |\hi@note@cites| is never advanced, it remains at
% zero, making it seem as if all footnote citations require a name. The
% workaround used below is to set nonotename, which probably should be the only
% option for memo format.
%
%    \begin{macrocode}
\AtBeginDocument{%
    \let\hi@footnotetext\@footnotetext
    \long\def\@footnotetext#1{%
        \hi@footnotetext{\hi@footnote@pre#1\hi@footnote@post}%
    }%
}%
\newcount\hi@note@cites
\appto\hi@hooks@review{
    \def\hi@note@advance{\advance\hi@note@cites\@ne}
    \def\hi@note@advance@id{\ifnum\hi@note@cites=\z@\hi@note@advance\fi}
    \def\hi@footnote@pre{%
        \@hi@notetrue
        \hi@note@cites\z@
    }
    \def\hi@footnote@post{%
        \hi@deferred@note@endnote
        \hi@state@endnote
        \global\let\@last@inline\relax
    }
}
\appto\hi@hooks@memo{
    \let\hi@note@advance\@empty
    \let\hi@note@advance@id\@empty
    \def\hi@footnote@pre{%
        \@hi@notetrue
        \hi@noid
    }%
    \def\hi@footnote@post{%
        \hi@deferred@note@endnote
    }%
    \hi@noname@always
}
%    \end{macrocode}
%
% Conditional for determining when we're inside a note.
%
%    \begin{macrocode}
\newif\if@hi@note \@hi@notefalse
%    \end{macrocode}
%
%</package>
%<*doc>

\subsection{Manipulating Citation State}

\label{s:state-manip}

While \hia* attempts to choose the correct citation form in any context
automatically, there may be situations where it chooses incorrectly or a writer
wishes to override the automatically selected form. The following macros allow
for doing so.

To avoid conflicts with other packages, these macros are all prefixed with
|\Hi|. This is a change from older versions of \hia*. The legacy macro names are
given in \sec{legacy}.

\MacroSpec\HiNoId
Informs the package not to use \emph{id.}\ for the next
citation, by resetting memory of the last reference cited.
%</doc>
%<*package>
%    \begin{macrocode}
\def\hi@noid{%
    \let\@last@case\relax\let\@last@page\relax\let\@last@vol\relax
    \let\@last@title\relax
}
\let\HiNoId\hi@noid
%    \end{macrocode}
%</package>
%<*doc>

\MacroSpec\HiFullCite \marg{ref} \\
Informs the package to produce a
full citation of \meta{ref} by resetting memory of that reference's use.

%</doc>
%<*package>
%    \begin{macrocode}
\def\HiFullCite#1{%
    \global\expandafter\let\csname hi@dfc@#1\endcsname\relax
    \global\expandafter\let\csname hi@dfi@#1\endcsname\relax
    \hi@noid
}
%    \end{macrocode}
%</package>
%<*doc>

\MacroSpec\HiNoFullCite\marg{ref} \\
Acts as if \meta{ref} was cited without displaying anything, so that the next
citation to that reference is a short form.

%</doc>
%<*package>
%    \begin{macrocode}
\def\HiNoFullCite#1{\hi@record@cite{#1}}
%    \end{macrocode}
%</package>

%<*doc>

\MacroSpec\HiFullTitle\marg{ref}\\
Resets memory of the last statutory title cited.

%
%</doc>
%<*package>
%    \begin{macrocode}
\def\HiFullTitle{\let\@this@title\relax}
%    \end{macrocode}
%</package>
%<*doc>

\MacroSpec\HiResetState
Resets all citation state, forcing all citations to be the full form and
discarding memory of previous citations.

%</doc>
%<*package>
%
%    \begin{macrocode}
\def\HiResetState{%
    \hi@allfullcites
    \gdef\hi@allfullcites{}%
    \def\do##1{%
        \cslet{@last@##1}\relax
    }%
    \hi@state@list
}
%    \end{macrocode}
%
%</package>