/** * Record the supplied change request for publishing through the event mechanism. * * @param request the completed change request; may not be null, and may not be cancelled or have an error */ protected void recordChange( ChangeRequest request ) { assert request != null; assert !request.isCancelled(); assert !request.hasError(); if (changes != null) changes.add(request); }