Preparation for the vending machine interfaces

This section contains a number of activities to prepare the definition of state machines for the interfaces of the vending machine.

  • Create a folder "Tutorial".

  • Start Eclipse with the created folder Tutorial as workspace.

  • Get the vending machine example, which contains the starting point for the exercises, by

File > New > Example ; select Vending Machine Example ; Finish

The project contains:

  • A src folder with the Java implementation and a GUI of the vending machine.

  • Folders ICoinCheck, IService, and IUser which contain the starting points for the interface specifications. They will be completed by the activities in this tutorial.

  • File VendingMachine.component which is the starting point of the component specification.

  • File VendingMachine.prj in which generator tasks will be specified. Files with this extension should always be placed in the main project folder.

  • File VendingMachine.types which defines a number of types, in addition to the predefined types such as bool, int, real, and string.