extras/doc/checked_incrementer.tex

\input{header}
\begin{tikzpicture}[scale=1, transform shape]

\begin{component}{20cm}{1}{0}{CheckedIncrementerComponent}
\newcomponent{0}{0}{IncrementerImplComponent}
\newcomponent{6}{0}{CheckedAdderComponent}
\umlprovidedinterface[interface=Incrementer, distance=3.7, padding=0.9cm]{IncrementerImplComponent}
\umlassemblyconnector[interface=Adder, distance=7]{IncrementerImplComponent}{CheckedAdderComponent}
\end{component}
\umlprovidedinterface[interface=Incrementer, distance=8, with port]{CheckedIncrementerComponent}
\umlassoc{CheckedIncrementerComponent-west-port}{IncrementerImplComponent-west-interface}

\end{tikzpicture}
\input{footer}