EMMA Coverage Report (generated Sat Dec 08 18:30:31 GMT 2007)
[all classes][uk.co.zonetora.fj.passes]

COVERAGE SUMMARY FOR SOURCE FILE [BuildModel.java]

nameclass, %method, %block, %line, %
BuildModel.java100% (1/1)93%  (13/14)80%  (391/489)79%  (71.8/91)

COVERAGE BREAKDOWN BY CLASS AND METHOD

nameclass, %method, %block, %line, %
     
class BuildModel100% (1/1)93%  (13/14)80%  (391/489)79%  (71.8/91)
addException (FJException): void 0%   (0/1)0%   (0/6)0%   (0/2)
getCommaFormalParameters (LinkedList): List 100% (1/1)50%  (13/26)49%  (2.4/5)
getFormalParameter (PParamArg): Tuple 100% (1/1)51%  (28/55)45%  (5/11)
getThisFieldAssig (AThisFieldAssig): FieldName 100% (1/1)56%  (22/39)80%  (4/5)
getSuperFieldNames (PFieldList): List 100% (1/1)71%  (34/48)76%  (7.6/10)
getMethodDecl (AMethodDecl): Method 100% (1/1)78%  (42/54)84%  (6.8/8)
buildConstructor (AConstructorDecl): Constructor 100% (1/1)90%  (84/93)76%  (13/17)
BuildModel (): void 100% (1/1)100% (13/13)100% (4/4)
caseAClassDecl (AClassDecl): void 100% (1/1)100% (82/82)100% (14/14)
getClasses (): List 100% (1/1)100% (3/3)100% (1/1)
getFieldDecl (AFieldDecl): Tuple 100% (1/1)100% (22/22)100% (3/3)
getFieldName (AFieldName): FieldName 100% (1/1)100% (8/8)100% (1/1)
getFormalParameters (PParamDeclList): List 100% (1/1)100% (34/34)100% (9/9)
getTerm (PTerm): Term 100% (1/1)100% (6/6)100% (1/1)

