Exemplos de Classes e Objetos class Bank { display: Bank ; attributes: public string name; public int receivedAccountPin; public int receivedAccountCode; initial_facts: (current.receivedAccountPin != 0); (current.receivedAccountCode != 0); (current.correctPin != false); activities: primitive_activity registerInfo() { max_duration: 5; } workframe wf_replyAtm { repeat: true; variables: forone(Atm) at3; foreach(Account) bka; when(knownval(at3 ownedbyBank current) and knownval(current.readyToTransmit = true)) do { processReplyAtm(); replyAtm(at3,bka); conclude((current.
{}