()
| 190 | |
| 191 | |
| 192 | public void trimHistory(){ |
| 193 | try |
| 194 | { |
| 195 | lock.writeLock().lock(); |
| 196 | if(tvals != null) |
| 197 | { |
| 198 | tvals.next = tvals; |
| 199 | tvals.prior = tvals; |
| 200 | } |
| 201 | } |
| 202 | finally |
| 203 | { |
| 204 | lock.writeLock().unlock(); |
| 205 | } |
| 206 | } |
| 207 | |
| 208 | public int getHistoryCount(){ |
| 209 | try |