CashDesk.secarc 490 Bytes
Newer Older
Paff's avatar
Paff committed
1
2
3
4
5
6
7
8
9
package secarc.seccds.fe;

// import message types
import secarc.seccds.msg.*;
import java.awt.Image;

component CashDesk {

	trustlevel +1;
Paff's avatar
Paff committed
10
11
	
	access cashier;
Paff's avatar
Paff committed
12
13
14
15
16
17
18
19
20
21
22

	port 
		in Event newSale,
		in Image barcode,
		out String outIdentifier,
		in Event endSale,
		in ProductData inProductData,
		out ProductData outProductData;
		
	port 
		in Event cardPay,
Paff's avatar
Paff committed
23
24
25
		in CardData,
		in Integer pin,
		out BankData bdOut,
Paff's avatar
Paff committed
26
27
28
29
		in PaymentAck paIn,
		out Boolean validation;
	
	port
Paff's avatar
Paff committed
30
		out SaleInformation;
Paff's avatar
Paff committed
31
32
		
}