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.