<s>[INST] 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 [/INST] void function ( ) { violations = new ArrayList < Violation > ( ) ; </s>