144 |
import java.util.Iterator; |
import java.util.Iterator; |
145 |
import org.fenfire.Obs; |
import org.fenfire.Obs; |
146 |
|
|
147 |
/** A non-modifiable RDF graph. |
/** A non-modifiable RDF graph. The iterators may implement the method |
148 |
|
* remove, but it should not be used, as it may cause unspecified behavior. |
149 |
*/ |
*/ |
150 |
public interface ConstGraph { |
public interface ConstGraph { |
151 |
ConstGraph getObservedConstGraph(org.fenfire.Obs o); |
ConstGraph getObservedConstGraph(org.fenfire.Obs o); |
175 |
import java.util.Iterator; |
import java.util.Iterator; |
176 |
import org.fenfire.Obs; |
import org.fenfire.Obs; |
177 |
|
|
178 |
/** A modifiable RDF graph. |
/** A modifiable RDF graph. Existing iterators should not be used after |
179 |
|
* the graph is modified, as it may cause unspecified behavior. |
180 |
*/ |
*/ |
181 |
public interface Graph extends ConstGraph { |
public interface Graph extends ConstGraph { |
182 |
Graph getObservedGraph(org.fenfire.Obs o); |
Graph getObservedGraph(org.fenfire.Obs o); |