| Line No. | Rev | Author | Line |
|---|---|---|---|
| 1 | 1 | jcs | --Generated automatically by GuiSurfer |
| 2 | 1 | jcs | |
| 3 | 1 | jcs | module GuiModelFull where |
| 4 | 1 | jcs | |
| 5 | 1 | jcs | import Data.Map |
| 6 | 1 | jcs | import GuiModel |
| 7 | 1 | jcs | |
| 8 | 1 | jcs | type Type = String |
| 9 | 1 | jcs | type AstList = [[String]] |
| 10 | 1 | jcs | type InitPos = Int |
| 11 | 1 | jcs | type EndPos = Int |
| 12 | 1 | jcs | type SourcePosList = [(InitPos,EndPos)] |
| 13 | 1 | jcs | type Exp = (Type,AstList,InitPos,EndPos,SourcePosList) |
| 14 | 1 | jcs | |
| 15 | 1 | jcs | type Exps = Map ExpRef Exp |
| 16 | 1 | jcs | type Events = Map EventRef Exp |
| 17 | 1 | jcs | type Conds = Map CondRef [Exp] |
| 18 | 1 | jcs | |
| 19 | 1 | jcs | exps :: Exps |
| 20 | 1 | jcs | exps = fromList |
| 21 | 1 | jcs | [ |
| 22 | 3 | jcs | (1,("Exps",[["(","Emth","(","Mmth","[","Ident","\"Edit\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")"]],8298,8318,[(8594,8692),(8652,8687),(54,66),(3426,3443)])), |
| 23 | 3 | jcs | (2,("Exps",[["(","Emth","(","Mmth","[","Ident","\"Remove\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")"]],8323,8343,[(8594,8692),(8652,8687),(54,66),(3426,3443)])), |
| 24 | 3 | jcs | (3,("Exps",[["(","Emth","(","Mmth","[","Ident","\"Edit\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Efalse","]",")",")",")"]],8483,8503,[(8594,8692),(8652,8687),(54,66),(3746,3763)])), |
| 25 | 3 | jcs | (4,("Exps",[["(","Emth","(","Mmth","[","Ident","\"Remove\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Efalse","]",")",")",")"]],8508,8528,[(8594,8692),(8652,8687),(54,66),(3746,3763)])), |
| 26 | 3 | jcs | (5,("Exps",[["(","Emth","(","Mmth","[","Ident","\"Edit\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")"]],8539,8559,[(8594,8692),(8652,8687),(54,66),(3746,3763)])), |
| 27 | 3 | jcs | (6,("Exps",[["(","Emth","(","Mmth","[","Ident","\"Remove\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")"]],8564,8584,[(8594,8692),(8652,8687),(54,66),(3746,3763)])), |
| 28 | 3 | jcs | (7,("Exps",[["(","Emth","(","Mmth1","(","CNPfld","(","Ffvar","(","Cthis","SSthis",")","(","Ident","\"dispose\"",")",")",")","(","Args","[","]",")",")",")"]],8207,8232,[(8594,8692),(8652,8687),(54,66),(6647,6664)])), |
| 29 | 3 | jcs | (8,("Exps",[["(","Emth","(","Mmth1","(","CNPfld","(","Ffvar","(","Cthis","SSthis",")","(","Ident","\"dispose\"",")",")",")","(","Args","[","]",")",")",")"]],8116,8141,[(8594,8692),(8652,8687),(54,66),(6807,6824)])), |
| 30 | 3 | jcs | (9,("Exps",[["(","Emth","(","Mmth","[","Ident","\"Edit\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")"]],1142,1162,[(8594,8692),(8652,8687),(54,66)])), |
| 31 | 3 | jcs | (10,("Exps",[["(","Emth","(","Mmth","[","Ident","\"Remove\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")"]],1167,1187,[(8594,8692),(8652,8687),(54,66)])), |
| 32 | 3 | jcs | (11,("Exps",[["(","Emth","(","Mmth1","(","CNPfld","(","Ffvar1","(","Anewclass","(","ClassType","[","Ident","\"ContactEditor\"","]",")","(","Args","[","]",")",")","(","Ident","\"setVisible\"",")",")",")","(","Args","[","Econst","Etrue","]",")",")",")"]],8650,8688,[(8594,8692)])), |
| 33 | 3 | jcs | (12,("Exps",[["(","Eassign","(","Evar","[","Ident","\"Add\"","]",")","Assign","(","Enewalloc","(","Anewclass","(","ClassType","[","Ident","\"javax\"",",","Ident","\"swing\"",",","Ident","\"JButton\"","]",")","(","Args","[","]",")",")",")",")"]],705,740,[(8594,8692),(8652,8687),(54,66)])), |
| 34 | 3 | jcs | (13,("Exps",[["(","Eassign","(","Evar","[","Ident","\"Edit\"","]",")","Assign","(","Enewalloc","(","Anewclass","(","ClassType","[","Ident","\"javax\"",",","Ident","\"swing\"",",","Ident","\"JButton\"","]",")","(","Args","[","]",")",")",")",")"]],745,780,[(8594,8692),(8652,8687),(54,66)])), |
| 35 | 3 | jcs | (14,("Exps",[["(","Eassign","(","Evar","[","Ident","\"Remove\"","]",")","Assign","(","Enewalloc","(","Anewclass","(","ClassType","[","Ident","\"javax\"",",","Ident","\"swing\"",",","Ident","\"JButton\"","]",")","(","Args","[","]",")",")",")",")"]],785,820,[(8594,8692),(8652,8687),(54,66)])), |
| 36 | 3 | jcs | (15,("Exps",[["(","Eassign","(","Evar","[","Ident","\"Cancel\"","]",")","Assign","(","Enewalloc","(","Anewclass","(","ClassType","[","Ident","\"javax\"",",","Ident","\"swing\"",",","Ident","\"JButton\"","]",")","(","Args","[","]",")",")",")",")"]],1025,1060,[(8594,8692),(8652,8687),(54,66)])), |
| 37 | 3 | jcs | (16,("Exps",[["(","Eassign","(","Evar","[","Ident","\"Ok\"","]",")","Assign","(","Enewalloc","(","Anewclass","(","ClassType","[","Ident","\"javax\"",",","Ident","\"swing\"",",","Ident","\"JButton\"","]",")","(","Args","[","]",")",")",")",")"]],1065,1100,[(8594,8692),(8652,8687),(54,66)])), |
| 38 | 3 | jcs | (17,("Exps",[["(","Emth","(","Mmth","[","Ident","\"Add\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")"]],1105,1125,[(8594,8692),(8652,8687),(54,66)])), |
| 39 | 3 | jcs | (18,("Exps",[["(","Emth","(","Mmth","[","Ident","\"Edit\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Efalse","]",")",")",")"]],1198,1218,[(8594,8692),(8652,8687),(54,66)])), |
| 40 | 3 | jcs | (19,("Exps",[["(","Emth","(","Mmth","[","Ident","\"Remove\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Efalse","]",")",")",")"]],1223,1243,[(8594,8692),(8652,8687),(54,66)])) |
| 41 | 1 | jcs | ] |
| 42 | 1 | jcs | |
| 43 | 1 | jcs | events :: Events |
| 44 | 1 | jcs | events = fromList |
| 45 | 1 | jcs | [ |
| 46 | 3 | jcs | ("Add",("Emth",[["(","Mmth","[","Ident","\"Add\"",",","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","\"AddActionPerformed\"","]","(","Args","[","Evar","[","Ident","\"evt\"","]","]",")",")",")",")","]",")",")","]",")","]",")",")"]],3326,3453,[(8594,8692),(8652,8687),(54,66)])), |
| 47 | 3 | jcs | ("Edit",("Emth",[["(","Mmth","[","Ident","\"Edit\"",",","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","\"EditActionPerformed\"","]","(","Args","[","Evar","[","Ident","\"evt\"","]","]",")",")",")",")","]",")",")","]",")","]",")",")"]],3486,3613,[(8594,8692),(8652,8687),(54,66)])), |
| 48 | 3 | jcs | ("Remove",("Emth",[["(","Mmth","[","Ident","\"Remove\"",",","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","\"RemoveActionPerformed\"","]","(","Args","[","Evar","[","Ident","\"evt\"","]","]",")",")",")",")","]",")",")","]",")","]",")",")"]],3646,3773,[(8594,8692),(8652,8687),(54,66)])), |
| 49 | 3 | jcs | ("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\"","]","]",")",")",")",")","]",")",")","]",")","]",")",")"]],6547,6674,[(8594,8692),(8652,8687),(54,66)])), |
| 50 | 3 | jcs | ("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\"","]","]",")",")",")",")","]",")",")","]",")","]",")",")"]],6707,6834,[(8594,8692),(8652,8687),(54,66)])) |
| 51 | 1 | jcs | ] |
| 52 | 1 | jcs | |
| 53 | 1 | jcs | conds :: Conds |
| 54 | 1 | jcs | conds = fromList |
| 55 | 1 | jcs | [ |
| 56 | 1 | jcs | ("cond1",[]), |
| 57 | 3 | jcs | ("cond2",[]), |
| 58 | 3 | jcs | ("cond3",[("If1",[["(","Econst","Efalse",")"],["(","LV","[","Statem","(","Exps","(","Emth","(","Mmth","[","Ident","\"Edit\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Efalse","]",")",")",")",")",",","Statem","(","Exps","(","Emth","(","Mmth","[","Ident","\"Remove\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Efalse","]",")",")",")",")","]",")"]],8477,8531,[(8594,8692),(8652,8687),(54,66),(3746,3763)])]), |
| 59 | 3 | jcs | ("cond4",[("If2",[["(","Epreop","Logicalneg","(","Econst","Efalse",")",")"],["(","LV","[","Statem","(","Exps","(","Emth","(","Mmth","[","Ident","\"Edit\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")",")",",","Statem","(","Exps","(","Emth","(","Mmth","[","Ident","\"Remove\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")",")","]",")"]],8533,8587,[(8594,8692),(8652,8687),(54,66),(3746,3763)])]), |
| 60 | 2 | jcs | ("cond5",[]), |
| 61 | 3 | jcs | ("cond6",[]), |
| 62 | 3 | jcs | ("condInit1",[("If1",[["(","Econst","Etrue",")"],["(","LV","[","Statem","(","Exps","(","Emth","(","Mmth","[","Ident","\"Edit\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")",")",",","Statem","(","Exps","(","Emth","(","Mmth","[","Ident","\"Remove\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")",")","]",")"]],1136,1190,[(8594,8692),(8652,8687),(54,66)])]), |
| 63 | 3 | jcs | ("condInit2",[("If2",[["(","Epreop","Logicalneg","(","Econst","Etrue",")",")"],["(","LV","[","Statem","(","Exps","(","Emth","(","Mmth","[","Ident","\"Edit\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Efalse","]",")",")",")",")",",","Statem","(","Exps","(","Emth","(","Mmth","[","Ident","\"Remove\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Efalse","]",")",")",")",")","]",")"]],1192,1246,[(8594,8692),(8652,8687),(54,66)])]) |
| 64 | 1 | jcs | ] |
| 65 | 1 | jcs |