@Override public void visitTestCase(TestCase test) { if (!(test instanceof StructuredTestCase)) throw new IllegalArgumentException("Need StructuredTestCase"); this.structuredTest = (StructuredTestCase) test; this.exercisePosition = structuredTest.getFirstExerciseStatement(); this.checkingPosition = structuredTest.getFirstCheckingStatement(); super.visitTestCase(test); if (exceptions.isEmpty()) checkAdded = false; else checkAdded = true; }