Package: SQuantifierExpBase

SQuantifierExpBase

name	instruction	branch	complexity	line	method
SQuantifierExpBase()	M: 0 C: 9 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 3 100%	M: 0 C: 1 100%
SQuantifierExpBase(STypeIR, List, SExpIR)	M: 19 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 5 C: 0 0%	M: 1 C: 0 0%
SQuantifierExpBase(SourceNode, Object, List, STypeIR, List, SExpIR)	M: 0 C: 19 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 5 100%	M: 0 C: 1 100%
equals(Object)	M: 13 C: 0 0%	M: 4 C: 0 0%	M: 3 C: 0 0%	M: 3 C: 0 0%	M: 1 C: 0 0%
getBindList()	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%
getChildren(Boolean)	M: 26 C: 0 0%	M: 2 C: 0 0%	M: 2 C: 0 0%	M: 6 C: 0 0%	M: 1 C: 0 0%
getPredicate()	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%
hashCode()	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%
removeChild(INode)	M: 27 C: 0 0%	M: 6 C: 0 0%	M: 4 C: 0 0%	M: 9 C: 0 0%	M: 1 C: 0 0%
setBindList(List)	M: 1 C: 16 94%	M: 2 C: 2 50%	M: 2 C: 1 33%	M: 1 C: 5 83%	M: 0 C: 1 100%
setPredicate(SExpIR)	M: 8 C: 15 65%	M: 3 C: 3 50%	M: 3 C: 1 25%	M: 2 C: 6 75%	M: 0 C: 1 100%
toString()	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!