2013-10-07 22:43:18 +00:00
|
|
|
\def\keyword#1{\textbf{#1}}
|
2013-10-09 00:11:51 +00:00
|
|
|
\def\builtinId#1{\textbf{#1}}
|
2013-10-07 22:43:18 +00:00
|
|
|
\def\comment#1{\textit{#1}}
|
|
|
|
\def\capt#1{\rmfamily \caption{#1}}
|
|
|
|
\newcommand{\cd}[1]{\textsf{#1}}
|
|
|
|
\def\lt{$<$}
|
|
|
|
\def\gt{$>$}
|
|
|
|
\def\<{$\langle$}
|
|
|
|
\def\>{$\rangle$}
|
|
|
|
|
2013-10-09 00:11:51 +00:00
|
|
|
\def\ABSTRACT{\builtinId{abstract}}
|
|
|
|
\def\AS{\builtinId{as}}
|
2013-10-07 22:43:18 +00:00
|
|
|
\def\ASSERT{\keyword{assert}}
|
2014-10-08 15:55:04 +00:00
|
|
|
\def\ASYNC{\keyword{async}}
|
|
|
|
\def\AWAIT{\keyword{await}}
|
2013-10-07 22:43:18 +00:00
|
|
|
\def\BOOLEAN{\keyword{boolean}}
|
|
|
|
\def\BREAK{\keyword{break}}
|
|
|
|
\def\CASE{\keyword{case}}
|
|
|
|
\def\CLASS{\keyword{class}}
|
|
|
|
\def\CALL{\keyword{call}}
|
|
|
|
\def\CATCH{\keyword{catch}}
|
|
|
|
\def\CONST{\keyword{const}}
|
|
|
|
\def\CONTINUE{\keyword{continue}}
|
|
|
|
\def\DEFAULT{\keyword{default}}
|
2014-10-08 15:55:04 +00:00
|
|
|
\def\DEFERRED{\keyword{deferred}}
|
2013-10-09 00:11:51 +00:00
|
|
|
\def\DYNAMIC{\builtinId{dynamic}}
|
2013-10-07 22:43:18 +00:00
|
|
|
\def\DO{\keyword{do}}
|
|
|
|
\def\ELSE{\keyword{else}}
|
2014-10-08 15:55:04 +00:00
|
|
|
\def\ENUM{\keyword{enum}}
|
2013-10-07 22:43:18 +00:00
|
|
|
\def\EQUALS{\keyword{equals}}
|
2013-10-09 00:11:51 +00:00
|
|
|
\def\EXPORT{\builtinId{export}}
|
2013-10-07 22:43:18 +00:00
|
|
|
\def\EXTENDS{\keyword{extends}}
|
2013-10-09 00:11:51 +00:00
|
|
|
\def\EXTERNAL{\builtinId{external}}
|
|
|
|
\def\FACTORY{\builtinId{factory}}
|
2013-10-07 22:43:18 +00:00
|
|
|
\def\FALSE{\keyword{false}}
|
|
|
|
\def\FINAL{\keyword{final}}
|
|
|
|
\def\FINALLY{\keyword{finally}}
|
|
|
|
\def\FOR{\keyword{for}}
|
2013-10-09 00:11:51 +00:00
|
|
|
\def\GET{\builtinId{get}}
|
2013-10-07 22:43:18 +00:00
|
|
|
\def\HIDE{\keyword{hide}}
|
|
|
|
\def\IF{\keyword{if}}
|
2013-10-09 00:11:51 +00:00
|
|
|
\def\IMPLEMENTS{\builtinId{implements}}
|
|
|
|
\def\IMPORT{\builtinId{import}}
|
2013-10-07 22:43:18 +00:00
|
|
|
\def\IN{\keyword{in}}
|
|
|
|
\def\INT{\keyword{int}}
|
|
|
|
\def\INTERFACE{\keyword{interface}}
|
|
|
|
\def\IS{\keyword{is}}
|
2013-10-09 00:11:51 +00:00
|
|
|
\def\LIBRARY{\builtinId{library}}
|
2013-10-07 22:43:18 +00:00
|
|
|
\def\NATIVE{\keyword{native}}
|
|
|
|
\def\NEGATE{\keyword{negate}}
|
|
|
|
\def\NEW{\keyword{new}}
|
|
|
|
\def\NULL{\keyword{null}}
|
|
|
|
\def\ON{\keyword{on}}
|
|
|
|
\def\OF{\keyword{of}}
|
2013-10-09 00:11:51 +00:00
|
|
|
\def\OPERATOR{\builtinId{operator}}
|
|
|
|
\def\PART{\builtinId{part}}
|
2013-10-07 22:43:18 +00:00
|
|
|
\def\PRIVATE{\keyword{private}}
|
|
|
|
\def\RETHROW{\keyword{rethrow}}
|
|
|
|
\def\RETURN{\keyword{return}}
|
2013-10-09 00:11:51 +00:00
|
|
|
\def\SET{\builtinId{set}}
|
2013-10-07 22:43:18 +00:00
|
|
|
\def\SHOW{\keyword{show}}
|
|
|
|
\def\SOURCE{\keyword{source}}
|
2013-10-09 00:11:51 +00:00
|
|
|
\def\STATIC{\builtinId{static}}
|
2013-10-07 22:43:18 +00:00
|
|
|
\def\SUPER{\keyword{super}}
|
|
|
|
\def\SWITCH{\keyword{switch}}
|
2014-10-08 15:55:04 +00:00
|
|
|
\def\SYNC{\keyword{sync}}
|
2013-10-07 22:43:18 +00:00
|
|
|
\def\THIS{\keyword{this}}
|
|
|
|
\def\THROW{\keyword{throw}}
|
|
|
|
\def\TRUE{\keyword{true}}
|
|
|
|
\def\TRY{\keyword{try}}
|
2013-10-09 00:11:51 +00:00
|
|
|
\def\TYPEDEF{\builtinId{typedef}}
|
2013-10-07 22:43:18 +00:00
|
|
|
\def\THIS{\keyword{this}}
|
|
|
|
\def\VAR{\keyword{var}}
|
|
|
|
\def\VOID{\keyword{void}}
|
|
|
|
\def\WHILE{\keyword{while}}
|
2014-10-08 15:55:04 +00:00
|
|
|
\def\WITH{\keyword{with}}
|
|
|
|
\def\YIELD{\keyword{yield}}
|
2013-10-07 22:43:18 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
% \def\PUBLIC{\keyword{public}}
|
|
|
|
|
|
|
|
%\def\PROTECTED{\keyword{protected}}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
% \def\OUTER{\keyword{outer}}
|
|
|
|
|
|
|
|
\def\TRUE{\keyword{true}}
|
|
|
|
|
|
|
|
|
|
|
|
\newenvironment{Q}[1]{{\bf #1}}
|
|
|
|
|
|
|
|
\newenvironment{rationale}[1]{{\it #1}}
|
|
|
|
|
|
|
|
\newenvironment{commentary}[1]{{\sf #1}}
|
|
|
|
|
|
|
|
\newenvironment{dartCode}[1][!ht] {
|
|
|
|
% \begin{verbatim}[#1]
|
|
|
|
\def\@programcr{\@addfield\strut}
|
|
|
|
\let\\=\@programcr
|
|
|
|
\relax\@vobeyspaces\obeylines
|
|
|
|
|
|
|
|
\sffamily
|
|
|
|
}{
|
|
|
|
%\end{verbatim}
|
|
|
|
}
|