demos
Class CoffeeMachine_Test

java.lang.Object
  demos.CoffeeMachine_Test

public class CoffeeMachine_Test
extends java.lang.Object

A DE model of a user and a TFSM coffee machine. The user is modeled by a DEScenario. He inserts a coin at time 1.0 and pushed the coffee button at time 3.0. The machine becomes ready when the user inserts a coin. It goes into preparing mode when he presses the coffee button. 4 TFSM units of time later, the machine delivers the coffee. Because of the time scale relation between DE and TFSM (time in TFSM is 2 times the time in DE plus 1), the coin is inserted at 2*1+1 = 3 in TFSM, the coffee button is pressed at 2*3+1 = 7 in TFSM time. 4 TFSM time units later, the coffee is served at 11 in TFSM time, which is 5 in DE time. By setting the "verbose" property of the TFSM model to true, you can display messages when states are entered.

Author:

boulange

Constructor Summary

CoffeeMachine_Test()

Method Summary

static void

main(java.lang.String[] args)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CoffeeMachine_Test

public CoffeeMachine_Test()

Method Detail

main

public static void main(java.lang.String[] args)