Package: TypePredUtil

TypePredUtil

name	instruction	branch	complexity	line	method
TypePredUtil(TypePredHandler)	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%
appendRecValidChecks(boolean, AbstractTypeInfo, SVarExpIR, List, ADefaultClassDeclIR)	M: 6 C: 150 96%	M: 1 C: 11 92%	M: 1 C: 6 86%	M: 1 C: 34 97%	M: 0 C: 1 100%
consAssertStm(AbstractTypeInfo, ADefaultClassDeclIR, SVarExpIR, INode, RecClassInfo)	M: 0 C: 60 100%	M: 2 C: 6 75%	M: 2 C: 3 60%	M: 0 C: 11 100%	M: 0 C: 1 100%
consInvChecksGuard(ADefaultClassDeclIR)	M: 0 C: 20 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 4 100%	M: 0 C: 1 100%
consJmlCheck(ADefaultClassDeclIR, String, String, boolean, AbstractTypeInfo, SVarExpIR)	M: 8 C: 98 92%	M: 1 C: 9 90%	M: 1 C: 5 83%	M: 2 C: 23 92%	M: 0 C: 1 100%
consRecVarCast(SVarExpIR, String)	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%
consVarNotNullAssert(String)	M: 0 C: 29 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 4 100%	M: 0 C: 1 100%
findTypeInfo(STypeIR)	M: 15 C: 210 93%	M: 1 C: 25 96%	M: 1 C: 13 93%	M: 1 C: 39 98%	M: 0 C: 1 100%
fullyQualifiedRecType(ARecordTypeIR)	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%
getRecTypes(AbstractTypeInfo)	M: 0 C: 30 100%	M: 0 C: 4 100%	M: 0 C: 3 100%	M: 0 C: 7 100%	M: 0 C: 1 100%

Coverage

ERROR: Error while reading the sourcefile!