Graph.QState (GroIMP 3.0.0 API)

java.lang.Object

de.grogra.xl.query.QueryState

de.grogra.xl.impl.base.Graph.QState

Enclosing class:: Graph

public class Graph.QState extends QueryState

Nested Class Summary

Nested classes/interfaces inherited from class de.grogra.xl.query.QueryState
QueryState.Break
Field Summary

Fields inherited from class de.grogra.xl.query.QueryState
astack, BINDING_MATCHED, BINDING_MISMATCHED, BINDING_PERFORMED, breakAll, breakPattern, CONSUMER, dstack, forProduction, frame, fstack, istack, localVariables, lstack, matchConsumer, matcher, matcherSp, pred, sp, stackVariables, userIStack0, userStack0, userStack1
Constructor Summary

Constructors

Modifier

Constructor

Description

protected

QState(Graph.ThreadData data)
Method Summary

Modifier and Type

Method

Description

protected boolean

allowsNoninjectiveMatches()

protected boolean

excludeFromMatch(Object node, boolean context)

void

injective()

void

noninjective()

Methods inherited from class de.grogra.xl.query.QueryState
abind, abound, addVariable, addVariable, amatch, breakMatching, canCallProduction, clearMatch, dbind, dbound, dispose, dmatch, fbind, fbound, fmatch, getExtentVisibility, getFirstNodeData, getGraph, getInValue, getModel, getNodeData, getOutValue, getRootName, hasInVariable, hasOutVariable, ibind, ibound, imatch, initialize, isBound, isNull, lbind, lbound, lmatch, matchType, newVariables, nullbind, prepareMatch, setExtentVisibility, setRootName, setVariables, unbind, visitMatch

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- QState
  
  protected QState(Graph.ThreadData data)
Method Details
- allowsNoninjectiveMatches
  
  protected boolean allowsNoninjectiveMatches()
  
  Overrides:
  
  allowsNoninjectiveMatches in class QueryState
- excludeFromMatch
  
  protected boolean excludeFromMatch(Object node, boolean context)
  
  Overrides:
  
  excludeFromMatch in class QueryState
- injective
  
  public void injective()
- noninjective
  
  public void noninjective()