Pages: [1]   Go Down
Print
Author Topic: Interazione Negozio-Cliente con delega alla banca della parte pagamento  (Read 2433 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.083



WWW
« on: 26-05-2018, 09:39:55 »

Code:
type CreditCard = string

type Receipt    = string

type Price      = integer


type bankProc = ?CreditCard.!Receipt.end

type storeAcceptPrice = &{  ok: bankProc,
                            no: end }

type storeSelectProd = &{ camicia  : !Price.storeAcceptPrice,
                          pantalone: !Price.storeAcceptPrice,
  quit: end }





def initSessStore (store : storeSelectProd) =
case store of     
       camicia -> { store!34. case store of
ok ->  initSessBank!store
no -> {} }
       pantalone -> { store!65. case store of
ok ->  initSessBank!store
no -> {} }
       quit -> {}

def initSessBank ( bank: bankProc) =
  bank?numberCard.bank!numberCard++"234"

initSessStore!(new client : dualof storeSelectProd).
client select camicia.
client?price.
if price > 50
then client select no
else client select ok. client!"234234".
client?numberReceipt.
printString!"numero scontrino "++numberReceipt
Logged
Pages: [1]   Go Up
Print
Jump to: