--Generated automatically by GuiSurfer
module GuiModelFullClientDBjavaLogin where
import Data.Map
import GuiTypes
expsLogin :: Exps
expsLogin = fromList
[
(1,("Exps",[["(","Emth","(","Mmth","[","Ident","\"System\"",",","Ident","\"exit\"","]","(","Args","[","Econst","(","Eoctal","(","Octal","\"0\"",")",")","]",")",")",")"]],3341,3367,[(3373,3471),(3431,3466),(54,66),(618,635)])),
(2,("Exps",[["(","Emth","(","Mmth1","(","CNPfld","(","Ffvar1","(","Anewclass","(","ClassType","[","Ident","\"MainForm\"","]",")","(","Args","[","]",")",")","(","Ident","\"setVisible\"",")",")",")","(","Args","[","Econst","Etrue","]",")",")",")"]],3155,3193,[(3373,3471),(3431,3466),(54,66),(778,795)])),
(3,("Exps",[["(","Emth","(","Mmth1","(","CNPfld","(","Ffvar","(","Cthis","SSthis",")","(","Ident","\"dispose\"",")",")",")","(","Args","[","]",")",")",")"]],3198,3223,[(3373,3471),(3431,3466),(54,66),(778,795)])),
(4,("Exps",[["(","Emth","(","Mmth","[","Ident","\"javax\"",",","Ident","\"swing\"",",","Ident","\"JOptionPane\"",",","Ident","\"showMessageDialog\"","]","(","Args","[","Especname","SSthis",",","Estring","\"Username/Password","not","valid\"",",","Estring","\"Login\"",",","Econst","(","Eoctal","(","Octal","\"0\"",")",")","]",")",")",")"]],3230,3273,[(3373,3471),(3431,3466),(54,66),(778,795)])),
(5,("Exps",[["(","Emth","(","Mmth1","(","CNPfld","(","Ffvar1","(","Anewclass","(","ClassType","[","Ident","\"Login\"","]",")","(","Args","[","]",")",")","(","Ident","\"setVisible\"",")",")",")","(","Args","[","Econst","Etrue","]",")",")",")"]],3429,3467,[(3373,3471)])),
(6,("Exps",[["(","Eassign","(","Evar","[","Ident","\"Cancel\"","]",")","Assign","(","Enewalloc","(","Anewclass","(","ClassType","[","Ident","\"javax\"",",","Ident","\"swing\"",",","Ident","\"JButton\"","]",")","(","Args","[","]",")",")",")",")"]],105,140,[(3373,3471),(3431,3466),(54,66)])),
(7,("Exps",[["(","Eassign","(","Evar","[","Ident","\"Ok\"","]",")","Assign","(","Enewalloc","(","Anewclass","(","ClassType","[","Ident","\"javax\"",",","Ident","\"swing\"",",","Ident","\"JButton\"","]",")","(","Args","[","]",")",")",")",")"]],145,180,[(3373,3471),(3431,3466),(54,66)])),
(8,("Exps",[["(","Emth","(","Mmth","[","Ident","\"Cancel\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")"]],385,405,[(3373,3471),(3431,3466),(54,66)])),
(9,("Exps",[["(","Emth","(","Mmth","[","Ident","\"Ok\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")"]],410,430,[(3373,3471),(3431,3466),(54,66)]))
]
eventsLogin :: Events
eventsLogin = fromList
[
("Cancel",("Emth",[["(","Mmth","[","Ident","\"Cancel\"",",","Ident","\"addActionListener\"","]","(","Args","[","Enewalloc","(","Anewinnerclass","(","ClassType","[","Ident","\"java\"",",","Ident","\"awt\"",",","Ident","\"event\"",",","Ident","\"ActionListener\"","]",")","(","Args","[","]",")","[","Dmth","[","Mpublic","]","(","TypeName","(","ClassType","[","Ident","\"void\"","]",")",")","(","Mth","(","DeclName","(","Ident","\"actionPerformed\"",")",")","[","Param","(","TypeName","(","ClassType","[","Ident","\"java\"",",","Ident","\"awt\"",",","Ident","\"event\"",",","Ident","\"ActionEvent\"","]",")",")","(","DeclName","(","Ident","\"evt\"",")",")","]",")","(","MBody","(","Body","[","Statem","(","Exps","(","Emth","(","Mmth","[","Ident","\"CancelActionPerformed\"","]","(","Args","[","Evar","[","Ident","\"evt\"","]","]",")",")",")",")","]",")",")","]",")","]",")",")"]],518,645,[(3373,3471),(3431,3466),(54,66)])),
("Ok",("Emth",[["(","Mmth","[","Ident","\"Ok\"",",","Ident","\"addActionListener\"","]","(","Args","[","Enewalloc","(","Anewinnerclass","(","ClassType","[","Ident","\"java\"",",","Ident","\"awt\"",",","Ident","\"event\"",",","Ident","\"ActionListener\"","]",")","(","Args","[","]",")","[","Dmth","[","Mpublic","]","(","TypeName","(","ClassType","[","Ident","\"void\"","]",")",")","(","Mth","(","DeclName","(","Ident","\"actionPerformed\"",")",")","[","Param","(","TypeName","(","ClassType","[","Ident","\"java\"",",","Ident","\"awt\"",",","Ident","\"event\"",",","Ident","\"ActionEvent\"","]",")",")","(","DeclName","(","Ident","\"evt\"",")",")","]",")","(","MBody","(","Body","[","Statem","(","Exps","(","Emth","(","Mmth","[","Ident","\"OkActionPerformed\"","]","(","Args","[","Evar","[","Ident","\"evt\"","]","]",")",")",")",")","]",")",")","]",")","]",")",")"]],678,805,[(3373,3471),(3431,3466),(54,66)]))
]
condsLogin :: Conds
condsLogin = fromList
[
("cond1",[]),
("cond2",[("If1",[["(","Eeq","(","Emth","(","Mmth1","(","CNPfld","(","Ffvar","(","Cnp","(","CNPmth","(","Mmth","[","Ident","\"jTextField1\"",",","Ident","\"getText\"","]","(","Args","[","]",")",")",")",")","(","Ident","\"compareTo\"",")",")",")","(","Args","[","Estring","\"abc\"","]",")",")",")","(","Econst","(","Eoctal","(","Octal","\"0\"",")",")",")",")"],["(","LV","[","Statem","(","Exps","(","Emth","(","Mmth1","(","CNPfld","(","Ffvar1","(","Anewclass","(","ClassType","[","Ident","\"MainForm\"","]",")","(","Args","[","]",")",")","(","Ident","\"setVisible\"",")",")",")","(","Args","[","Econst","Etrue","]",")",")",")",")",",","Statem","(","Exps","(","Emth","(","Mmth1","(","CNPfld","(","Ffvar","(","Cthis","SSthis",")","(","Ident","\"dispose\"",")",")",")","(","Args","[","]",")",")",")",")","]",")"]],3149,3226,[(3373,3471),(3431,3466),(54,66),(778,795)])]),
("cond3",[("If2",[["(","Epreop","Logicalneg","(","Eeq","(","Emth","(","Mmth1","(","CNPfld","(","Ffvar","(","Cnp","(","CNPmth","(","Mmth","[","Ident","\"jTextField1\"",",","Ident","\"getText\"","]","(","Args","[","]",")",")",")",")","(","Ident","\"compareTo\"",")",")",")","(","Args","[","Estring","\"abc\"","]",")",")",")","(","Econst","(","Eoctal","(","Octal","\"0\"",")",")",")",")",")"],["(","Exps","(","Emth","(","Mmth","[","Ident","\"javax\"",",","Ident","\"swing\"",",","Ident","\"JOptionPane\"",",","Ident","\"showMessageDialog\"","]","(","Args","[","Especname","SSthis",",","Estring","\"Username/Password","not","valid\"",",","Estring","\"Login\"",",","Econst","(","Eoctal","(","Octal","\"0\"",")",")","]",")",")",")",")"]],3228,3274,[(3373,3471),(3431,3466),(54,66),(778,795)])]),
("condInit1",[])
]
|