Package: TypeCheckerDefinitionVisitor

TypeCheckerDefinitionVisitor

nameinstructionbranchcomplexitylinemethod
TypeCheckerDefinitionVisitor(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%
caseAApplyExpressionTraceCoreDefinition(AApplyExpressionTraceCoreDefinition, TypeCheckInfo)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAAssignmentDefinition(AAssignmentDefinition, TypeCheckInfo)
M: 8 C: 70
90%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 1 C: 11
92%
M: 0 C: 1
100%
caseABracketedExpressionTraceCoreDefinition(ABracketedExpressionTraceCoreDefinition, TypeCheckInfo)
M: 0 C: 32
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
caseAClassInvariantDefinition(AClassInvariantDefinition, TypeCheckInfo)
M: 0 C: 49
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
caseAConcurrentExpressionTraceCoreDefinition(AConcurrentExpressionTraceCoreDefinition, 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%
caseAEqRelation(AEqRelation, TypeCheckInfo)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAEqualsDefinition(AEqualsDefinition, TypeCheckInfo)
M: 111 C: 171
61%
M: 8 C: 8
50%
M: 6 C: 3
33%
M: 15 C: 26
63%
M: 0 C: 1
100%
caseAExplicitFunctionDefinition(AExplicitFunctionDefinition, TypeCheckInfo)
M: 41 C: 465
92%
M: 7 C: 39
85%
M: 7 C: 17
71%
M: 7 C: 76
92%
M: 0 C: 1
100%
caseAExplicitOperationDefinition(AExplicitOperationDefinition, TypeCheckInfo)
M: 119 C: 674
85%
M: 13 C: 75
85%
M: 12 C: 33
73%
M: 18 C: 97
84%
M: 0 C: 1
100%
caseAExternalDefinition(AExternalDefinition, TypeCheckInfo)
M: 0 C: 2
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseAImplicitFunctionDefinition(AImplicitFunctionDefinition, TypeCheckInfo)
M: 122 C: 413
77%
M: 16 C: 36
69%
M: 13 C: 14
52%
M: 20 C: 66
77%
M: 0 C: 1
100%
caseAImplicitOperationDefinition(AImplicitOperationDefinition, TypeCheckInfo)
M: 162 C: 863
84%
M: 25 C: 95
79%
M: 20 C: 41
67%
M: 19 C: 137
88%
M: 0 C: 1
100%
caseAImportedDefinition(AImportedDefinition, TypeCheckInfo)
M: 12 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
caseAInheritedDefinition(AInheritedDefinition, TypeCheckInfo)
M: 12 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
caseAInstanceVariableDefinition(AInstanceVariableDefinition, TypeCheckInfo)
M: 22 C: 131
86%
M: 2 C: 8
80%
M: 2 C: 4
67%
M: 3 C: 19
86%
M: 0 C: 1
100%
caseALetBeStBindingTraceDefinition(ALetBeStBindingTraceDefinition, TypeCheckInfo)
M: 0 C: 22
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
caseALetDefBindingTraceDefinition(ALetDefBindingTraceDefinition, TypeCheckInfo)
M: 0 C: 9
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
caseALocalDefinition(ALocalDefinition, TypeCheckInfo)
M: 0 C: 18
100%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 0 C: 3
100%
M: 0 C: 1
100%
caseAMultiBindListDefinition(AMultiBindListDefinition, TypeCheckInfo)
M: 10 C: 49
83%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 1 C: 9
90%
M: 0 C: 1
100%
caseAMutexSyncDefinition(AMutexSyncDefinition, TypeCheckInfo)
M: 51 C: 148
74%
M: 8 C: 24
75%
M: 8 C: 9
53%
M: 7 C: 28
80%
M: 0 C: 1
100%
caseANamedTraceDefinition(ANamedTraceDefinition, TypeCheckInfo)
M: 0 C: 75
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
caseAOrdRelation(AOrdRelation, TypeCheckInfo)
M: 0 C: 26
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
caseAPerSyncDefinition(APerSyncDefinition, TypeCheckInfo)
M: 72 C: 165
70%
M: 9 C: 21
70%
M: 9 C: 7
44%
M: 10 C: 37
79%
M: 0 C: 1
100%
caseARenamedDefinition(ARenamedDefinition, TypeCheckInfo)
M: 12 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
caseARepeatTraceDefinition(ARepeatTraceDefinition, TypeCheckInfo)
M: 6 C: 16
73%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 2
67%
M: 0 C: 1
100%
caseAStateDefinition(AStateDefinition, TypeCheckInfo)
M: 8 C: 110
93%
M: 1 C: 11
92%
M: 1 C: 6
86%
M: 2 C: 20
91%
M: 0 C: 1
100%
caseAThreadDefinition(AThreadDefinition, TypeCheckInfo)
M: 0 C: 56
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
caseATypeDefinition(ATypeDefinition, TypeCheckInfo)
M: 17 C: 252
94%
M: 5 C: 29
85%
M: 4 C: 14
78%
M: 1 C: 46
98%
M: 0 C: 1
100%
caseAUntypedDefinition(AUntypedDefinition, TypeCheckInfo)
M: 9 C: 0
0%
M: 2 C: 0
0%
M: 2 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
caseAValueDefinition(AValueDefinition, TypeCheckInfo)
M: 27 C: 156
85%
M: 2 C: 18
90%
M: 2 C: 9
82%
M: 4 C: 32
89%
M: 0 C: 1
100%
checkAnnotations(PDefinition, TypeCheckInfo)
M: 11 C: 8
42%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 2 C: 2
50%
M: 0 C: 1
100%
checkMeasure(TypeCheckInfo, SFunctionDefinitionBase, ILexNameToken, PType)
M: 54 C: 11
17%
M: 7 C: 1
13%
M: 4 C: 1
20%
M: 11 C: 3
21%
M: 0 C: 1
100%
getDefinitions(APatternListTypePair, NameScope, ITypeCheckerAssistantFactory)
M: 0 C: 29
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
setMeasureDef(TypeCheckInfo, SFunctionDefinitionBase, ILexNameToken, Environment, NameScope)
M: 166 C: 109
40%
M: 24 C: 18
43%
M: 20 C: 2
9%
M: 18 C: 26
59%
M: 0 C: 1
100%
setMeasureExp(TypeCheckInfo, SFunctionDefinitionBase, Environment, Environment, NameScope)
M: 180 C: 0
0%
M: 12 C: 0
0%
M: 7 C: 0
0%
M: 33 C: 0
0%
M: 1 C: 0
0%
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%
typeCheck(List, IQuestionAnswer, TypeCheckInfo)
M: 0 C: 17
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
typeResolve(AExternalClause, IQuestionAnswer, TypeCheckInfo)
M: 0 C: 12
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!