1package uk.co.zonetora.fj.passes;
2 
3import java.util.ArrayList;
4import java.util.LinkedList;
5import java.util.List;
6 
7import uk.co.zonetora.fj.ast.analysis.DepthFirstAdapter;
8import uk.co.zonetora.fj.ast.node.AClassDecl;
9import uk.co.zonetora.fj.ast.node.ACommaField;
10import uk.co.zonetora.fj.ast.node.ACommaParamArgList;
11import uk.co.zonetora.fj.ast.node.AConstructorDecl;
12import uk.co.zonetora.fj.ast.node.AEmptyFieldList;
13import uk.co.zonetora.fj.ast.node.AEmptyParamDeclList;
14import uk.co.zonetora.fj.ast.node.AFieldDecl;
15import uk.co.zonetora.fj.ast.node.AFieldListFieldList;
16import uk.co.zonetora.fj.ast.node.AFieldName;
17import uk.co.zonetora.fj.ast.node.AIdentParamArg;
18import uk.co.zonetora.fj.ast.node.AMethodDecl;
19import uk.co.zonetora.fj.ast.node.AParamArgsParamDeclList;
20import uk.co.zonetora.fj.ast.node.AThisFieldAssig;
21import uk.co.zonetora.fj.ast.node.AThisParamArg;
22import uk.co.zonetora.fj.ast.node.PFieldList;
23import uk.co.zonetora.fj.ast.node.PParamArg;
24import uk.co.zonetora.fj.ast.node.PParamDeclList;
25import uk.co.zonetora.fj.ast.node.PTerm;
26import uk.co.zonetora.fj.model.ArgumentName;
27import uk.co.zonetora.fj.model.ClassDecl;
28import uk.co.zonetora.fj.model.ClassName;
29import uk.co.zonetora.fj.model.Constructor;
30import uk.co.zonetora.fj.model.FieldName;
31import uk.co.zonetora.fj.model.Method;
32import uk.co.zonetora.fj.model.MethodName;
33import uk.co.zonetora.fj.model.Term;
34import uk.co.zonetora.fj.util.Tuple;
35 
36public class BuildModel extends DepthFirstAdapter {
37 
38        private final List<ClassDecl> classes;
39        
40        private final List<FJException> exceptions;
41        
42        public BuildModel() {
43                this.classes = new ArrayList<ClassDecl>();
44                this.exceptions = new ArrayList<FJException>();
45        }
46        
47        @Override
48        public void caseAClassDecl(AClassDecl node) {
49                ClassName name = new ClassName(node.getClassname().getText().trim());
50                ClassName extnds = new ClassName(node.getExtendsname().getText().trim());
51        
52                Constructor ctor = buildConstructor((AConstructorDecl)node.getConstructorDecl());
53                ClassDecl classDecl = new ClassDecl(name, extnds, ctor);
54        
55                for( Object o : node.getFieldDecl() ) {
56                        AFieldDecl afd = (AFieldDecl) o;
57                        Tuple<ClassName, FieldName> cnfn = getFieldDecl(afd);
58                        classDecl.addField(cnfn.getX() , cnfn.getY());
59                }
60 
61                for(Object o : node.getMethodDecl()) {
62                        AMethodDecl amd = (AMethodDecl) o;
63                        Method m = getMethodDecl(amd);
64                        classDecl.addMethod(m);
65                }
66                
67                this.classes.add(classDecl);
68                
69        }
70        
71        
72        private Method getMethodDecl(AMethodDecl amd) {
73                ClassName returnType = new ClassName(amd.getClassname().getText().trim());
74                MethodName methodName = new MethodName(amd.getMethodname().getText().trim());
75                List<Tuple<ClassName, ArgumentName>> parameters = getFormalParameters(amd.getParamDeclList());
76                
77                Term code = getTerm(amd.getTerm());
78                
79                Method m = new Method(returnType, methodName, code);
80                
81                for(Tuple<ClassName, ArgumentName> argDecl : parameters) {
82                        m.addArgument(argDecl.getX(), argDecl.getY());
83                }
84                
85                return m;
86        }
87 
88        private Term getTerm(PTerm term) {
89                return new TermBuilder().buildTerm(term);
90        }
91 
92        private List<Tuple<ClassName, ArgumentName>> getFormalParameters(
93                        PParamDeclList paramDeclList) {
94                
95                if(paramDeclList instanceof AEmptyParamDeclList) {
96                        return new ArrayList<Tuple<ClassName,ArgumentName>>();
97                }
98                AParamArgsParamDeclList paramArgs = (AParamArgsParamDeclList) paramDeclList;
99                
100                Tuple<ClassName, ArgumentName> firstArg = getFormalParameter(paramArgs.getParamArg());
101                
102                List<Tuple<ClassName, ArgumentName>> otherArgs = getCommaFormalParameters(paramArgs.getCommaParamArgList());
103                
104                List<Tuple<ClassName, ArgumentName>> ret = new ArrayList<Tuple<ClassName,ArgumentName>>();
105                ret.add(firstArg);
106                ret.addAll(otherArgs);
107                return ret;
108        } 
109 
110        @SuppressWarnings("unchecked")
111        private List<Tuple<ClassName, ArgumentName>> getCommaFormalParameters(
112                        LinkedList commaParamArgList) {
113                List<Tuple<ClassName, ArgumentName>> ret = new ArrayList<Tuple<ClassName,ArgumentName>>();
114                
115                for(Object o : commaParamArgList) {
116                        ACommaParamArgList paramArg = (ACommaParamArgList) o;
117                        ret.add(getFormalParameter(paramArg.getParamArg()));
118                }
119                
120                return ret;
121        }
122 
123        private Tuple<ClassName, ArgumentName> getFormalParameter(PParamArg paramArg) {
124                if(paramArg instanceof AIdentParamArg) {
125                        AIdentParamArg arg = (AIdentParamArg) paramArg;
126                        ClassName tipe = new ClassName(arg.getClassname().getText().trim());
127                        ArgumentName argName = new ArgumentName(arg.getParam().getText().trim());
128                        return new Tuple<ClassName, ArgumentName>(tipe, argName);
129                } else if (paramArg instanceof AThisParamArg) {
130                        AThisParamArg arg = (AThisParamArg) paramArg;
131                        ClassName tipe = new ClassName(arg.getIdentifier().getText().trim());
132                        ArgumentName argName = Method.getThisArgName();
133                        return new Tuple<ClassName, ArgumentName>(tipe, argName);
134                } else {
135                        throw new RuntimeException("Precondition failure!");
136                }
137 
138        }
139 
140        private Tuple<ClassName, FieldName> getFieldDecl(AFieldDecl afd) {
141                ClassName tipe = new ClassName(afd.getClassname().getText().trim());
142                FieldName fieldName = new FieldName(afd.getFieldname().getText().trim());
143                return new Tuple<ClassName, FieldName>(tipe, fieldName);
144        }
145 
146        private Constructor buildConstructor(AConstructorDecl constructorDecl) {
147                ClassName returnType = new ClassName(constructorDecl.getIdentifier().getText().trim());
148                Constructor constructor = new Constructor(returnType);
149 
150                List<Tuple<ClassName,ArgumentName>> parameters = getFormalParameters(constructorDecl.getParamDeclList());
151                for(Tuple<ClassName, ArgumentName> param : parameters) {
152                        constructor.addArgument(param.getX(), new FieldName(param.getY().getArgName()));                        
153                }
154 
155                
156                List<FieldName> superFields = getSuperFieldNames(constructorDecl.getFieldList());
157                for(FieldName f : superFields) {
158                        constructor.addSuperField(f);                        
159                }
160 
161                for(Object o : constructorDecl.getThisFieldAssig()) {
162                        AThisFieldAssig atfa = (AThisFieldAssig) o;
163                        FieldName f;
164                        try {
165                                f = getThisFieldAssig(atfa);
166                        } catch (FJException e) {
167                                System.err.println(e.getMessage());
168                                addException(e);
169                                continue;
170                        }
171                        constructor.addLocalField(f);
172                }
173                return constructor;
174                
175        }
176 
177        private void addException(FJException e) {
178                this.exceptions.add(e);
179        }
180 
181        private FieldName getThisFieldAssig(AThisFieldAssig atfa) throws FJException {
182                FieldName left = new FieldName(atfa.getLeftField().getText().trim());
183                FieldName right = new FieldName(atfa.getRightField().getText().trim());
184                
185                if(!left.equals(right)) {
186                        throw new FJException("Constructor with field assignment that is not a mirror in: this." + (left.getFieldName()) + " = " + (right.getFieldName()));
187                }
188                
189                return left;
190        }
191 
192        private List<FieldName> getSuperFieldNames(PFieldList fieldList) {
193                if (fieldList instanceof AEmptyFieldList ) {
194                        return new ArrayList<FieldName>();
195                }
196                
197                AFieldListFieldList aFieldList = (AFieldListFieldList) fieldList;
198                
199                FieldName first = getFieldName((AFieldName) aFieldList.getFieldName());
200                
201                List<FieldName> ret = new ArrayList<FieldName>();
202                ret.add(first);
203                
204                for(Object o : aFieldList.getCommaField()) {
205                        ACommaField acf = (ACommaField) o;
206                        ret.add(getFieldName((AFieldName) acf.getFieldName())); 
207                }
208                
209                return ret;
210        }
211 
212        private FieldName getFieldName(AFieldName fieldName) {
213                return new FieldName(fieldName.getIdentifier().getText().trim());
214        }
215 
216        public List<ClassDecl> getClasses() {
217                return this.classes;
218        }
219}

[all classes][uk.co.zonetora.fj.passes]
EMMA 2.0.5312 (C) Vladimir Roubtsov