From 4a994cff388ce532569f4ce0bc1b6d2ac9898120 Mon Sep 17 00:00:00 2001 From: carm Date: Fri, 13 Feb 2015 19:00:04 -0500 Subject: [PATCH] rename buffer io to ring buffer --- _oasis | 2 +- src/data/{CCBufferIO.ml => CCRingBuffer.ml} | 4 +++- src/data/{CCBufferIO.mli => CCRingBuffer.mli} | 0 3 files changed, 4 insertions(+), 2 deletions(-) rename src/data/{CCBufferIO.ml => CCRingBuffer.ml} (97%) rename src/data/{CCBufferIO.mli => CCRingBuffer.mli} (100%) diff --git a/_oasis b/_oasis index 5338b481..bdf8be95 100644 --- a/_oasis +++ b/_oasis @@ -70,7 +70,7 @@ Library "containers_data" Path: src/data Modules: CCMultiMap, CCMultiSet, CCTrie, CCFlatHashtbl, CCCache, CCPersistentHashtbl, CCDeque, CCFQueue, CCBV, CCMixtbl, - CCBufferIO + CCRingBuffer FindlibParent: containers FindlibName: data diff --git a/src/data/CCBufferIO.ml b/src/data/CCRingBuffer.ml similarity index 97% rename from src/data/CCBufferIO.ml rename to src/data/CCRingBuffer.ml index 1778ed00..8616c37c 100644 --- a/src/data/CCBufferIO.ml +++ b/src/data/CCRingBuffer.ml @@ -1,5 +1,7 @@ (* - * CCBufferIO - Polymorphic circular buffer + * CCRingBufferIO - Polymorphic circular buffer with + * deque semantics for accessing both the head and tail. + * * Copyright (C) 2014 Simon Cruanes * * This library is free software; you can redistribute it and/or diff --git a/src/data/CCBufferIO.mli b/src/data/CCRingBuffer.mli similarity index 100% rename from src/data/CCBufferIO.mli rename to src/data/CCRingBuffer.mli