on GroupProject3a
Report Configuration vxworks
Overridden Properties Subjects: CG Metaclasses: CGGeneral Properties: GeneratedCodeInBrowser: True
PACKAGES
Atm
We are implementing an ATM system. The user will be able to log on at a remote system and will be able to make the following transactions for both a checking and savings account; Cash withdrawl, cash deposit, and check their account balance. The server will provide security features such as verifying the pin number, transactiong validity (no overdrafts, correct user, etc...), error handling The user will do all transactions on a remote system and send requests to a server which will validate the requests and process it accordingly. Overridden Properties Subjects: CG Metaclasses: Package Properties: GenerateWithAggregates: True
USE CASE DIAGRAMS:
AtmMachine
Atm
Withdrawls
SignIn Deposits
User Check Balance
Security
Overridden Properties Subjects: General Metaclasses: Diagram Properties: LastModifiedTime: 12.3.2003::22:25:31
EVENTS:
evAccountBad
This event is triggered if the account number is not recognized by the system.
evAccountGood
This event is triggered if the account number is correct, allowing the user to type in the pin number next.
evCBalance
it is triggered when the balance is received
evEnterButton
This event generates an event when any number is taken from the keyboard, after the"enter" button was pressed.
evGetAccountNumber
event is tirggered when the user wants to input the account number
evGetAmount
event is called when the user wants to input a requested amount
evGetPinNumber
the event is called when the user wants to input the pin number
evPinBad
This event is sent if the user has typed an incorrect pin number.
evPinGood
This event is tiggered when a correct pin number has been entered, matching to a corresponding account number.
evSendInfo
This event sends the pin and checking information after the user has typed it in. Args: int inst type of instruction
evStartDeposit
evStartDeposit is triggered when the buffer sends back the deposit inst.
evStartOver
event is triggered when the user wants to reset the system
evTrigger1
When button 1 is pressed on the PIC_Board, this event is triggered.
evTrigger10
When button 10 is pressed on the PIC_Board, this event is triggered.
evTrigger2
When button 2 is pressed on the PIC_Board, this event is triggered.
evTrigger3
When button 3 is pressed on the PIC_Board, this event is triggered.
evTrigger4
When button 4 is pressed on the PIC_Board, this event is triggered.
evTrigger5
When button 5 is pressed on the PIC_Board, this event is triggered. It carries the parameter "x" of type integer. This parameter holds the specific amount of money requested for a withdrawl or a deposit, when sending a request to the Bank from the ATM. Args: int x parameter of a specific amount of money
evTrigger6
When button 6 is pressed on the PIC_Board, this event is triggered. It carries the parameter "x" of type integer. This parameter holds the specific amount of money requested for a withdrawl or a deposit, when sending a request to the Bank from the ATM. Args: int x parameter of a specific amount of money
evTrigger7
When button 7 is pressed on the PIC_Board, this event is triggered. It carries the parameter "x" of type integer. This parameter holds the specific amount of money requested for a withdrawl or a deposit, when sending a request to the Bank from the ATM. Args: int x parameter of a specific amount of money
evTrigger8
When button 8 is pressed on the PIC_Board, this event is triggered. It carries the parameter "x" of type integer. This parameter holds the specific amount of money requested for a withdrawl or a deposit, when sending a request to the Bank from the ATM. Args: int x parameter of a specific amount of money
evTrigger9
When button 9 is pressed on the PIC_Board, this event is triggered. It carries the parameter "x" of type integer. This parameter holds the specific amount of money requested for a withdrawl or a deposit, when sending a request to the Bank from the ATM. Args: int x parameter of a specific amount of money
evWithdrawlBad
If the amount to requested money for withdrawl is more than the available balance, the this event is triggered.
evWithdrawlGood
If the requested withdrawl amount is acceptable by the bank, then this event will be triggered.
GLOBALS:
Relations: itsMyPIC Composition of myPIC, Multiplicity of 1, Uni-directional itsDisplay Composition of Display, Multiplicity of 1, Uni-directional itsMyKeyboard Composition of myKeyboard, Multiplicity of 1, Uni-directional itsKey Composition of key, Multiplicity of 1, Uni-directional itsInput_Output Composition of Input_Output, Multiplicity of 1, Uni-directional Instantiated Relations: itsMyPIC of itsDisplay with itsMyPIC itsDisplay of itsKey with itsDisplay itsKey of itsDisplay with itsKey itsMyPIC of itsKey with itsMyPIC itsDisplay of itsInput_Output with itsDisplay itsInput_Output of itsDisplay with itsInput_Output itsMyKeyboard of itsDisplay with itsMyKeyboard itsDisplay of itsMyKeyboard with itsDisplay itsMyKeyboard of itsInput_Output with itsMyKeyboard itsInput_Output of itsMyKeyboard with itsInput_Output
CLASSES:
Display
Welcomesa new user to the system. Here the menu for the different transactions is displayed. When a selection is made, the output resulting in the transaction will also be displayed. The Display essentially provides the interface that a client will use to make selections from the keyboard and picBoard. Overridden Properties Subjects: CG Metaclasses: Class Properties: Concurrency: active Relations: itsMyPIC directional assocation from display to myPic Association with myPIC, Multiplicity of 1, Uni-directional itsKey Association with key, Multiplicity of 1, Bi-directional
itsInput_Output Association with Input_Output, Multiplicity of 1, Bi-directional itsMyKeyboard Association with myKeyboard, Multiplicity of 1, Bi-directional Operations: evAccountBad This event is triggered if the account number is not recognized by the system. Event evAccountGood This event is triggered if the account number is correct, allowing the user to type in the pin number next. Event evCBalance it is triggered when the balance is received Event evEnterButton This event generates an event when any number is taken from the keyboard, after the"enter" button was pressed. Event evPinBad This event is sent if the user has typed an incorrect pin number. Event evPinGood This event is tiggered when a correct pin number has been entered, matching to a corresponding account number. Event evStartDeposit evStartDeposit is triggered when the buffer sends back the deposit inst. Event evStartOver event is triggered when the user wants to reset the system Event evTrigger1 When button 1 is pressed on the PIC_Board, this event is triggered. Event evTrigger10 When button 10 is pressed on the PIC_Board, this event is triggered. Event evTrigger2 When button 2 is pressed on the PIC_Board, this event is triggered. Event evTrigger3 When button 3 is pressed on the PIC_Board, this event is triggered. Event evTrigger4 When button 4 is pressed on the PIC_Board, this event is triggered. Event evTrigger5 When button 5 is pressed on the PIC_Board, this event is triggered. It carries the parameter "x" of type integer. This parameter holds the specific amount of money requested for a withdrawl or a deposit, when sending a request to the Bank from the ATM. Event evTrigger6 When button 6 is pressed on the PIC_Board, this event is triggered. It carries the parameter "x" of type integer. This parameter holds the specific amount of money
requested for a withdrawl or a deposit, when sending a request to the Bank from the ATM. Event evTrigger7 When button 7 is pressed on the PIC_Board, this event is triggered. It carries the parameter "x" of type integer. This parameter holds the specific amount of money requested for a withdrawl or a deposit, when sending a request to the Bank from the ATM. Event evTrigger8 When button 8 is pressed on the PIC_Board, this event is triggered. It carries the parameter "x" of type integer. This parameter holds the specific amount of money requested for a withdrawl or a deposit, when sending a request to the Bank from the ATM. Event evTrigger9 When button 9 is pressed on the PIC_Board, this event is triggered. It carries the parameter "x" of type integer. This parameter holds the specific amount of money requested for a withdrawl or a deposit, when sending a request to the Bank from the ATM. Event evWithdrawlBad If the amount to requested money for withdrawl is more than the available balance, the this event is triggered. Event evWithdrawlGood If the requested withdrawl amount is acceptable by the bank, then this event will be triggered. Event Attributes: accountBalance This is the account balance of the client. Upon a request, the ATM will send a reuqest for an account balance from the Bank, and will receive the amount and store it in this attribute. It is initialized to 0. Type of int, Public, Initial Value: 0 accountType There are two account types. Although set to the character '0' by default, the accountType will be assigned checking or savings depending on the choice made at the ATM. Type of int, Public, Initial Value: 0 withdrawlAmount This is the withdrawl amount. It is initialized to 0. The user specifies the withdrawl amount from the choices on the picBoard. Type of int, Public, Initial Value: 0
Statechart
Hello dr. Quinn :)
dummy
tm(500)/cout << (char)12 ; atmStart> atmDisplay ev Trigger4/itsInput_Output->GEN(ev SendInf o(6)); welcome> cout << (char)12 ; ev Trigger1 2 5
withdrawl...
ev EnterButton
checkAccnt>
ev AccountBad/cout<<" Account Number was bad please enter again. "<<endl; cout<<" "<<endl; ev PinGood ev Trigger3 checkPin accountBalance1... 3 4
ev Trigger2
1
deposit...
ev AccountGood ev PinBad/cout<<"Pin was bad please enter again. "<<endl; cout<<" "<<endl; cout<<" "<<endl;
pin>
ev EnterButton/itsInput_Output->GEN(ev SendInf o(2));
Overridden Properties Subjects: General Metaclasses: Diagram Properties: LastModifiedTime: 12.4.2003::7:39:36 ROOT Or-state Substates: atmDisplay atmStart checkAccnt checkPin dummy pin Default Transition Target: dummy atmDisplay the atmDisplay with all the display windows Or-state Substates: accountBalance1 deposit welcome withdrawl
Default Transition Target: welcome accountBalance1 account Balance1 menu Nested Statechart Or-state deposit the deposit state Nested Statechart Or-state EntryAction welcome the welcome state with the account options Or-state EntryAction
cout << (char)12 ; cout << "Welcome to the main menu" <<endl; cout << "Please choose an option" << endl; cout << "" << endl; cout << "" << endl; cout cout cout cout << << << << "1: "2: "3: "4: Withdrawl Money" <<endl; Deposit Money" << endl; Check Account Balance" << endl; Log Out" << endl;
Out Transition
evTrigger1
Target: withdrawl Out Transition
evTrigger3
Target: accountBalance1 Out Transition
evTrigger2
Target: deposit Out Transition
evTrigger4/itsInput_Output->GEN(evSendInfo(6)); cout << (char)12 ;
Target: atmStart withdrawl withdrawl menu Nested Statechart Or-state atmStart The beginning menu for the atm. asks for the account number Or-state EntryAction
cout << "Welcome to Group 3 Atm" << endl; cout << " " <<endl; cout << " " <<endl;
cout << " " <<endl; itsMyKeyboard->GEN(evGetAccountNumber()); cout << "Please enter your account number" <<endl;
Out Transition
evEnterButton
Target: checkAccnt checkAccnt sends the info to the bank to check if the account is vallid or not Or-state EntryAction
itsInput_Output->GEN(evSendInfo(1));
Out Transition
evAccountGood
Target: pin Out Transition
evAccountBad/cout<<"Account Number was bad please enter again. "<<endl; cout<<" "<<endl; cout<<" "<<endl;
Target: atmStart checkPin waits for an event to be called Or-state Out Transition
evPinBad/cout<<"Pin was bad please enter again. "<<endl; cout<<" "<<endl; cout<<" "<<endl;
Target: pin Out Transition
evPinGood
Target: atmDisplay dummy dummy state Or-state Out Transition
tm(500)/cout << (char)12 ;
Target: atmStart pin requests the pin number then gets it from the keyboard Or-state EntryAction
cout << " " <<endl; cout << " " <<endl; cout << " " <<endl; itsMyKeyboard->GEN(evGetPinNumber());
cout << "Please enter your Pin number" <<endl;
Out Transition
evEnterButton/itsInput_Output->GEN(evSendInfo(2));
Target: checkPin Statechart of accountBalance1
accountBalance1
dummy tm(50) startBalance> sav ings>
ev Trigger1/accountTy pe = 1; waitingC> ev CBalance checking> ev Trigger2/accountTy pe = 2; ev Trigger4 waitingS> 4 ev CBalance
ev Trigger4 3
Overridden Properties Subjects: General Metaclasses: Diagram Properties: LastModifiedTime: 12.4.2003::7:35:7 ROOT Or-state Substates: accountBalance1 accountBalance1 Account balance display menu Or-state Substates: checking dummy savings startBalance
waitingC waitingS Default Transition Target: dummy checking prints out the checking balance Or-state EntryAction
endl; cout<< "Your checking balance is: cout << "" << endl; cout << "" << endl; cout << "Please push 4 to return to the main menu" << endl; $" << accountBalance <<
Out Transition
evTrigger4
Target: welcome dummy dummy state Or-state Out Transition
tm(50)
Target: startBalance savings prints out the savings balance Or-state EntryAction
cout<< "Your savings balance is: cout << "" << endl; cout << "" << endl; $" << accountBalance<< endl;
cout << "Please push 4 to return to the main menu" << endl;
Out Transition
evTrigger4
Target: welcome startBalance a user menu that ask the user if he/she wants to view the account balance for either the checking or savings account Or-state EntryAction
cout cout cout cout << << << << (char)12 ; "Account Balance Main Menu" << endl; "" << endl; "" << endl;
cout << "Please choose which account you would like to select" << endl; cout << "" << endl; cout << "" << endl; cout << "1: Checkings" << endl;
cout << "2:
Savings" << endl;
Out Transition
evTrigger1/accountType = 1;
Target: waitingC Out Transition
evTrigger2/accountType = 2;
Target: waitingS waitingC sends the info to the bank Or-state EntryAction
itsInput_Output->GEN(evSendInfo(5));
Out Transition
evCBalance
Target: checking waitingS sends the info to the bank Or-state EntryAction
itsInput_Output->GEN(evSendInfo(5)); //cout << "*********in waitingS*******" << endl;
Out Transition
evCBalance
Target: savings Statechart of deposit
deposit
dummy
savings> startDeposit> evEnterButton evTrigger2/accountType = 2; cSavings> evTrigger1/accountType = 1; evStartDeposit checking> cChecking> evStartDeposit 1 comfirmDeposit> evTrigger4 evEnterButton
tm(50)
Overridden Properties Subjects: General Metaclasses: Diagram Properties: LastModifiedTime: 12.4.2003::7:39:36 ROOT Or-state Substates: deposit deposit the deposit display menu state Or-state Substates: cChecking checking comfirmDeposit cSavings dummy savings startDeposit Default Transition Target: dummy cChecking sends the info with parameter of 4 Or-state EntryAction
itsInput_Output->GEN(evSendInfo(4));
Out Transition
evStartDeposit
Target: comfirmDeposit checking its displays a menu askin how much the user wants to input using the keyboard Or-state EntryAction
cout << (char)12 ; cout << "Please enter how much you are depositing" << endl; itsMyKeyboard->GEN(evGetAmount()); cout << "" << endl; cout << "" << endl;
Out Transition
evEnterButton
Target: cChecking comfirmDeposit it displays how much the used has just deposited. it tells the user to push 4 to go back to the mainmenu Or-state EntryAction
cout << (char)12;
cout << "You Have Deposited: " << itsMyKeyboard>getDepositAmount() << endl; cout << "" << endl; cout << "" << endl; cout << "Please push 4 to go back to the main menu" << endl;
Out Transition
evTrigger4
Target: welcome cSavings sends the info with parameter of 4 Or-state EntryAction Out Transition
itsInput_Output->GEN(evSendInfo(4)); evStartDeposit
Target: comfirmDeposit dummy dummy state Or-state Out Transition
tm(50)
Target: startDeposit savings its displays a menu askin how much the user wants to input using the keyboard Or-state EntryAction
cout << (char)12 ; cout << "Please enter how much you are depositing" << endl; itsMyKeyboard->GEN(evGetAmount()); cout << "" << endl; cout << "" << endl;
Out Transition
evEnterButton
Target: cSavings startDeposit the deposit main menu that asks if the user wants to deposit into checking or savings Or-state EntryAction
cout cout cout cout << << << << (char)12 ; "Deposit Main Menu" << endl; "" << endl; "" << endl;
cout << "Please choose which account you would like to select" << endl; cout << "" << endl; cout << "" << endl; cout << "1: cout << "2: Checkings" << endl; Savings" << endl;
Out Transition
evTrigger1/accountType = 1;
Target: checking Out Transition Target: savings Statechart of withdrawl
evTrigger2/accountType = 2;
savingDisplay> withdrawl dummy
tm(50)
beginWithdrawl>
evTrigger2/accountType = 2; cout << (char)12; evTrigger5/withdrawlAmount=(params->x); evTrigger6/withdrawlAmount=(params->x); evTrigger1/accountType = 1; evTrigger7/withdrawlAmount=(params->x); cout << (char)12 ; evTrigger8/withdrawlAmount=(params->x); evTrigger9/withdrawlAmount=(params->x); checkingDisplay> withdrawlDisplay> evTrigger5/withdrawlAmount=(params->x); evTrigger6/withdrawlAmount=(params->x); evTrigger7/withdrawlAmount=(params->x); evTrigger8/withdrawlAmount=(params->x); evTrigger9/withdrawlAmount=(params->x); evWithdrawl Bad[accountType = 1] displayW> evTrigger4 2 evWithdrawlBad[accountType = 2] badWIthdrawl> evTrigger4 evWithdrawlGood
5
Overridden Properties Subjects: General Metaclasses: Diagram Properties: LastModifiedTime: 12.4.2003::7:35:17 ROOT Or-state Substates: withdrawl withdrawl the withdrawl display menu Or-state Substates: badWIthdrawl
beginWithdrawl checkingDisplay displayW dummy savingDisplay withdrawlDisplay Default Transition Target: dummy badWIthdrawl bad withdrawl state, tells the user to push 4 to go back to the main menu Or-state EntryAction
cout << (char)12; cout << "Insufficent Funds in Account" << endl; cout cout cout cout << << << << "" "" "" "" << << << << endl; endl; endl; endl;
cout << "Please push 4 to go back to the main menu" << endl;
Out Transition
evTrigger4
Target: welcome beginWithdrawl displays the checking or savings option to the user Or-state EntryAction
cout << (char)12 ; cout << "Withdrawl Main Menu" << endl; cout << "" << endl; cout << "" << endl; cout << "Please choose which account you would like to select" << endl; cout << "" << endl; cout << "" << endl; cout << "1: cout << "2: Checkings" << endl; Savings" << endl;
Out Transition
evTrigger1/accountType = 1; cout << (char)12 ;
Target: checkingDisplay Out Transition
evTrigger2/accountType = 2; cout << (char)12;
Target: savingDisplay checkingDisplay asks the user how much he/she wants to withdrawl using the pic board Or-state EntryAction
cout << "Please select how much you would like to withdrawl" <<endl; cout << "" << endl; cout << "" << endl;
cout cout cout cout cout
<< << << << <<
"5: "6: "7: "8: "9:
$20 $40 $60 $80 $100
" " << " " "
<< endl; endl; << endl; << endl; << endl;
Out Transition
evTrigger5/withdrawlAmount=(params->x);
Target: withdrawlDisplay Out Transition
evTrigger6/withdrawlAmount=(params->x);
Target: withdrawlDisplay Out Transition
evTrigger7/withdrawlAmount=(params->x);
Target: withdrawlDisplay Out Transition
evTrigger8/withdrawlAmount=(params->x);
Target: withdrawlDisplay Out Transition
evTrigger9/withdrawlAmount=(params->x);
Target: withdrawlDisplay displayW shows the user how much he/she withdrew and tells the user to push 4 to go back to the main menu Or-state EntryAction
cout << (char)12; cout << "You Have Withdrawn: " << withdrawlAmount << endl; cout << "" << endl; cout << "" << endl;
cout << "Please push 4 to go back to the main menu" << endl;
Out Transition
evTrigger4
Target: welcome dummy dummy state Or-state Out Transition
tm(50)
Target: beginWithdrawl savingDisplay asks the user how much he/she wants to withdrawl using the pic board Or-state EntryAction
cout << "Please select how much you would like to withdrawl" <<endl; cout << "" << endl; cout << "" << endl;
cout cout cout cout cout
<< << << << <<
"5: "6: "7: "8: "9:
$20 $40 $60 $80 $100
" " << " " "
<< endl; endl; << endl; << endl; << endl;
Out Transition
evTrigger6/withdrawlAmount=(params->x);
Target: withdrawlDisplay Out Transition Target: withdrawlDisplay Out Transition Target: withdrawlDisplay Out Transition Target: withdrawlDisplay Out Transition Target: withdrawlDisplay withdrawlDisplay sends the info to the bank Or-state EntryAction Out Transition
evTrigger7/withdrawlAmount=(params->x);
evTrigger8/withdrawlAmount=(params->x);
evTrigger9/withdrawlAmount=(params->x);
evTrigger5/withdrawlAmount=(params->x);
itsInput_Output->GEN(evSendInfo(3)); evWithdrawlGood
Target: displayW Out Transition
evWithdrawlBad[accountType = 1]
Target: badWIthdrawl Out Transition
evWithdrawlBad[accountType = 2]
Target: badWIthdrawl
Input_Output
Handles the communication between the atm and the bank Overridden Properties Subjects: CG Metaclasses: Class Properties: Concurrency: active Relations: itsDisplay symmetric association between the input_output and display Association with Display, Multiplicity of 1, Bi-directional itsMyKeyboard symmetric association between the input_output and keyboard Association with myKeyboard, Multiplicity of 1, Bi-directional Operations: createPacket creates the packet to send through the buffer Primitive-operation , Public, Return type is void Body
if (Uoutbuffer.newStruct.inst == 1) { Uoutbuffer.newStruct.accountNum = itsMyKeyboard>getAccountNumber(); } else if (Uoutbuffer.newStruct.inst == 2) { Uoutbuffer.newStruct.accountPin = itsMyKeyboard>getPinNumber(); } else if (Uoutbuffer.newStruct.inst == 3) { Uoutbuffer.newStruct.balance = itsDisplay>getWithdrawlAmount(); Uoutbuffer.newStruct.accountType = itsDisplay>getAccountType(); } else if (Uoutbuffer.newStruct.inst == 4) { Uoutbuffer.newStruct.balance = itsMyKeyboard>getDepositAmount(); Uoutbuffer.newStruct.accountType = itsDisplay>getAccountType(); } else if (Uoutbuffer.newStruct.inst == 5) { Uoutbuffer.newStruct.accountType = itsDisplay>getAccountType(); }
evSendInfo This event sends the pin and checking information after the user has typed it in. Event extractPacket extract the packet that was sent by the bank Primitive-operation , Public, Return type is void
Body
int temp; if (Uinbuffer.newStruct.inst1 == 1) { if (Uinbuffer.newStruct.valid1 == 1) { itsDisplay->GEN(evAccountGood()); } else { itsDisplay->GEN(evAccountBad()); } } else if (Uinbuffer.newStruct.inst1 == 2) { if (Uinbuffer.newStruct.valid1 ==1) { itsDisplay->GEN(evPinGood()); } else { itsDisplay->GEN(evPinBad()); } } else if (Uinbuffer.newStruct.inst1 == 3) { if (Uinbuffer.newStruct.valid1 == 1) { itsDisplay->GEN(evWithdrawlGood()); } else { itsDisplay->GEN(evWithdrawlBad()); } } else if (Uinbuffer.newStruct.inst1 == 5) { //cout << "**********the instruction is 5**********" << endl; temp = Uinbuffer.newStruct.balance1; itsDisplay->setAccountBalance(temp); itsDisplay->GEN(evCBalance()); } else if (Uinbuffer.newStruct.inst1 == 7) { itsDisplay->GEN(evStartDeposit()); } /*else if (Uinbuffer.newStruct.inst1 == 6) { itsDisplay->GEN(evStartOver()); } */
sendAndRecv sends and recieves the buffer to and from the bank and machine atm Primitive-operation , Public, Return type is void Body
clientSocket = socketInit(); send(clientSocket, Uoutbuffer.outBuffer, sizeof(Uoutbuffer.outBuffer), 0); recv(clientSocket, Uinbuffer.inBuffer, sizeof(Uinbuffer.inBuffer), 0); close(clientSocket);
socketInit
creates the socket Primitive-operation , Public, Return type is int Body
struct sockaddr_in serverAddr; int sockAddrSize; int clientSocket; memset(&serverAddr, 0, sizeof(serverAddr)); serverAddr.sin_addr.s_addr = inet_addr("129.210.16.164"); serverAddr.sin_family = AF_INET; serverAddr.sin_port = 5000; // create client's socket if ((clientSocket = socket (AF_INET, SOCK_STREAM, 0)) == ERROR) { perror("Error creating socket"); return(-1); } if (connect (clientSocket, (struct sockaddr *) &serverAddr, sizeof(serverAddr)) == ERROR) { perror ("Could not connect to Server"); close (clientSocket); return (-1); } return(clientSocket);
Attributes: clientSocket The handle for a connected Socket. Type of int, Public Uinbuffer it is an array of characters and a structure of ints that are unioned together inorder to be sent over the buffer Overridden Properties Subjects: CPP_CG Metaclasses: Attribute Properties: MutatorGenerate: False AccessorGenerate: False Type of 'unionchar inBuffer[24];struct newStruct1int inst1;int accountNum1;int accountPin1;int accountType1;int balance1;int valid1;newStruct;;', Public Uoutbuffer it is an array of characters and a structure of ints that are unioned together inorder to be sent over the buffer Overridden Properties Subjects: CPP_CG Metaclasses: Attribute Properties: MutatorGenerate: False AccessorGenerate: False Type of 'unionchar outBuffer[24];struct newStruct1int inst;int accountNum;int accountPin; int accountType;int balance;int valid; newStruct; ;', Public
Statechart
waitForEvent
evSendInfo/ Uoutbuffer.newStruct.inst = params->inst;
sendMessage>
Overridden Properties Subjects: General Metaclasses: Diagram Properties: LastModifiedTime: 12.3.2003::22:32:35 ROOT Or-state Substates: sendMessage waitForEvent Default Transition Target: waitForEvent sendMessage sends the messageby first creating the packet, then sending and receiving the buffer. then it extracts the packet sent by the bank Or-state EntryAction
createPacket(); sendAndRecv(); extractPacket();
Out Transition Target: waitForEvent waitForEvent waits for the event to be triggered Or-state Out Transition Target: sendMessage
evSendInfo/ Uoutbuffer.newStruct.inst = params->inst;
key
All the functions for a key that is pressed are located in this class. This class is primarily a "key" for which buttons will do what, and thus is a relatively inactive class. Overridden Properties Subjects: CG Metaclasses: Class Properties: Concurrency: active Relations: itsMyPIC directional association between itsmyPic to key Association with myPIC, Multiplicity of 1, Uni-directional itsDisplay symmetric association between key and display Association with Display, Multiplicity of 1, Bi-directional Operations: button1 This operation checks to see if the KeyJustPressedon the PIC_Board is equal to 1. If so, evTrigger1 is broadcast. Primitive-operation , Public, Return type is void Body
if (itsMyPIC->keyJustPressed(1)) { itsDisplay->GEN(evTrigger1()); }
button10 This operation checks to see if the KeyJustPressedon the PIC_Board is equal to 10. If so, evTrigger10 is broadcast. Primitive-operation , Public, Return type is void Body
if (itsMyPIC->keyJustPressed(10)) { itsDisplay->GEN(evTrigger10()); }
button2 This operation checks to see if the KeyJustPressedon the PIC_Board is equal to 2. If so, evTrigger2 is broadcast. Primitive-operation , Public, Return type is void Body
if (itsMyPIC->keyJustPressed(2)) { itsDisplay->GEN(evTrigger2()); }
button3 This operation checks to see if the KeyJustPressedon the PIC_Board is equal to 3. If so, evTrigger3 is broadcast. Primitive-operation , Public, Return type is void Body
if (itsMyPIC->keyJustPressed(3)) { itsDisplay->GEN(evTrigger3()); }
button4 This operation checks to see if the KeyJustPressedon the PIC_Board is equal to 4. If so, evTrigger4 is broadcast. Primitive-operation , Public, Return type is void Body
if (itsMyPIC->keyJustPressed(4)) { itsDisplay->GEN(evTrigger4()); }
button5 This operation checks to see if the KeyJustPressedon the PIC_Board is equal to 5. If so, evTrigger5 is broadcast. This will be sent if the user choosesto withdrawl $20 from checking or savings. Primitive-operation , Public, Return type is void Body
if (itsMyPIC->keyJustPressed(5)) { itsDisplay->GEN(evTrigger5(20)); }
button6 This operation checks to see if the KeyJustPressedon the PIC_Board is equal to 6. If so, evTrigger6 is broadcast. This will be sent if the user choosesto withdrawl $40 from checking or savings. Primitive-operation , Public, Return type is void Body
if (itsMyPIC->keyJustPressed(6)) { itsDisplay->GEN(evTrigger6(40)); }
button7 This operation checks to see if the KeyJustPressedon the PIC_Board is equal to 6. If so, evTrigger6 is broadcast. This will be sent if the user choosesto withdrawl $60 from checking or savings. Primitive-operation , Public, Return type is void Body
if (itsMyPIC->keyJustPressed(7)) { itsDisplay->GEN(evTrigger7(60)); }
button8 This operation checks to see if the KeyJustPressedon the PIC_Board is equal to 6. If so, evTrigger6 is broadcast. This will be sent if the user choosesto withdrawl $80 from checking or savings. Primitive-operation , Public, Return type is void Body
if (itsMyPIC->keyJustPressed(8)) { itsDisplay->GEN(evTrigger8(80)); }
button9 This operation checks to see if the KeyJustPressedon the PIC_Board is equal to 6. If so, evTrigger6 is broadcast. This will be sent if the user choosesto withdrawl $100 from checking or savings. Primitive-operation , Public, Return type is void Body
if (itsMyPIC->keyJustPressed(9)) { } itsDisplay->GEN(evTrigger9(100));
Statechart
dummy
tm(50)
triggerButton>
tm(50)
Overridden Properties Subjects: General Metaclasses: Diagram Properties: LastModifiedTime: 12.3.2003::22:27:15 ROOT Or-state Substates: dummy triggerButton Default Transition Target: dummy dummy This is a dummy state. Or-state Out Transition
tm(50)
Target: triggerButton triggerButton This state loops every .05 seconds and calls each of the bunnon functions. Basically, this looped state is waiting for a key to be pressed on the PIC_Board, and will perform an action corresponding to what function recognizes a key pressed. Or-state EntryAction
button1(); button2(); button3(); button4(); button5(); button6(); button7(); button8(); button9(); button10(); tm(50)
Out Transition Target: triggerButton
myKeyboard
gets the input from the keyboard Relations: itsDisplay symmetric associtaion between mykeyboard and its display Association with Display, Multiplicity of 1, Bi-directional itsInput_Output symmetric assocation between input_output and myKeyboard Association with Input_Output, Multiplicity of 1, Bi-directional Operations: evGetAccountNumber event is tirggered when the user wants to input the account number Event evGetAmount event is called when the user wants to input a requested amount Event evGetPinNumber the event is called when the user wants to input the pin number Event Attributes: accountNumber accountNumber that is inputed by the user Type of int, Public depositAmount deposited amount inputed by the user Type of int, Public pinNumber pin number inputed by the user Type of int, Public Statechart This class allows us to enter an account number, pin number, or a desired deposit amount when prompted by the ATM system. The rest of the input for the ATM is taken from the PIC_Board.
dummy
tm(50)
input
evGetAccountNumber evGetAmount evGetPinNumber get_Account> get_deposit>
get_pin>
Overridden Properties Subjects: General Metaclasses: Diagram Properties: LastModifiedTime: 12.3.2003::22:36:9 ROOT Or-state Substates: dummy get_Account get_deposit get_pin input Default Transition Target: dummy dummy dummy state Or-state Out Transition
tm(50)
Target: input get_Account gets the account Number from the user input, sets it as accountNumber, then generates
evEnterButton Or-state EntryAction
cin>>accountNumber; itsDisplay->GEN(evEnterButton());
Out Transition Target: input get_deposit gets the deposit from the user input, sets it as depositAmount, then generates evEnterButton Or-state EntryAction
cin>>depositAmount; itsDisplay->GEN(evEnterButton());
Out Transition Target: input get_pin gets the pin from the user input, sets it as pinNumber, then generates evEnterButton Or-state EntryAction
cin >> pinNumber; itsDisplay->GEN(evEnterButton());
Out Transition Target: input input waits for the input by the user Or-state Out Transition
evGetAmount
Target: get_deposit Out Transition Target: get_pin Out Transition
evGetPinNumber
evGetAccountNumber
Target: get_Account
myPIC
This class inherits all the PICSerial operations, and allows us to write some functions for our specific purpose of creating an ATM machine. Overridden Properties Subjects: CG Metaclasses: Class
Properties: Concurrency: active Superclasses: PICserial Public Operations: initArrays holds the values of dataArray Primitive-operation , Public, Return type is void Body
dataArray[0]=0x0002; dataArray[1]=0x4000; dataArray[2]=0x2000; dataArray[3]=0x1000; dataArray[4]=0x0400; dataArray[5]=0x0200; dataArray[6]=0x0100; dataArray[7]=0x0040; dataArray[8]=0x0020; dataArray[9]=0x0010; dataArray[10]=0x0800; dataArray[11]=0x0004; dataArray[12]=0x0001;
initArrays2 holds the value for dataArray2 Primitive-operation , Public, Return type is void Body
dataArray2[0]=0x20002; dataArray2[1]=0x40004000; dataArray2[2]=0x20002000; dataArray2[3]=0x10001000; dataArray2[4]=0x4000400; dataArray2[5]=0x2000200; dataArray2[6]=0x1000100; dataArray2[7]=0x400040; dataArray2[8]=0x200020; dataArray2[9]=0x100010; dataArray2[10]=0x8000800; dataArray2[11]=0x40004; dataArray2[12]=0x10001;
initArrays3 holds the value of dataArray 3 Primitive-operation , Public, Return type is void Body
dataArray3[0]=0x20000; dataArray3[1]=0x40000000; dataArray3[2]=0x20000000; dataArray3[3]=0x10000000; dataArray3[4]=0x4000000; dataArray3[5]=0x2000000; dataArray3[6]=0x1000000; dataArray3[7]=0x400000; dataArray3[8]=0x200000; dataArray3[9]=0x100000; dataArray3[10]=0x8000000; dataArray3[11]=0x40000; dataArray3[12]=0x10000;
keyJustPressed checks to see if a certain key has been just pressed Primitive-operation , Public, Return type is OMBoolean
Args: int n the keypressed Body
long t; t = getAllKeyData(dataArray[n]); if ((t&dataArray2[n])== dataArray2[n]) { return true; } else { return false; }
keyJustReleased checks to see if a certain key has been released Primitive-operation , Public, Return type is OMBoolean Args: int n the button pressed Body
long t; //t = getAllKeyData(); //if (dataArray3[n] == t) t = getAllKeyData(dataArray[n]); if (dataArray3[n] == (t&dataArray2[n])) { return true; } else { return false; }
keyPressed checks to see if a certain key has been pressed and is still being pressed Primitive-operation , Public, Return type is OMBoolean Args: int n the button pressed Body
long t; t = getAllKeyData(dataArray[n]); if (dataArray[n] == (t&dataArray[n])) { return true; } else { return false; }
scaledAnalog it scales the analog from high to low that was input. the third argument is the analog pot that the user wants to select. It returns what the user selected in the pot Primitive-operation , Public, Return type is int
Args: int hi hi of the analog int lo lo on the analog int n pot number Body
return (int) ((float)getAnalogValues(n)*((float)(hi-lo)/ (float)255)*(float)lo);
Attributes: dataArray the first array that holds values for the "pressed" data Type of 'int %s[13]', Public dataArray2 the second array that holds values for the "just pressed" data Type of 'long %s[13]', Public dataArray3 the third array that holds values for the "just released" data Type of 'long %s[13]', Public Statechart
InitPIC>
LEDs> DebugPrint> tm(10)
[goodread]
WriteDisplayBuffer... [!goodread] DN tm(50)
C
ReadDataHere> Send_R>
tm(25)
Overridden Properties Subjects: General Metaclasses: Diagram
Properties: LastModifiedTime: 10.17.2003::0:39:8 ROOT Or-state Inherited Substates: DebugPrint DN InitPIC LEDs ReadDataHere Send_R WriteDisplayBuffer Default Transition Inherited Target: InitPIC DebugPrint Or-state Inherited EntryAction
//cout << " keys " << setbase(16) << setfill('0') << setw(8) << getAllKeyData() ; //cout << " a0 " << (int)getAnalogValues(0); //cout << " a1 " << (int)getAnalogValues(1); //cout << " a2 " << (int)getAnalogValues(2); //cout << endl; //cout << setbase(16) << setfill('0') << setw(8) << getAllKeyData() << " " << (int)getAnalogValues(0) << " " << (int)getAnalogValues(1) << " " << (int)getAnalogValues(2) << endl; //for (int i=0;i<5;i++) //{ cout << " " << setbase(16) << //cout << endl; (int) readBuffer[i]; }
Out Transition Inherited Target: LEDs DN Or-state Inherited Out Transition Inherited
tm(50)
Target: Send_R InitPIC holds the initial arrays in intial pc Or-state Inherited EntryAction
initArrays(); initArrays2(); initArrays3();
Out Transition Inherited
Target: LEDs LEDs Or-state Inherited EntryAction ExitAction
writeLeds();
//leds++;
Out Transition Inherited
tm(10)
Target: WriteDisplayBuffer ReadDataHere Or-state Inherited EntryAction
goodread = ReadData();
Out Transition Inherited Condition Connector Branches:
[goodread]
Target: DebugPrint
[!goodread]
Target: DN Send_R Or-state Inherited EntryAction
ControlChar[0] = 'R'; write(fd, ControlChar, 1); //write an 'R' to the PIC board to read the buffers.
Out Transition Inherited
tm(25)
Target: ReadDataHere WriteDisplayBuffer Nested Statechart Or-state Inherited EntryAction Out Transition Inherited
//for(int i=0;i<32;i++) Display[i]=leds;
Target: Send_R Statechart of WriteDisplayBuffer
WriteDisplayBuffer
startWrtDispSeq>
firstHalf>
secondHalf>
tm(40)
Overridden Properties Subjects: General Metaclasses: Diagram Properties: LastModifiedTime: 10.8.2003::23:55:53 ROOT Or-state Inherited Substates: WriteDisplayBuffer WriteDisplayBuffer Or-state Inherited Substates: firstHalf secondHalf startWrtDispSeq state_0 Default Transition Inherited Target: startWrtDispSeq firstHalf Or-state Inherited EntryAction
write(fd, Display, 16); //write out 16 characters.
Out Transition Inherited
tm(40)
Target: secondHalf secondHalf Or-state Inherited EntryAction
write(fd, &Display[16], 16); //write out 16 characters.
Out Transition Inherited Target: state_0 startWrtDispSeq Or-state Inherited EntryAction
ControlChar[0] = 'B'; write(fd, ControlChar, 1); //write an 'B' to the PIC board to read the buffers.
Out Transition Inherited Target: firstHalf state_0 Local Termination State Inherited
PICserial
Overridden Properties Subjects: CG Metaclasses: Class Properties: Concurrency: active Subclasses: myPIC Operations: getAllKeyData Gets status/value of the Keypad buttons. Status is returned in the upper 2 bytes. Values are returned in the bottom 2 bytes. The parameter COSreset will Primitive-operation , Public, Return type is int Args: int COSreset = 0xFFFF Body
union keydata { long temp; char t4[4]; } KeyData; KeyData.t4[3]=getKeypadStatus...