public class EMFQueryRuntimeContext extends java.lang.Object implements IQueryRuntimeContext
TODO: containsTuple(IInputKey, Tuple) and countTuples(IInputKey, Tuple) are inefficient as they first enumerate the collections.
TODO: ensureIndexed(EClass) may be inefficient if supertype already cached.
| Constructor and Description |
|---|
EMFQueryRuntimeContext(NavigationHelper baseIndex,
org.apache.log4j.Logger logger,
EMFScope emfScope) |
| Modifier and Type | Method and Description |
|---|---|
void |
addUpdateListener(IInputKey key,
Tuple seed,
IQueryRuntimeContextListener listener)
Subscribes for updates in the extensional relation identified by the input key, optionally seeded with the given tuple.
|
<V> V |
coalesceTraversals(java.util.concurrent.Callable<V> callable)
The given callable will be executed, and all model traversals will be delayed until the execution is done.
|
boolean |
containsTuple(IInputKey key,
Tuple seed)
Simpler form of
IQueryRuntimeContext.enumerateTuples(IInputKey, Tuple) in the case where all values of the tuples are bound by the seed. |
int |
countTuples(IInputKey key,
Tuple seed)
Returns the number of tuples in the extensional relation identified by the input key, optionally seeded with the given tuple.
|
void |
dispose() |
void |
ensureEnumerableKey(IInputKey key) |
void |
ensureIndexed(org.eclipse.emf.ecore.EClass eClass) |
void |
ensureIndexed(org.eclipse.emf.ecore.EDataType eDataType) |
void |
ensureIndexed(org.eclipse.emf.ecore.EStructuralFeature feature) |
void |
ensureIndexed(IInputKey key)
If the given (enumerable) input key is not yet indexed, the model will be traversed
(after the end of the outermost coalescing block, see
IQueryRuntimeContext.coalesceTraversals(Callable))
so that the index can be built. |
void |
ensureValidKey(IInputKey key) |
java.lang.Iterable<Tuple> |
enumerateTuples(IInputKey key,
Tuple seed)
Returns the tuples in the extensional relation identified by the input key, optionally seeded with the given tuple.
|
java.lang.Iterable<? extends java.lang.Object> |
enumerateValues(IInputKey key,
Tuple seed)
Simpler form of
IQueryRuntimeContext.enumerateTuples(IInputKey, Tuple) in the case where all values of the tuples are bound by the seed except for one. |
EMFScope |
getEmfScope() |
IQueryMetaContext |
getMetaContext()
Provides metamodel-specific info independent of the runtime instance model.
|
void |
illegalEnumerateValues(Tuple seed) |
void |
illegalInputKey(IInputKey key) |
boolean |
isCoalescing() |
boolean |
isIndexed(IInputKey key) |
void |
removeUpdateListener(IInputKey key,
Tuple seed,
IQueryRuntimeContextListener listener)
Unsubscribes from updates in the extensional relation identified by the input key, optionally seeded with the given tuple.
|
java.lang.Object |
unwrapElement(java.lang.Object internalElement)
Unwraps the internal representation of the element into its original form
|
Tuple |
unwrapTuple(Tuple internalElements)
Unwraps the tuple of internal representations of elements into their original forms
|
java.lang.Object |
wrapElement(java.lang.Object externalElement)
Wraps the external element into the internal representation that is to be used by the query backend
|
Tuple |
wrapTuple(Tuple externalElements)
Unwraps the tuple of elements into the internal representation that is to be used by the query backend
|
public EMFQueryRuntimeContext(NavigationHelper baseIndex, org.apache.log4j.Logger logger, EMFScope emfScope)
public EMFScope getEmfScope()
public void dispose()
public <V> V coalesceTraversals(java.util.concurrent.Callable<V> callable)
throws java.lang.reflect.InvocationTargetException
IQueryRuntimeContextCalls may be nested. A single coalesced traversal will happen at the end of the outermost call.
Caution: results returned by the runtime context may be incomplete during the coalescing period, to be corrected by notifications sent during the final coalesced traversal.
For example, if a certain input key is not cached yet, an empty relation may be reported during callable.call(); the cache will be constructed after the call terminates and notifications will deliver the entire content of the relation.
Non-incremental query backends should therefore never enumerate input keys while coalesced (verify using IQueryRuntimeContext.isCoalescing()).
coalesceTraversals in interface IQueryRuntimeContextjava.lang.reflect.InvocationTargetExceptionpublic boolean isCoalescing()
isCoalescing in interface IQueryRuntimeContextIQueryRuntimeContext.coalesceTraversals(Callable)).public IQueryMetaContext getMetaContext()
IQueryRuntimeContextgetMetaContext in interface IQueryRuntimeContextpublic void ensureIndexed(IInputKey key)
IQueryRuntimeContextIQueryRuntimeContext.coalesceTraversals(Callable))
so that the index can be built.
Postcondition: After invoking this method, IQueryRuntimeContext.isIndexed(IInputKey) for the same key
will be guaranteed to return true as soon as IQueryRuntimeContext.isCoalescing() first returns false.
Precondition: the given key is enumerable, see IQueryMetaContext.isEnumerable(IInputKey).
ensureIndexed in interface IQueryRuntimeContextpublic boolean isIndexed(IInputKey key)
isIndexed in interface IQueryRuntimeContextpublic boolean containsTuple(IInputKey key, Tuple seed)
IQueryRuntimeContextIQueryRuntimeContext.enumerateTuples(IInputKey, Tuple) in the case where all values of the tuples are bound by the seed.
Returns whether the given tuple is in the extensional relation identified by the input key.
Note: this call works for non-enumerable input keys as well.
containsTuple in interface IQueryRuntimeContextkey - an input keyseed - a tuple with matching arity, consisting of non-null elements (null can be used in the 0-ary case).public java.lang.Iterable<Tuple> enumerateTuples(IInputKey key, Tuple seed)
IQueryRuntimeContextenumerateTuples in interface IQueryRuntimeContextkey - an input keyseed - can be null or a tuple with matching arity;
if non-null, only those tuples in the model are enumerated
that match the seed at positions where the seed is non-null.Precondition: the given key is enumerable, see IQueryMetaContext.isEnumerable(IInputKey).
public java.lang.Iterable<? extends java.lang.Object> enumerateValues(IInputKey key, Tuple seed)
IQueryRuntimeContextIQueryRuntimeContext.enumerateTuples(IInputKey, Tuple) in the case where all values of the tuples are bound by the seed except for one.
Selects the tuples in the extensional relation identified by the input key, optionally seeded with the given tuple, and then returns the single value from each tuple which corresponds to the only null value in the seed.
enumerateValues in interface IQueryRuntimeContextkey - an input keyseed - can be null (if key is unary) or a tuple with matching arity;
if non-null, only those tuples in the model are enumerated
that match the seed at positions where the seed is non-null;
the seed is null at exactly one position.Precondition: the given key is enumerable, see IQueryMetaContext.isEnumerable(IInputKey).
public int countTuples(IInputKey key, Tuple seed)
IQueryRuntimeContextcountTuples in interface IQueryRuntimeContextkey - an input keyseed - can be null or a tuple with matching arity;
if non-null, only those tuples in the model are counted
that match the seed at positions where the seed is non-null.Precondition: the given key is enumerable, see IQueryMetaContext.isEnumerable(IInputKey).
public void ensureEnumerableKey(IInputKey key)
public void ensureValidKey(IInputKey key)
public void illegalInputKey(IInputKey key)
public void illegalEnumerateValues(Tuple seed)
public void ensureIndexed(org.eclipse.emf.ecore.EClass eClass)
public void ensureIndexed(org.eclipse.emf.ecore.EDataType eDataType)
public void ensureIndexed(org.eclipse.emf.ecore.EStructuralFeature feature)
public void addUpdateListener(IInputKey key, Tuple seed, IQueryRuntimeContextListener listener)
IQueryRuntimeContextThis should be called after invoking
addUpdateListener in interface IQueryRuntimeContextkey - an input keyseed - can be null or a tuple with matching arity;
if non-null, only those updates in the model are notified about
that match the seed at positions where the seed is non-null.listener - will be notified of future changes
Precondition: the given key is enumerable, see IQueryMetaContext.isEnumerable(IInputKey).
public void removeUpdateListener(IInputKey key, Tuple seed, IQueryRuntimeContextListener listener)
IQueryRuntimeContextremoveUpdateListener in interface IQueryRuntimeContextkey - an input keyseed - can be null or a tuple with matching arity;
if non-null, only those updates in the model are notified about
that match the seed at positions where the seed is non-null.listener - will no longer be notified of future changes
Precondition: the given key is enumerable, see IQueryMetaContext.isEnumerable(IInputKey).
public java.lang.Object unwrapElement(java.lang.Object internalElement)
IQueryRuntimeContextinternal object -> model element
null must be mapped to null.
unwrapElement in interface IQueryRuntimeContextpublic Tuple unwrapTuple(Tuple internalElements)
IQueryRuntimeContextinternal objects -> model elements
null must be mapped to null.
unwrapTuple in interface IQueryRuntimeContextpublic java.lang.Object wrapElement(java.lang.Object externalElement)
IQueryRuntimeContextmodel element -> internal object.
null must be mapped to null.
wrapElement in interface IQueryRuntimeContextpublic Tuple wrapTuple(Tuple externalElements)
IQueryRuntimeContextmodel elements -> internal objects
null must be mapped to null.
wrapTuple in interface IQueryRuntimeContext