有一个处理单价为 1 元 5 角钱的盒装饮料的自动售货机软件。若投入 1 元 5 角硬币,按下 “ 可乐 ” 、 “ 雪碧 ” 、或 “ 红茶 ” 按钮,相应的饮料就送出来。若投入的是 2 元硬币,在送出饮料的同时退还 5 角硬币。