Package: PogAssistantFactory

PogAssistantFactory

nameinstructionbranchcomplexitylinemethod
PogAssistantFactory()
M: 0 C: 3
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
createPDefinitionAssistant()
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getInvExpGetVisitor()
M: 0 C: 4
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getLocaleExtractVisitor()
M: 0 C: 4
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getPatternToExpVisitor(UniqueNameGenerator)
M: 6 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
getStateDesignatorNameGetter()
M: 0 C: 4
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getVarSubVisitor()
M: 0 C: 4
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%

Coverage

1: package org.overture.pog.utility;
2:
3: import org.overture.pog.pub.IPogAssistantFactory;
4: import org.overture.pog.visitors.*;
5: import org.overture.typechecker.assistant.TypeCheckerAssistantFactory;
6:
7: /**
8: * THe assistant factory for the pog. It provides all the functionality of the overture typechecker (maybe that is what
9: * we parameterize?) PLus any new pog bits!
10: *
11: * @author ldc
12: */
13: public class PogAssistantFactory extends TypeCheckerAssistantFactory implements
14:                 IPogAssistantFactory
15: {
16:         @Override
17:         public PDefinitionAssistantPOG createPDefinitionAssistant()
18:         {
19:                 return new PDefinitionAssistantPOG(this);
20:         }
21:
22:         @Override
23:         public StateDesignatorNameGetter getStateDesignatorNameGetter()
24:         {
25:                 return new StateDesignatorNameGetter();
26:         }
27:
28:         @Override
29:         public IVariableSubVisitor getVarSubVisitor()
30:         {
31:                 return new VariableSubVisitor();
32:         }
33:
34:         @Override
35:         public ILocaleExtractVisitor getLocaleExtractVisitor()
36:         {
37:                 return new VdmLocaleExtractor();
38:         }
39:
40:         @Override
41:         public IInvExpGetVisitor getInvExpGetVisitor()
42:         {
43:                 return new VdmInvExpGetVisitor();
44:         }
45:
46:         @Override public PatternToExpVisitor getPatternToExpVisitor(
47:                         UniqueNameGenerator uniqueNameGen)
48:         {
49:                 return new PatternToExpVisitor(uniqueNameGen,this);
50:         }
51:
52: }