| Modifier and Type | Method and Description |
|---|---|
void |
PatternModelAcceptor.acceptTypeConstraint(java.util.List<java.lang.String> variableNames,
IInputKey inputKey)
Accepts a
TypeConstraint. |
void |
EPMToPBody.acceptTypeConstraint(java.util.List<java.lang.String> variableNames,
IInputKey inputKey) |
| Modifier and Type | Method and Description |
|---|---|
static IInputKey |
EMFTypeSystem.classifierToInputKey(org.eclipse.emf.ecore.EClassifier classifier) |
IInputKey |
EMFTypeSystem.extractColumnDescriptor(RelationType type,
int columnIndex) |
IInputKey |
EMFTypeSystem.extractTypeDescriptor(Type type) |
IInputKey |
EMFTypeInferrer.getInferredVariableType(Variable var) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
EMFTypeSystem.isConformant(IInputKey expectedType,
IInputKey actualType) |
boolean |
EMFTypeSystem.isConformToRelationColumn(IInputKey relationType,
int columnIndex,
IInputKey columnType) |
org.eclipse.xtext.common.types.JvmTypeReference |
EMFTypeSystem.toJvmTypeReference(IInputKey type,
org.eclipse.emf.ecore.EObject context) |
| Modifier and Type | Method and Description |
|---|---|
IInputKey |
ITypeSystem.extractColumnDescriptor(RelationType type,
int columnIndex)
Extracts the model-specific column type of the given index from a RelationType declaration
|
IInputKey |
ITypeSystem.NullTypeSystem.extractColumnDescriptor(RelationType type,
int columnIndex) |
IInputKey |
ITypeSystem.extractTypeDescriptor(Type type)
Extracts the model-specific types from a Type declaration.
|
IInputKey |
ITypeSystem.NullTypeSystem.extractTypeDescriptor(Type type) |
IInputKey |
ITypeInferrer.getDeclaredType(Variable var)
Returns the declared type of a variable
|
IInputKey |
ITypeInferrer.NullTypeInferrer.getDeclaredType(Variable var) |
IInputKey |
AbstractTypeInferrer.getDeclaredType(Variable var) |
IInputKey |
ITypeInferrer.getInferredVariableType(Variable var)
Returns the inferred type of a variable
|
IInputKey |
ITypeInferrer.NullTypeInferrer.getInferredVariableType(Variable var) |
IInputKey |
ITypeInferrer.getVariableReferenceType(VariableReference reference)
Calculates the type of a variable reference.
|
IInputKey |
ITypeInferrer.NullTypeInferrer.getVariableReferenceType(VariableReference reference) |
IInputKey |
AbstractTypeInferrer.getVariableReferenceType(VariableReference reference) |
IInputKey |
ITypeInferrer.getVariableType(Variable var)
Returns the type of a variable.
|
IInputKey |
ITypeInferrer.NullTypeInferrer.getVariableType(Variable var) |
IInputKey |
AbstractTypeInferrer.getVariableType(Variable var) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
ITypeSystem.isConformant(IInputKey expectedType,
IInputKey actualType)
Decides whether the second type is compatible with the first one
|
boolean |
ITypeSystem.NullTypeSystem.isConformant(IInputKey expectedType,
IInputKey actualType) |
boolean |
ITypeSystem.isConformToRelationColumn(IInputKey relationType,
int columnIndex,
IInputKey columnType)
Decides whether the reference can have a selected type at its given column.
|
boolean |
ITypeSystem.NullTypeSystem.isConformToRelationColumn(IInputKey relationType,
int columnIndex,
IInputKey columnType) |
org.eclipse.xtext.common.types.JvmTypeReference |
ITypeSystem.toJvmTypeReference(IInputKey type,
org.eclipse.emf.ecore.EObject context)
Creates a type reference for model inference from a selected type.
|
org.eclipse.xtext.common.types.JvmTypeReference |
ITypeSystem.NullTypeSystem.toJvmTypeReference(IInputKey type,
org.eclipse.emf.ecore.EObject context) |
java.lang.String |
ITypeSystem.typeString(IInputKey type)
Converts a type object to a user-visible description string.
|
java.lang.String |
ITypeSystem.NullTypeSystem.typeString(IInputKey type) |
java.lang.String |
AbstractTypeSystem.typeString(IInputKey type) |
| Modifier and Type | Method and Description |
|---|---|
void |
EMFQueryRuntimeContext.addUpdateListener(IInputKey key,
Tuple seed,
IQueryRuntimeContextListener listener) |
boolean |
EMFQueryRuntimeContext.containsTuple(IInputKey key,
Tuple seed) |
int |
EMFQueryRuntimeContext.countTuples(IInputKey key,
Tuple seed) |
void |
EMFQueryRuntimeContext.ensureEnumerableKey(IInputKey key) |
void |
EMFQueryRuntimeContext.ensureIndexed(IInputKey key) |
void |
EMFQueryRuntimeContext.ensureValidKey(IInputKey key) |
void |
EMFQueryMetaContext.ensureValidKey(IInputKey key) |
java.lang.Iterable<Tuple> |
EMFQueryRuntimeContext.enumerateTuples(IInputKey key,
Tuple seed) |
java.lang.Iterable<? extends java.lang.Object> |
EMFQueryRuntimeContext.enumerateValues(IInputKey key,
Tuple seed) |
java.util.Map<java.util.Set<java.lang.Integer>,java.util.Set<java.lang.Integer>> |
EMFQueryMetaContext.getFunctionalDependencies(IInputKey key) |
java.util.Collection<InputKeyImplication> |
EMFQueryMetaContext.getImplications(IInputKey implyingKey) |
void |
EMFQueryRuntimeContext.illegalInputKey(IInputKey key) |
void |
EMFQueryMetaContext.illegalInputKey(IInputKey key) |
boolean |
EMFQueryMetaContext.isEnumerable(IInputKey key) |
boolean |
EMFQueryRuntimeContext.isIndexed(IInputKey key) |
boolean |
EMFQueryMetaContext.isStateless(IInputKey key) |
void |
EMFQueryRuntimeContext.removeUpdateListener(IInputKey key,
Tuple seed,
IQueryRuntimeContextListener listener) |
| Modifier and Type | Class and Description |
|---|---|
class |
BaseEMFTypeKey<EMFKey>
Base class for EMF Type keys.
|
class |
EClassTransitiveInstancesKey
Instance tuples are of form (x), where x is an eObject instance of the given eClass or one of its subclasses.
|
class |
EDataTypeInSlotsKey
Instance tuples are of form (x), where x is an instance of the given eDataType residing at an attribute slot of an eObject in the model.
|
class |
EStructuralFeatureInstancesKey
Instance tuples are of form (x, y), where x is an eObject that has y as the value of the given feature (or one of the values in case of multi-valued).
|
| Modifier and Type | Method and Description |
|---|---|
IInputKey |
InputKeyImplication.getImpliedKey()
An instance tuple of this input key is implied by another key.
|
IInputKey |
InputKeyImplication.getImplyingKey()
Optional.
|
| Modifier and Type | Method and Description |
|---|---|
void |
IQueryRuntimeContext.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.
|
boolean |
IQueryRuntimeContext.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 |
IQueryRuntimeContext.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 |
IQueryRuntimeContext.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. |
java.lang.Iterable<Tuple> |
IQueryRuntimeContext.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> |
IQueryRuntimeContext.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. |
java.util.Map<java.util.Set<java.lang.Integer>,java.util.Set<java.lang.Integer>> |
IQueryMetaContext.getFunctionalDependencies(IInputKey key)
Returns functional dependencies of the input key expressed in terms of column indices.
|
java.util.Collection<InputKeyImplication> |
IQueryMetaContext.getImplications(IInputKey implyingKey)
Returns known implications, e.g.
|
boolean |
IQueryMetaContext.isEnumerable(IInputKey key)
Returns true iff instance tuples of the given key can be enumerated.
|
boolean |
IQueryRuntimeContext.isIndexed(IInputKey key) |
boolean |
IQueryMetaContext.isStateless(IInputKey key)
Returns true iff the set of instance tuples of the given key is immutable.
|
void |
IQueryRuntimeContext.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.
|
void |
IQueryRuntimeContextListener.update(IInputKey key,
Tuple updateTuple,
boolean isInsertion)
The given tuple was inserted into or removed from the input relation indicated by the given key.
|
| Constructor and Description |
|---|
InputKeyImplication(IInputKey implyingKey,
IInputKey impliedKey,
java.util.List<java.lang.Integer> implyingIndices) |
| Modifier and Type | Class and Description |
|---|---|
class |
BaseInputKeyWrapper<Wrapped>
An input key that is identified by a single wrapped object and the class of the wrapper.
|
class |
JavaTransitiveInstancesKey
Instance tuples are of form (x), where object x is an instance of the given Java class or its subclasses.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<IInputKey> |
SurrogateQueryRegistry.getAllSurrogateQueries() |
java.util.Map<IInputKey,PQuery> |
SurrogateQueryRegistry.getAllSurrogateQueryFQNMap()
Deprecated.
use
SurrogateQueryRegistry.getAllSurrogateQueries() instead |
java.util.Set<IInputKey> |
SurrogateQueryRegistry.getDynamicSurrogateQueries() |
java.util.Map<IInputKey,PQuery> |
SurrogateQueryRegistry.getDynamicSurrogateQueryFQNMap()
Deprecated.
|
java.util.Set<IInputKey> |
SurrogateQueryRegistry.getRegisteredSurrogateQueries() |
java.util.Map<IInputKey,PQuery> |
SurrogateQueryRegistry.getRegisteredSurrogateQueryFQNMap()
Deprecated.
|
| Modifier and Type | Method and Description |
|---|---|
IProvider<PQuery> |
SurrogateQueryRegistry.addDynamicSurrogateQueryForFeature(IInputKey feature,
IProvider<PQuery> surrogateQuery) |
IProvider<PQuery> |
SurrogateQueryRegistry.addDynamicSurrogateQueryForFeature(IInputKey feature,
PQuery surrogateQuery) |
PQuery |
SurrogateQueryRegistry.getSurrogateQuery(IInputKey feature) |
boolean |
SurrogateQueryRegistry.hasSurrogateQueryFQN(IInputKey feature) |
IProvider<PQuery> |
SurrogateQueryRegistry.registerSurrogateQueryForFeature(IInputKey feature,
IProvider<PQuery> surrogateQueryProvider) |
IProvider<PQuery> |
SurrogateQueryRegistry.registerSurrogateQueryForFeature(IInputKey feature,
PQuery surrogateQuery) |
IProvider<PQuery> |
SurrogateQueryRegistry.removeDynamicSurrogateQueryForFeature(IInputKey feature) |
| Modifier and Type | Method and Description |
|---|---|
IInputKey |
TypeJudgement.getInputKey() |
| Modifier and Type | Method and Description |
|---|---|
static java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> |
ITypeConstraint.TypeConstraintUtil.getFunctionalDependencies(IQueryMetaContext context,
IInputKey inputKey,
Tuple variablesTuple) |
| Constructor and Description |
|---|
TypeJudgement(IInputKey inputKey,
Tuple variablesTuple) |
| Modifier and Type | Method and Description |
|---|---|
IInputKey |
TypeFilterConstraint.getInputKey() |
| Constructor and Description |
|---|
TypeFilterConstraint(PBody pBody,
Tuple variablesTuple,
IInputKey inputKey) |
| Constructor and Description |
|---|
TypeConstraint(PBody pBody,
Tuple variablesTuple,
IInputKey inputKey) |
| Modifier and Type | Method and Description |
|---|---|
IInputKey |
ExternalInputEnumeratorNode.getInputKey() |
| Modifier and Type | Method and Description |
|---|---|
void |
ExternalInputStatelessFilterNode.connectThroughContext(ReteEngine engine,
IInputKey inputKey) |
void |
ExternalInputEnumeratorNode.connectThroughContext(ReteEngine engine,
IInputKey inputKey,
Tuple globalSeed) |
java.util.Collection<Address<ExternalInputEnumeratorNode>> |
InputConnector.getAllExternalInputNodesForKey(IInputKey inputKey) |
Address<ExternalInputEnumeratorNode> |
InputConnector.getExternalInputNode(IInputKey inputKey,
Tuple seed) |
Address<ExternalInputEnumeratorNode> |
InputConnector.getExternalInputNodeForKeyUnseeded(IInputKey inputKey) |
void |
ExternalInputEnumeratorNode.update(IInputKey key,
Tuple updateTuple,
boolean isInsertion) |