scopeex2.tex

\setlength{\unitlength}{0.00083300in}%
%
\begingroup\makeatletter\ifx\SetFigFont\undefined
% extract first six characters in \fmtname
\def\x#1#2#3#4#5#6#7\relax{\def\x{#1#2#3#4#5#6}}%
\expandafter\x\fmtname xxxxxx\relax \def\y{splain}%
\ifx\x\y   % LaTeX or SliTeX?
\gdef\SetFigFont#1#2#3{%
  \ifnum #1<17\tiny\else \ifnum #1<20\small\else
  \ifnum #1<24\normalsize\else \ifnum #1<29\large\else
  \ifnum #1<34\Large\else \ifnum #1<41\LARGE\else
     \huge\fi\fi\fi\fi\fi\fi
  \csname #3\endcsname}%
\else
\gdef\SetFigFont#1#2#3{\begingroup
  \count@#1\relax \ifnum 25<\count@\count@25\fi
  \def\x{\endgroup\@setsize\SetFigFont{#2pt}}%
  \expandafter\x
    \csname \romannumeral\the\count@ pt\expandafter\endcsname
    \csname @\romannumeral\the\count@ pt\endcsname
  \csname #3\endcsname}%
\fi
\fi\endgroup
\begin{picture}(3699,3849)(1564,-4198)
\thicklines
\put(1726,-3211){\framebox(3375,2175){}}
\put(1801,-2536){\framebox(3225,675){}}
\put(1801,-586){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{tt}//@ uses XTrait;}}}
\put(1801,-946){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{tt}class foo \{}}}
\put(1576,-4186){\framebox(3675,3825){}}
\put(1801,-1306){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{tt}//@ uses fooTrait,YTrait;}}}
\put(1801,-2926){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{tt}\} ;}}}
\put(1801,-1486){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{tt}int bar(int x);}}}
\put(1801,-2026){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{tt}//@ behavior \{}}}
\put(1801,-2206){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{tt}//@   ensures result = x + y;}}}
\put(1801,-2386){\makebox(0,0)[lb]{\smash{\SetFigFont{12}{14.4}{tt}//@ \}}}}
\end{picture}