[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[ff-cvs] fenfire/org/fenfire/swamp makeswamp.py
From: |
Tuukka Hastrup |
Subject: |
[ff-cvs] fenfire/org/fenfire/swamp makeswamp.py |
Date: |
Sun, 17 Aug 2003 08:53:18 -0400 |
CVSROOT: /cvsroot/fenfire
Module name: fenfire
Branch:
Changes by: Tuukka Hastrup <address@hidden> 03/08/17 08:53:18
Modified files:
org/fenfire/swamp: makeswamp.py
Log message:
mention that iterators don't support concurrent modification
CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/fenfire/fenfire/org/fenfire/swamp/makeswamp.py.diff?tr1=1.9&tr2=1.10&r1=text&r2=text
Patches:
Index: fenfire/org/fenfire/swamp/makeswamp.py
diff -u fenfire/org/fenfire/swamp/makeswamp.py:1.9
fenfire/org/fenfire/swamp/makeswamp.py:1.10
--- fenfire/org/fenfire/swamp/makeswamp.py:1.9 Thu Aug 7 03:14:32 2003
+++ fenfire/org/fenfire/swamp/makeswamp.py Sun Aug 17 08:53:18 2003
@@ -144,7 +144,8 @@
import java.util.Iterator;
import org.fenfire.Obs;
-/** A non-modifiable RDF graph.
+/** A non-modifiable RDF graph. The iterators may implement the method
+ * remove, but it should not be used, as it may cause unspecified behavior.
*/
public interface ConstGraph {
ConstGraph getObservedConstGraph(org.fenfire.Obs o);
@@ -174,7 +175,8 @@
import java.util.Iterator;
import org.fenfire.Obs;
-/** A modifiable RDF graph.
+/** A modifiable RDF graph. Existing iterators should not be used after
+ * the graph is modified, as it may cause unspecified behavior.
*/
public interface Graph extends ConstGraph {
Graph getObservedGraph(org.fenfire.Obs o);
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [ff-cvs] fenfire/org/fenfire/swamp makeswamp.py,
Tuukka Hastrup <=