Package: VarShadowingRenameCollector

VarShadowingRenameCollector

nameinstructionbranchcomplexitylinemethod
VarShadowingRenameCollector(ITypeCheckerAssistantFactory, Map, List)
M: 0 C: 80
100%
M: 1 C: 5
83%
M: 1 C: 3
75%
M: 0 C: 18
100%
M: 0 C: 1
100%
addLocalDefs(DefinitionInfo)
M: 0 C: 25
100%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 0 C: 6
100%
M: 0 C: 1
100%
caseABlockSimpleBlockStm(ABlockSimpleBlockStm)
M: 0 C: 29
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
caseACaseAlternative(ACaseAlternative)
M: 1 C: 13
93%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 3
75%
M: 0 C: 1
100%
caseACaseAlternativeStm(ACaseAlternativeStm)
M: 1 C: 13
93%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 3
75%
M: 0 C: 1
100%
caseACasesExp(ACasesExp)
M: 0 C: 14
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
caseACasesStm(ACasesStm)
M: 1 C: 13
93%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 3
75%
M: 0 C: 1
100%
caseAClassClassDefinition(AClassClassDefinition)
M: 0 C: 10
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
caseAExistsExp(AExistsExp)
M: 0 C: 14
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
caseAExplicitFunctionDefinition(AExplicitFunctionDefinition)
M: 0 C: 26
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
caseAExplicitOperationDefinition(AExplicitOperationDefinition)
M: 0 C: 50
100%
M: 0 C: 8
100%
M: 0 C: 5
100%
M: 0 C: 11
100%
M: 0 C: 1
100%
caseAForAllExp(AForAllExp)
M: 0 C: 14
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
caseAForAllStm(AForAllStm)
M: 1 C: 67
99%
M: 2 C: 6
75%
M: 2 C: 3
60%
M: 1 C: 13
93%
M: 0 C: 1
100%
caseAForIndexStm(AForIndexStm)
M: 1 C: 44
98%
M: 3 C: 5
63%
M: 3 C: 2
40%
M: 1 C: 12
92%
M: 0 C: 1
100%
caseAForPatternBindStm(AForPatternBindStm)
M: 1 C: 42
98%
M: 2 C: 4
67%
M: 2 C: 2
50%
M: 1 C: 9
90%
M: 0 C: 1
100%
caseAIotaExp(AIotaExp)
M: 1 C: 13
93%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 3
75%
M: 0 C: 1
100%
caseALambdaExp(ALambdaExp)
M: 1 C: 24
96%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 6
86%
M: 0 C: 1
100%
caseALetBeStBindingTraceDefinition(ALetBeStBindingTraceDefinition)
M: 1 C: 36
97%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 1 C: 9
90%
M: 0 C: 1
100%
caseALetBeStExp(ALetBeStExp)
M: 0 C: 37
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
caseALetBeStStm(ALetBeStStm)
M: 1 C: 36
97%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 1 C: 9
90%
M: 0 C: 1
100%
caseALetDefExp(ALetDefExp)
M: 0 C: 29
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
caseALetStm(ALetStm)
M: 1 C: 28
97%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 7
88%
M: 0 C: 1
100%
caseAMapCompMapExp(AMapCompMapExp)
M: 0 C: 15
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
caseAModuleModules(AModuleModules)
M: 1 C: 9
90%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 3
75%
M: 0 C: 1
100%
caseASetCompSetExp(ASetCompSetExp)
M: 1 C: 14
93%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 3
75%
M: 0 C: 1
100%
caseASystemClassDefinition(ASystemClassDefinition)
M: 0 C: 10
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
caseATixeStm(ATixeStm)
M: 0 C: 23
100%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 0 C: 6
100%
M: 0 C: 1
100%
caseATixeStmtAlternative(ATixeStmtAlternative)
M: 0 C: 30
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
caseATrapStm(ATrapStm)
M: 1 C: 45
98%
M: 3 C: 5
63%
M: 3 C: 2
40%
M: 1 C: 10
91%
M: 0 C: 1
100%
caseILexNameToken(ILexNameToken)
M: 0 C: 1
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
collectIdDesignatorOccurrences(ILexLocation, INode)
M: 0 C: 13
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
collectIdOccurences(ILexNameToken, INode)
M: 0 C: 12
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
collectVarOccurences(ILexLocation, INode)
M: 0 C: 11
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
computeNewName(String)
M: 0 C: 32
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
contains(ILexLocation)
M: 0 C: 21
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
contains(ILexNameToken)
M: 0 C: 34
100%
M: 2 C: 8
80%
M: 2 C: 4
67%
M: 0 C: 9
100%
M: 0 C: 1
100%
contains(PDefinition)
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%
endScope(DefinitionInfo)
M: 0 C: 7
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
findFieldDefs(List, List)
M: 0 C: 39
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 9
100%
M: 0 C: 1
100%
findRenamings(PDefinition, INode, INode)
M: 1 C: 86
99%
M: 1 C: 9
90%
M: 1 C: 5
83%
M: 1 C: 18
95%
M: 0 C: 1
100%
getBindDefinitions(PBind)
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%
getMultipleBindDefs(List)
M: 0 C: 44
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
getName(PDefinition)
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%
getParamDefs(AExplicitFunctionDefinition)
M: 0 C: 35
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
getRenamings()
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%
getStateDef(List)
M: 0 C: 19
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
getStateDefs(List, INode)
M: 13 C: 103
89%
M: 1 C: 15
94%
M: 1 C: 8
89%
M: 2 C: 23
92%
M: 0 C: 1
100%
handleBindConstruct(INode, PBind, PExp, PExp)
M: 0 C: 11
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
handleBinds(INode, PExp, PExp, List)
M: 0 C: 25
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
handleCase(LinkedList, PPattern, INode)
M: 0 C: 23
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
handleCaseNode(PExp, List, INode)
M: 0 C: 25
100%
M: 1 C: 5
83%
M: 1 C: 3
75%
M: 0 C: 8
100%
M: 0 C: 1
100%
handleExecutables(List)
M: 0 C: 38
100%
M: 0 C: 8
100%
M: 0 C: 5
100%
M: 0 C: 9
100%
M: 0 C: 1
100%
handleMultipleBindConstruct(INode, LinkedList, PExp, PExp)
M: 0 C: 11
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
init(boolean)
M: 0 C: 23
100%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 0 C: 7
100%
M: 0 C: 1
100%
openLoop(ILexNameToken, INode, PStm)
M: 10 C: 77
89%
M: 1 C: 9
90%
M: 1 C: 5
83%
M: 2 C: 16
89%
M: 0 C: 1
100%
openScope(DefinitionInfo, INode)
M: 0 C: 48
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
openScope(INode, List, INode)
M: 0 C: 28
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
proceed(INode)
M: 12 C: 73
86%
M: 1 C: 19
95%
M: 1 C: 10
91%
M: 1 C: 19
95%
M: 0 C: 1
100%
registerRenaming(ILexNameToken, String)
M: 0 C: 22
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
removeLocalDefFromScope(PDefinition)
M: 0 C: 7
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
removeLocalDefs(DefinitionInfo)
M: 0 C: 7
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
setNamesToAvoid(PDefinition)
M: 0 C: 12
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
visitDefs(List)
M: 0 C: 15
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
visitModuleDefs(List, INode)
M: 3 C: 18
86%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 6
86%
M: 0 C: 1
100%
visitStms(List)
M: 0 C: 15
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!