Package: IotaStrategy

IotaStrategy

nameinstructionbranchcomplexitylinemethod
IotaStrategy(TransAssistantIR, SExpIR, String, String, ILanguageIterator, ITempVarGen, IterationVarPrefixes, CounterData)
M: 0 C: 25
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
consCounterDecl(IRInfo, AIdentifierPatternIR)
M: 0 C: 21
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
consIotaError(String)
M: 0 C: 21
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
consIotaMultipleResultsError()
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%
consIotaNoMatchError()
M: 4 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
getForLoopStms(AIdentifierVarExpIR, List, SPatternIR)
M: 13 C: 143
92%
M: 2 C: 2
50%
M: 2 C: 1
33%
M: 2 C: 30
94%
M: 0 C: 1
100%
getOuterBlockDecls(AIdentifierVarExpIR, List)
M: 2 C: 55
96%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 12
92%
M: 0 C: 1
100%
getPostOuterBlockStms(AIdentifierVarExpIR, List)
M: 0 C: 44
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 8
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!