Package: Exp2StmTrans

Exp2StmTrans

nameinstructionbranchcomplexitylinemethod
Exp2StmTrans(IterationVarPrefixes, TransAssistantIR, CounterData, ILanguageIterator, Exp2StmVarPrefixes)
M: 0 C: 24
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
assignToVar(AIdentifierVarExpIR, SExpIR)
M: 0 C: 14
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
caseAAndBoolBinaryExpIR(AAndBoolBinaryExpIR)
M: 0 C: 33
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
caseACasesExpIR(ACasesExpIR)
M: 0 C: 145
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 30
100%
M: 0 C: 1
100%
caseACompMapExpIR(ACompMapExpIR)
M: 0 C: 78
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 17
100%
M: 0 C: 1
100%
caseACompSeqExpIR(ACompSeqExpIR)
M: 0 C: 102
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 20
100%
M: 0 C: 1
100%
caseACompSetExpIR(ACompSetExpIR)
M: 0 C: 78
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 17
100%
M: 0 C: 1
100%
caseAExists1QuantifierExpIR(AExists1QuantifierExpIR)
M: 0 C: 103
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 22
100%
M: 0 C: 1
100%
caseAExistsQuantifierExpIR(AExistsQuantifierExpIR)
M: 0 C: 90
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 18
100%
M: 0 C: 1
100%
caseAForAllQuantifierExpIR(AForAllQuantifierExpIR)
M: 0 C: 90
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 18
100%
M: 0 C: 1
100%
caseAIotaExpIR(AIotaExpIR)
M: 10 C: 79
89%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 16
94%
M: 0 C: 1
100%
caseALetBeStExpIR(ALetBeStExpIR)
M: 20 C: 176
90%
M: 1 C: 5
83%
M: 1 C: 3
75%
M: 3 C: 35
92%
M: 0 C: 1
100%
caseALetDefExpIR(ALetDefExpIR)
M: 0 C: 75
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 17
100%
M: 0 C: 1
100%
caseAOrBoolBinaryExpIR(AOrBoolBinaryExpIR)
M: 3 C: 30
91%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 6
86%
M: 0 C: 1
100%
caseARecordModExpIR(ARecordModExpIR)
M: 0 C: 173
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 30
100%
M: 0 C: 1
100%
caseATernaryIfExpIR(ATernaryIfExpIR)
M: 0 C: 137
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 31
100%
M: 0 C: 1
100%
consAndExpCheck(AAndBoolBinaryExpIR, String)
M: 0 C: 50
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
consExists1QuantifierStrategy(SExpIR, ITempVarGen, String)
M: 0 C: 15
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
consIotaStrategy(SExpIR, ITempVarGen, String, String, SExpIR)
M: 0 C: 16
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
consLetBeStStrategy(SExpIR, STypeIR, ITempVarGen)
M: 0 C: 13
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
consMapCompStrategy(AMapletExpIR, SExpIR, STypeIR, ITempVarGen, String)
M: 0 C: 15
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
consOrExpCheck(AOrBoolBinaryExpIR, String)
M: 0 C: 57
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 13
100%
M: 0 C: 1
100%
consOrdinaryQuantifierStrategy(SExpIR, ITempVarGen, String, TransAssistantIR, OrdinaryQuantifier, ILanguageIterator, IterationVarPrefixes)
M: 0 C: 11
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
consSeqCompStrategy(SExpIR, SExpIR, STypeIR, ITempVarGen, String)
M: 0 C: 15
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
consSetCompStrategy(SExpIR, SExpIR, STypeIR, ITempVarGen, String)
M: 0 C: 15
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
filterBindList(INode, List)
M: 18 C: 25
58%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 2 C: 6
75%
M: 0 C: 1
100%
getCol(SMultipleBindIR)
M: 2 C: 14
88%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 1 C: 4
80%
M: 0 C: 1
100%
handleLogicExp(SBoolBinaryExpIR, SStmIR, SStmIR, String)
M: 0 C: 52
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 11
100%
M: 0 C: 1
100%
replaceCompWithTransformation(SStmIR, ABlockStmIR, STypeIR, String, SExpIR)
M: 0 C: 26
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
transform(SStmIR, ABlockStmIR, SExpIR, SExpIR)
M: 0 C: 16
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
transformBoolBinaryExp(SBoolBinaryExpIR, SStmIR)
M: 0 C: 13
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
visitBoolBinary(SBoolBinaryExpIR)
M: 0 C: 13
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!