% $Id: macros.tex,v 1.3 2012/01/08 19:12:12 leavens Exp $
\usepackage[T1]{fontenc}
\usepackage{times}
\usepackage{varioref}
\usepackage{listings}
\usepackage{textcomp} %required to set upquote flag %FH
\lstset{upquote=true} %FH
\input{mozart-listings}
\lstset{showstringspaces=false}
\lstset{language=[Mozart]Oz,basicstyle=\ttfamily}
% getting files for figures
\newcommand{\LSTFILE}[1]{
\lstinputlisting[basicstyle=\small\ttfamily]{#1}
}
\newcommand{\LSTCFILE}[1]{
\lstinputlisting[language=C,basicstyle=\small\ttfamily]{#1}
}
\newcommand{\LSTJAVAFILE}[1]{
\lstinputlisting[language=Java,basicstyle=\small\ttfamily]{#1}
}
\newcommand{\LSTFILESLICE}[2]{
\lstinputlisting[basicstyle=\small\ttfamily,linerange={#1}]{#2}
}
\usepackage[bookmarks=false]{hyperref}
\input{obey}
\input{grammar}
\renewcommand{\nonterm}[1]{\mbox{$\langle$\textrm{#1}$\rangle$}}
\renewcommand{\arbno}[1]{\{#1\}}
\newcommand{\gramquote}[1]{\textrm{`}#1\textrm{'}}
\input{use-full-height}
\input{use-medium-width}
\input{continuedenum}
%\input{answers}
%\input{grading}

\newcommand{\citeOutcome}[1]{\href{http://www.eecs.ucf.edu/~leavens/COP4020/about.shtml\#Out#1}{[#1]}}

%\renewcommand{\IGNOREANSWER}[1]{\relax}
%\newcommand{\EXANSWER}{\ANSWER}
%\newcommand{\EXANSWER}[1]{\IGNOREANSWER{#1}}

\newcommand{\secref}[1]{Section~\vref{#1}}  % vref from varioref
\newcommand{\secnref}[1]{Section~\ref{#1}}  % doesn't use varioref
\newcommand{\figref}[1]{Figure~\vref{#1}}  % vref from varioref
\newcommand{\fignref}[1]{Figure~\ref{#1}}  % doesn't use varioref
\newcommand{\exref}[1]{Problem~\vref{#1}}  % vref from varioref
\newcommand{\exnref}[1]{Problem~\ref{#1}}  % doesn't use varioref

% notation for configurations
\newcommand{\nil}{\textbf{\texttt{nil}}}
\newcommand{\TTSREASON}[1]{\REASON{\rightarrow}{#1}}
\newcommand{\TTSFIXEDWIDTHREASON}[1]{\FIXEDWIDTHREASON{\rightarrow}{#1}}
\newcommand{\TTSLONGREASON}[1]{\LONGREASON{\rightarrow}{#1}}
\newcommand{\ENVMAPSTO}[2]{\texttt{#1} \rightarrow #2}
\newcommand{\EXTENDENV}[3]{\ensuremath{#1 + \{\ENVMAPSTO{#2}{#3}\}}}
\newcommand{\NEXT}{\textit{next}}
\newcommand{\ALLOC}{\textit{alloc}}
\newcommand{\BIND}{\textit{bind}}
\newcommand{\UNIFY}{\textit{unify}}

\newcommand{\KW}[1]{\textbf{\texttt{#1}}}
