xref: /aosp_15_r20/external/google-fruit/extras/doc/checked_incrementer.tex (revision a65addddcf69f38db5b288d787b6b7571a57bb8f)
1*a65addddSAndroid Build Coastguard Worker
2*a65addddSAndroid Build Coastguard Worker\input{header}
3*a65addddSAndroid Build Coastguard Worker\begin{tikzpicture}[scale=1, transform shape]
4*a65addddSAndroid Build Coastguard Worker
5*a65addddSAndroid Build Coastguard Worker\begin{component}{20cm}{1}{0}{CheckedIncrementerComponent}
6*a65addddSAndroid Build Coastguard Worker\newcomponent{0}{0}{IncrementerImplComponent}
7*a65addddSAndroid Build Coastguard Worker\newcomponent{6}{0}{CheckedAdderComponent}
8*a65addddSAndroid Build Coastguard Worker\umlprovidedinterface[interface=Incrementer, distance=3.7, padding=0.9cm]{IncrementerImplComponent}
9*a65addddSAndroid Build Coastguard Worker\umlassemblyconnector[interface=Adder, distance=7]{IncrementerImplComponent}{CheckedAdderComponent}
10*a65addddSAndroid Build Coastguard Worker\end{component}
11*a65addddSAndroid Build Coastguard Worker\umlprovidedinterface[interface=Incrementer, distance=8, with port]{CheckedIncrementerComponent}
12*a65addddSAndroid Build Coastguard Worker\umlassoc{CheckedIncrementerComponent-west-port}{IncrementerImplComponent-west-interface}
13*a65addddSAndroid Build Coastguard Worker
14*a65addddSAndroid Build Coastguard Worker\end{tikzpicture}
15*a65addddSAndroid Build Coastguard Worker\input{footer}
16