148 |
* remove, but it should not be used, as it may cause unspecified behavior. |
* remove, but it should not be used, as it may cause unspecified behavior. |
149 |
*/ |
*/ |
150 |
public interface ConstGraph { |
public interface ConstGraph { |
151 |
|
/** Get a ConstGraph whose queries will return the same |
152 |
|
* value as the queries for this graph, but will |
153 |
|
* set up the Obs for those queries. |
154 |
|
* When the result of any of those queries changes, |
155 |
|
* Obs is called immediately. |
156 |
|
*/ |
157 |
ConstGraph getObservedConstGraph(org.fenfire.Obs o); |
ConstGraph getObservedConstGraph(org.fenfire.Obs o); |
158 |
|
|
159 |
|
/** This observed graph will not be used any more, and |
160 |
|
* if desired, may be recycled. |
161 |
|
* This operation is allowed to be a no-op, and |
162 |
|
* if the graph this method is called on is not one that |
163 |
|
* has been returned by getObservedConstGraph, is |
164 |
|
* defined to be so.. |
165 |
|
*/ |
166 |
void close(); |
void close(); |
167 |
|
|
168 |
/** If this graph is observed (returned from getObservedConstGraph), |
/** If this graph is observed (returned from getObservedConstGraph), |