Package: PatternTrans

PatternTrans

name	instruction	branch	complexity	line	method
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!