background-and-design.tex

\chapter{Background and Design}
This chapter will explain the background for the project and introduce the reader to key concepts. Moreover, the basic ideas behind the design of the EiffelStudio integration and textual \bon{} type checker will be explained to give an overview over the implementations before discussing the implementations in detail. The purpose of this chapter is to prepare the reader for the later chapters.
\import{./}{design-eiffelstudio}
\import{./}{design-bon-extraction}
\import{./}{design-type-checker}