Package: ASpecificationStm

ASpecificationStm

name	instruction	branch	complexity	line	method
ASpecificationStm()	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%
ASpecificationStm(ILexLocation, ILexCommentList, List, PExp, PExp, List)	M: 30 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 8 C: 0 0%	M: 1 C: 0 0%
ASpecificationStm(ILexLocation, PType, ILexCommentList, List, PExp, PExp, List)	M: 30 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 8 C: 0 0%	M: 1 C: 0 0%
apply(IAnalysis)	M: 4 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 2 C: 0 0%	M: 1 C: 0 0%
apply(IAnswer)	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%
apply(IQuestion, Object)	M: 5 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 2 C: 0 0%	M: 1 C: 0 0%
apply(IQuestionAnswer, Object)	M: 0 C: 5 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 1 100%	M: 0 C: 1 100%
clone()	M: 28 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 5 C: 0 0%	M: 1 C: 0 0%
clone(Map)	M: 39 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 7 C: 0 0%	M: 1 C: 0 0%
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%
getChildren(Boolean)	M: 38 C: 0 0%	M: 2 C: 0 0%	M: 2 C: 0 0%	M: 8 C: 0 0%	M: 1 C: 0 0%
getErrors()	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%
getExternals()	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%
getPostcondition()	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%
getPrecondition()	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: 6 C: 32 84%	M: 2 C: 8 80%	M: 2 C: 4 67%	M: 2 C: 11 85%	M: 0 C: 1 100%
setErrors(List)	M: 1 C: 16 94%	M: 1 C: 3 75%	M: 1 C: 2 67%	M: 1 C: 5 83%	M: 0 C: 1 100%
setExternals(List)	M: 1 C: 16 94%	M: 1 C: 3 75%	M: 1 C: 2 67%	M: 1 C: 5 83%	M: 0 C: 1 100%
setPostcondition(PExp)	M: 8 C: 15 65%	M: 2 C: 4 67%	M: 2 C: 2 50%	M: 2 C: 6 75%	M: 0 C: 1 100%
setPrecondition(PExp)	M: 8 C: 15 65%	M: 2 C: 4 67%	M: 2 C: 2 50%	M: 2 C: 6 75%	M: 0 C: 1 100%
toString()	M: 71 C: 0 0%	M: 8 C: 0 0%	M: 5 C: 0 0%	M: 2 C: 0 0%	M: 1 C: 0 0%

Coverage

ERROR: Error while reading the sourcefile!