Package: LocationAssistantIR

LocationAssistantIR

nameinstructionbranchcomplexitylinemethod
LocationAssistantIR(AssistantManager)
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%
compareLocations(ILexLocation, ILexLocation)
M: 14 C: 23
62%
M: 2 C: 2
50%
M: 2 C: 1
33%
M: 4 C: 7
64%
M: 0 C: 1
100%
consVdmNodeInfoStr(STypeIR)
M: 44 C: 0
0%
M: 4 C: 0
0%
M: 3 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
findLocation(INode)
M: 31 C: 0
0%
M: 4 C: 0
0%
M: 3 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
findLocation(IrNodeInfo)
M: 12 C: 0
0%
M: 2 C: 0
0%
M: 2 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%
getIrNodeInfoLocationSorted(Set)
M: 13 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
getVdmNode(IrNodeInfo)
M: 25 C: 0
0%
M: 8 C: 0
0%
M: 5 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
getVdmNodeInfoLocationSorted(Set)
M: 13 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%

Coverage

ERROR: Error while reading the sourcefile!