Package: PatternTrans

PatternTrans

nameinstructionbranchcomplexitylinemethod
PatternTrans(IterationVarPrefixes, TransAssistantIR, PatternVarPrefixes, String)
M: 0 C: 21
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
basicCaseHandled(SPatternIR)
M: 0 C: 23
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
caseABlockStmIR(ABlockStmIR)
M: 14 C: 190
93%
M: 2 C: 24
92%
M: 2 C: 12
86%
M: 2 C: 46
96%
M: 0 C: 1
100%
caseACasesStmIR(ACasesStmIR)
M: 0 C: 261
100%
M: 0 C: 8
100%
M: 0 C: 5
100%
M: 0 C: 51
100%
M: 0 C: 1
100%
caseAFieldDeclIR(AFieldDeclIR)
M: 0 C: 16
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
caseAForAllStmIR(AForAllStmIR)
M: 0 C: 88
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 20
100%
M: 0 C: 1
100%
caseALocalPatternAssignmentStmIR(ALocalPatternAssignmentStmIR)
M: 0 C: 49
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 13
100%
M: 0 C: 1
100%
caseAMethodDeclIR(AMethodDeclIR)
M: 31 C: 61
66%
M: 4 C: 6
60%
M: 3 C: 3
50%
M: 6 C: 15
71%
M: 0 C: 1
100%
checkRecordPattern(SExpIR)
M: 0 C: 10
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
consFieldCheckBlock(PatternBlockData, AIdentifierVarExpIR, List, List, boolean)
M: 0 C: 98
100%
M: 1 C: 9
90%
M: 1 C: 5
83%
M: 0 C: 23
100%
M: 0 C: 1
100%
consFieldValueToMatch(AIdentifierVarExpIR, int, STypeIR, boolean)
M: 2 C: 22
92%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 1 C: 4
80%
M: 0 C: 1
100%
consIdVarDeclaration(PatternInfo, SPatternIR)
M: 0 C: 28
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
consMismatchCheck(AIdentifierVarExpIR, SStmIR)
M: 0 C: 17
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
consPatternBlock(PatternBlockData, SPatternIR, STypeIR, SExpIR, boolean)
M: 4 C: 69
95%
M: 1 C: 7
88%
M: 1 C: 4
80%
M: 1 C: 17
94%
M: 0 C: 1
100%
consPatternCheck(SPatternIR, STypeIR, SExpIR, ABlockStmIR)
M: 0 C: 17
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
consPatternCheck(boolean, SPatternIR, STypeIR, PatternBlockData, SExpIR)
M: 23 C: 265
92%
M: 2 C: 26
93%
M: 2 C: 13
87%
M: 2 C: 53
96%
M: 0 C: 1
100%
consPatternHandlingBlock(List)
M: 0 C: 46
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
consPatternHandlingBlockCases(List, PatternBlockData)
M: 0 C: 94
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 20
100%
M: 0 C: 1
100%
consPatternHandlingBlocksSeparate(List, List)
M: 0 C: 71
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 11
100%
M: 0 C: 1
100%
consPatternHandlingInIterationBlock(AVarDeclIR, DeclarationTag, SExpIR)
M: 22 C: 145
87%
M: 3 C: 7
70%
M: 3 C: 3
50%
M: 2 C: 35
95%
M: 0 C: 1
100%
consRecFieldExp(AIdentifierVarExpIR, STypeIR, String)
M: 0 C: 17
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
consRecFieldExp(AIdentifierVarExpIR, int, STypeIR, boolean)
M: 0 C: 45
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
consRecordPatternCheck(boolean, ARecordPatternIR, ARecordTypeIR, PatternBlockData, SExpIR, boolean)
M: 0 C: 179
100%
M: 0 C: 12
100%
M: 0 C: 7
100%
M: 0 C: 37
100%
M: 0 C: 1
100%
consRecordType(ARecordPatternIR)
M: 49 C: 0
0%
M: 4 C: 0
0%
M: 3 C: 0
0%
M: 13 C: 0
0%
M: 1 C: 0
0%
consSimplePatternCheck(boolean, SPatternIR, SExpIR, PatternBlockData, SExpIR)
M: 0 C: 94
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 21
100%
M: 0 C: 1
100%
consSuccessVarCheck(SPatternIR, PatternBlockData)
M: 18 C: 51
74%
M: 3 C: 1
25%
M: 2 C: 1
33%
M: 2 C: 11
85%
M: 0 C: 1
100%
consTupleFieldExp(AIdentifierVarExpIR, int, STypeIR, boolean)
M: 0 C: 42
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
consTuplePatternCheck(boolean, ATuplePatternIR, ATupleTypeIR, PatternBlockData, SExpIR, boolean)
M: 0 C: 123
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 28
100%
M: 0 C: 1
100%
consTupleType(ATuplePatternIR)
M: 0 C: 27
100%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 0 C: 6
100%
M: 0 C: 1
100%
consType(SPatternIR)
M: 66 C: 31
32%
M: 11 C: 9
45%
M: 10 C: 1
9%
M: 16 C: 10
38%
M: 0 C: 1
100%
consUnionTypedTuplePatternCheck(boolean, AUnionTypeIR, PatternBlockData, SExpIR, ATuplePatternIR)
M: 0 C: 58
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
declareAndAssignIdVarAssignment(ABlockStmIR, SPatternIR, STypeIR, SExpIR)
M: 0 C: 53
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
extractFromCases(List, SExpIR)
M: 0 C: 28
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
extractFromLocalDefs(List)
M: 0 C: 25
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
extractFromParams(List)
M: 0 C: 32
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
extractPatternInfo(AVarDeclIR)
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%
fetchTag(PIR)
M: 13 C: 11
46%
M: 2 C: 2
50%
M: 2 C: 1
33%
M: 2 C: 4
67%
M: 0 C: 1
100%
getIdPattern(String)
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%
initPattern(boolean, SPatternIR, STypeIR, SExpIR, AIdentifierPatternIR)
M: 0 C: 31
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
initSuccessVar(PatternBlockData, SExpIR, ABlockStmIR)
M: 0 C: 28
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
mismatchHandling(SPatternIR, PatternBlockData)
M: 0 C: 63
100%
M: 0 C: 6
100%
M: 0 C: 4
100%
M: 0 C: 14
100%
M: 0 C: 1
100%
morePatternsToGenerate(List, int)
M: 0 C: 25
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
skipPattern(SPatternIR)
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%

Coverage

ERROR: Error while reading the sourcefile!