Package: TypeCheckerStmVisitor

TypeCheckerStmVisitor

nameinstructionbranchcomplexitylinemethod
TypeCheckerStmVisitor(IQuestionAnswer)
M: 0 C: 4
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
addOne(PTypeSet, PType)
M: 0 C: 26
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
addOneType(Set, PType)
M: 0 C: 18
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
caseAAlwaysStm(AAlwaysStm, TypeCheckInfo)
M: 0 C: 19
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
caseAAnnotatedStm(AAnnotatedStm, TypeCheckInfo)
M: 36 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%
caseAAssignmentStm(AAssignmentStm, TypeCheckInfo)
M: 0 C: 123
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 16
100%
M: 0 C: 1
100%
caseAAtomicStm(AAtomicStm, TypeCheckInfo)
M: 0 C: 26
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
caseABlockSimpleBlockStm(ABlockSimpleBlockStm, TypeCheckInfo)
M: 0 C: 95
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 11
100%
M: 0 C: 1
100%
caseACallObjectStm(ACallObjectStm, TypeCheckInfo)
M: 51 C: 421
89%
M: 7 C: 39
85%
M: 6 C: 18
75%
M: 8 C: 66
89%
M: 0 C: 1
100%
caseACallStm(ACallStm, TypeCheckInfo)
M: 28 C: 301
91%
M: 2 C: 32
94%
M: 2 C: 16
89%
M: 6 C: 48
89%
M: 0 C: 1
100%
caseACaseAlternativeStm(ACaseAlternativeStm, TypeCheckInfo)
M: 8 C: 142
95%
M: 2 C: 6
75%
M: 2 C: 3
60%
M: 1 C: 17
94%
M: 0 C: 1
100%
caseACasesStm(ACasesStm, TypeCheckInfo)
M: 0 C: 87
100%
M: 0 C: 10
100%
M: 0 C: 6
100%
M: 0 C: 14
100%
M: 0 C: 1
100%
caseAClassInvariantStm(AClassInvariantStm, TypeCheckInfo)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseACyclesStm(ACyclesStm, TypeCheckInfo)
M: 15 C: 49
77%
M: 3 C: 3
50%
M: 3 C: 1
25%
M: 3 C: 7
70%
M: 0 C: 1
100%
caseADefPatternBind(ADefPatternBind, TypeCheckInfo)
M: 144 C: 0
0%
M: 12 C: 0
0%
M: 7 C: 0
0%
M: 26 C: 0
0%
M: 1 C: 0
0%
caseADurationStm(ADurationStm, TypeCheckInfo)
M: 15 C: 49
77%
M: 2 C: 4
67%
M: 2 C: 2
50%
M: 3 C: 7
70%
M: 0 C: 1
100%
caseAElseIfStm(AElseIfStm, TypeCheckInfo)
M: 0 C: 15
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseAErrorStm(AErrorStm, TypeCheckInfo)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseAExitStm(AExitStm, TypeCheckInfo)
M: 0 C: 20
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
caseAForAllStm(AForAllStm, TypeCheckInfo)
M: 0 C: 111
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 15
100%
M: 0 C: 1
100%
caseAForIndexStm(AForIndexStm, TypeCheckInfo)
M: 0 C: 119
100%
M: 0 C: 8
100%
M: 0 C: 5
100%
M: 0 C: 17
100%
M: 0 C: 1
100%
caseAForPatternBindStm(AForPatternBindStm, TypeCheckInfo)
M: 0 C: 134
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 17
100%
M: 0 C: 1
100%
caseAIfStm(AIfStm, TypeCheckInfo)
M: 0 C: 18
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseALetBeStStm(ALetBeStStm, TypeCheckInfo)
M: 0 C: 26
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
caseALetStm(ALetStm, TypeCheckInfo)
M: 0 C: 13
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseANonDeterministicSimpleBlockStm(ANonDeterministicSimpleBlockStm, TypeCheckInfo)
M: 32 C: 72
69%
M: 8 C: 10
56%
M: 6 C: 4
40%
M: 8 C: 15
65%
M: 0 C: 1
100%
caseANotYetSpecifiedStm(ANotYetSpecifiedStm, TypeCheckInfo)
M: 0 C: 10
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseAPeriodicStm(APeriodicStm, TypeCheckInfo)
M: 110 C: 130
54%
M: 13 C: 9
41%
M: 9 C: 3
25%
M: 17 C: 25
60%
M: 0 C: 1
100%
caseAReturnStm(AReturnStm, TypeCheckInfo)
M: 0 C: 69
100%
M: 1 C: 9
90%
M: 1 C: 5
83%
M: 0 C: 14
100%
M: 0 C: 1
100%
caseASkipStm(ASkipStm, TypeCheckInfo)
M: 0 C: 18
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseASpecificationStm(ASpecificationStm, TypeCheckInfo)
M: 73 C: 134
65%
M: 10 C: 14
58%
M: 8 C: 5
38%
M: 10 C: 19
66%
M: 0 C: 1
100%
caseASporadicStm(ASporadicStm, TypeCheckInfo)
M: 240 C: 0
0%
M: 22 C: 0
0%
M: 12 C: 0
0%
M: 42 C: 0
0%
M: 1 C: 0
0%
caseAStartStm(AStartStm, TypeCheckInfo)
M: 39 C: 107
73%
M: 5 C: 9
64%
M: 5 C: 3
38%
M: 5 C: 14
74%
M: 0 C: 1
100%
caseAStopStm(AStopStm, TypeCheckInfo)
M: 129 C: 0
0%
M: 10 C: 0
0%
M: 6 C: 0
0%
M: 16 C: 0
0%
M: 1 C: 0
0%
caseASubclassResponsibilityStm(ASubclassResponsibilityStm, TypeCheckInfo)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
caseATixeStm(ATixeStm, TypeCheckInfo)
M: 0 C: 48
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
caseATixeStmtAlternative(ATixeStmtAlternative, TypeCheckInfo)
M: 0 C: 77
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
caseATrapStm(ATrapStm, TypeCheckInfo)
M: 0 C: 114
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 19
100%
M: 0 C: 1
100%
caseAWhileStm(AWhileStm, TypeCheckInfo)
M: 14 C: 101
88%
M: 3 C: 13
81%
M: 3 C: 6
67%
M: 4 C: 19
83%
M: 0 C: 1
100%
checkArgTypes(ACallStm, PType, List, List, TypeCheckInfo)
M: 0 C: 67
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
checkArgTypes(PType, List, List, TypeCheckInfo)
M: 35 C: 32
48%
M: 2 C: 4
67%
M: 2 C: 2
50%
M: 5 C: 7
58%
M: 0 C: 1
100%
defaultSSimpleBlockStm(SSimpleBlockStm, TypeCheckInfo)
M: 4 C: 128
97%
M: 3 C: 25
89%
M: 3 C: 12
80%
M: 0 C: 29
100%
M: 0 C: 1
100%
exitCheck(PStm, TypeCheckInfo)
M: 7 C: 9
56%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 2 C: 1
33%
M: 0 C: 1
100%
getArgTypes(List, IQuestionAnswer, TypeCheckInfo)
M: 0 C: 24
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
getDefinitions(ADefPatternBind)
M: 5 C: 8
62%
M: 2 C: 2
50%
M: 2 C: 1
33%
M: 0 C: 2
100%
M: 0 C: 1
100%
static {...}
M: 2 C: 6
75%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 0 C: 1
100%
M: 0 C: 1
100%
targetDefinition(PStateDesignator, TypeCheckInfo)
M: 2 C: 13
87%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 3
75%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!