\relax 
\newlabel{@firstpg}{{}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Inheritance}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Overriding methods}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}The Java class hierarchy}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Java Interfaces}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Inheritance and Dynamic type-casting}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Methods inherited from Java class Object}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}\texttt  {toString()}}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2} \texttt  {equals} vs. ==}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {5}\texttt  {static} variables and methods}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Scope}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1} \texttt  {this}}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2}Example}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Programming with assertions}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {8}Testing and debugging}{9}}