/** * Set the change log on the SAIL connection. See {@link IChangeLog} * and {@link IChangeRecord}. * * @param changeLog * the change log */ synchronized public void addChangeLog(final IChangeLog changeLog) { if (this.changeLog == null) { this.changeLog = new DelegatingChangeLog(); if (assertBuffer != null && !getTruthMaintenance()) { assertBuffer.setChangeLog(changeLog); } } this.changeLog.addDelegate(changeLog); }
/** * Set the change log on the SAIL connection. See {@link IChangeLog} * and {@link IChangeRecord}. * * @param changeLog * the change log */ synchronized public void addChangeLog(final IChangeLog changeLog) { if (this.changeLog == null) { this.changeLog = new DelegatingChangeLog(); if (assertBuffer != null && !getTruthMaintenance()) { assertBuffer.setChangeLog(changeLog); } } this.changeLog.addDelegate(changeLog); }
bufferCapacity); assertBuffer.setChangeLog(changeLog);
bufferCapacity); assertBuffer.setChangeLog(changeLog);