fenfire-commits
[Top][All Lists]
Advanced

[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);




reply via email to

[Prev in Thread] Current Thread [Next in Thread]