implementation.tex

\chapter{EiffelStudio Integration}
\label{eiffelstudio-integration}
The following chapter will go into detail about how the \bon{} extractor described in the previous chapter is integrated into EiffelStudio. In continuation of this, the implementation of the extractor itself will be thoroughly explained. This chapter can also be used as a knowledge foundation for developers interested in continuing development on the \bon{} extractor or similar projects in EiffelStudio.
\import{./}{implementation-eiffelstudio}
\import{./}{implementation-bon-extraction}
\import{./}{implementation-type-checker}