CommonFocusAssertTransformNode

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total335 of 3350%30 of 300%2323878788
transformForall(QuantifiedExpressionNode)1750%160%99444411
transform(List)770%60%44222211
replaceFocusedVars(ASTNode, HashMap)530%80%55131311
copy()120%n/a111111
CommonFocusAssertTransformNode(Source, NodeFactory, TokenFactory, List)90%n/a113311
printBody(PrintStream)40%n/a112211
getFocusTags()30%n/a111111
getFocusKind()20%n/a111111