nl: empty the violations list . concode_field_sep long numNormalPptExits concode_elem_sep long numEvaluations concode_elem_sep List<Throwable> internalInvariantEvaluationErrors concode_elem_sep long numPptEntries concode_elem_sep List<Violation> violations concode_elem_sep long numExceptionalPptExits concode_field_sep boolean violationsEmpty concode_elem_sep void violationsAdd concode_elem_sep List<Violation> getViolations
code: void function ( ) { violations = new ArrayList < Violation > ( ) ; }