Package: ExpAssistantIR

ExpAssistantIR

nameinstructionbranchcomplexitylinemethod
ExpAssistantIR(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%
appearsInModuleStateInv(INode)
M: 2 C: 34
94%
M: 2 C: 6
75%
M: 2 C: 3
60%
M: 1 C: 10
91%
M: 0 C: 1
100%
consBoolLiteral(boolean)
M: 0 C: 15
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
consCharLiteral(char)
M: 0 C: 15
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
consCharSequence(STypeIR, String)
M: 0 C: 39
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 9
100%
M: 0 C: 1
100%
consHeader(SMultipleBindIR, SExpIR)
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%
consIdVar(String, STypeIR)
M: 0 C: 20
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
consIntLiteral(long)
M: 0 C: 15
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
consNullExp()
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%
consQuoteLiteral(String)
M: 0 C: 19
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
consRealLiteral(double)
M: 0 C: 15
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
consStringLiteral(String, boolean)
M: 0 C: 18
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
consUndefinedExp()
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%
findSubject(SExpIR)
M: 35 C: 0
0%
M: 12 C: 0
0%
M: 7 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
getDefaultBoolValue()
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%
getDefaultCharlValue()
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%
getDefaultIntValue()
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%
getDefaultNat1Value()
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%
getDefaultNatValue()
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%
getDefaultRealValue()
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%
getDefaultStringlValue()
M: 5 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
handleAlternativesCasesExp(IRInfo, PExp, List, List)
M: 0 C: 102
100%
M: 0 C: 8
100%
M: 0 C: 5
100%
M: 0 C: 20
100%
M: 0 C: 1
100%
handleBinaryExp(SBinaryExp, SBinaryExpIR, IRInfo)
M: 1 C: 44
98%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 0 C: 11
100%
M: 0 C: 1
100%
handleMapType(SMapTypeBase, IRInfo, boolean)
M: 0 C: 44
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 11
100%
M: 0 C: 1
100%
handleQuantifier(PExp, List, PExp, SQuantifierExpIR, IRInfo, String)
M: 0 C: 56
100%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 0 C: 13
100%
M: 0 C: 1
100%
handleUnaryExp(SUnaryExp, SUnaryExpIR, IRInfo)
M: 0 C: 24
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
idStateDesignatorToExp(AIdentifierStateDesignatorIR)
M: 0 C: 68
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 17
100%
M: 0 C: 1
100%
isAssigned(PExp)
M: 0 C: 54
100%
M: 0 C: 12
100%
M: 0 C: 7
100%
M: 0 C: 16
100%
M: 0 C: 1
100%
isIntegerType(PExp)
M: 19 C: 0
0%
M: 8 C: 0
0%
M: 5 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
isIntegerType(SExpIR)
M: 0 C: 19
100%
M: 0 C: 8
100%
M: 0 C: 5
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
isLoopCondition(SExpIR)
M: 0 C: 20
100%
M: 1 C: 5
83%
M: 1 C: 3
75%
M: 0 C: 4
100%
M: 0 C: 1
100%
isOld(String)
M: 0 C: 10
100%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 0 C: 1
100%
M: 0 C: 1
100%
isResult(String)
M: 0 C: 10
100%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 0 C: 1
100%
M: 0 C: 1
100%
isUndefined(SExpIR)
M: 0 C: 16
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
isolateExpression(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%
negate(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%
oldNameToCurrentName(String)
M: 2 C: 10
83%
M: 2 C: 2
50%
M: 2 C: 1
33%
M: 1 C: 2
67%
M: 0 C: 1
100%
outsideImperativeContext(INode)
M: 0 C: 24
100%
M: 1 C: 9
90%
M: 1 C: 5
83%
M: 0 C: 5
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!